Selasa, 30 Maret 2010

Cabang Ilmu yang berkaitan dengan Informatika

Berikut ini adalah Cabang Ilmu yang berkaitan dengan Informatika

1. Matematika

* Aljabar Boolean
* Matematika Diskrit
* Teori Graf
* Teori Informasi
* Logika Simbolik
* Peluang and Statistik

2. Teori Ilmu Komputer

* Teori Informasi Algoritmik
* Kompilator
o Analisis Leksikal
o Penguraian
* Kriptografi
* Semantik Denotasional
* Teori Komputasi (atau Ilmu Komputer Teoritis)
o analisa dari algoritma dan kompleksitas dari problem
o logika dan arti dari program
o logika matematika dan bahasa formal
* Teori Tipe

3. Perangkat Lunak

Pengertian Ilmu komputer dan Informatika

Ilmu komputer (bahasa Inggris: 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 analisa abstrak algoritma sampai subyek yang lebih konkret seperti bahasa pemrograman, perangkat lunak, termasuk perangkat keras. Sebagai suatu disiplin ilmu, Ilmu Komputer lebih menekankan pada pemrograman komputer, dan rekayasa perangkat lunak (software), sementara teknik komputer lebih cenderung berkaitan dengan hal-hal seperti perangkat keras komputer (hardware). Namun demikian, kedua istilah tersebut sering disalah-artikan oleh banyak orang.

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 terkadang dianggap sebagai prinsip dasar dari ilmu komputer. Para ahli ilmu komputer biasanya menekankan 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).