Ilmu komputer: Perbedaan antara revisi

 

[[Tesis Church-Turing]] menyatakan bahwa semua alat komputasi yang telah umum diketahui sebenarnya sama dalam hal apa yang bisa mereka lakukan, sekalipun dengan efisiensi yang berbeda. Tesis ini kadang-kadang dianggap sebagai prinsip dasar dari ilmu komputer. Para ahli ilmu komputer biasanya menekankan [[mesin von Neumann|komputer von Neumann]] atau [[mesin Turing]] (komputer yang mengerjakan tugas yang kecil dan deterministik pada suatu waktu tertentu), karena hal seperti itulah kebanyakan komputer digunakan sekarang ini. Para ahli ilmu komputer juga mempelajari jenis mesin yang lain, beberapa diantaranya belum bisa dipakai secara praktikal (seperti [[komputer neural]], [[komputer DNA]], dan [[komputer kuantum]]) serta beberapa diantaranya masih cukup teoritis (seperti [[komputer random]] and [[komputer oracle]]).