Ilmu komputer: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k Bot: penggantian teks otomatis (-Teoritis, +Teoretis; -teoritis, +teoretis) |
k Bot: Penggantian teks otomatis (-algoritma, +algoritme) |
||
Baris 1:
'''Ilmu komputer''' ({{lang-en|Computer Science}}), Secara umum diartikan sebagai ilmu yang mempelajari baik tentang [[komputasi]], perangkat keras (''hardware'') maupun perangkat lunak (''software''). Ilmu komputer mencakup beragam topik yang berkaitan dengan [[komputer]], mulai dari analisis abstrak [[
[[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 teoretis (seperti [[komputer random]] and [[komputer oracle]]).
Ilmu Komputer mempelajari apa yang bisa dilakukan oleh beberapa program, dan apa yang tidak ([[komputabilitas]] dan [[intelegensia buatan]]), bagaimana program itu harus mengevaluasi suatu hasil ([[
Ilmu komputer berakar dari [[elektronika]], [[matematika]] dan [[linguistik]]. Dalam tiga dekade terakhir dari [[abad 20]], ilmu komputer telah menjadi suatu disiplin ilmu baru dan telah mengembangkan metode dan istilah sendiri.
Baris 61:
* [[Semantik Denotasional]]
* [[Komputasi|Teori Komputasi]] (atau ''Ilmu Komputer Teoretis'')
** analisis dari [[
** logika dan arti dari program
** logika matematika dan bahasa formal
Baris 155:
* [[Projek pemrograman awal]]
* [[Departemen Ilmu Komputer]]
* [[Garis Waktu dari
== Ahli Terkenal Ilmu Komputer ==
Baris 161:
* [[James Cooley]] dan [[John Tuckey]] Fourier Transform Cepat (Fast Fourier Transform) dan pengaruhnya pada riset keilmuan.
* [[Ole-Johan Dahl]] dan [[Kristen Nygaard]], penemu bahasa berorientasi objek SIMULA.
* [[Edsger Dijkstra]] untuk
* [[Kenneth Iverson]] Penemu APL, untuk kontribusinya di perhitungan interaktif.
* [[William Kahan]] untuk standard IEEE floating-point.
| |||