Teori Komputasi

       a.        Komputasi

Komputasi merupakan cara untuk menemukan pemecahan masalah dari data yang diinputkan dengan menggunakan suatu algoritma. Hal ini yang kemudian disebut dengan Teori Komputasi, karena komputasi merupakan suatu sub-bidang antara ilmu matematika dengan komputer. Secara umum ilmu komputasi merupakan bidang yang memusatkan perhatian pada penyusunan model matematika dengan teknik penyelesaian secara numerik serta penggunaan komputer untuk menganalisis dan menyelesaikan masalah dari ilmu sains.

Bidang komputasi tentu berbeda dengan ilmu komputer yang mengkaji komputasi, komputer, dan pemrosesan informasi. Selain itu juga berbeda dengan teori dan percobaan sebagai bentuk tradisional dari ilmu dan kerja keilmuan. Dalam ilmu alam, ilmu komputasi dapat menjelaskan pemecahan masalah yang baru melalui penerapan model-model matematika dalam program komputer berdasarkan teori-teori mendasar yang sudah berkembang untuk menyelesaikan masalah dalam ilmu tersebut.

a.        Komputasi Komputer

Teknologi komputasi adalah aktivitas penggunaan serta pengembangan teknologi komputer, perangkat lunak, dan perangkat keras komputer yang merupakan bagian spesifik dari teknologi informasi. Teknologi ini diimplementasikan dalam sistem komputer sehingga menghasilkan informasi dengan tujuan yang sama.

b.        Teori Komputasi

Cabang ilmu komputer dan matematika yang membahas apa dan bagaimana suatu masalah dapat dipecahkan dengan model komputasi menggunakan algoritma. Bidang ini dibagi menjadi dua cabang, yaitu teori komputabilitas dan teori kompleksitas yang keduanya berhubungan dengan model formal komputasi. Untuk melakukan studi komputasi ilmuan bekerja dengan abstraksi matematika dari komputer yang disebut model komputasi. Model komputasi yang biasa digunakan adalah Mesin Turing.

Sebuah mesin turing dapat dipikirkan sebagai komputer pribadi dengan kapasitas memori yang tidak terbatas, namun hanya bisa diakses hanya bagian-bagian terpisah dan diskret. Ilmuan komputer mempelajari mesin turing karena mudah dianalisis, mudah dirumuskan, dan digunakan untuk pembuktian, dan karena mesin ini mewakili model komputasi yang dianggap sebagai model paling masuk akal.

Sumber : http://istanateknologi.blogspot.co.id/2015/04/pengertian-komputasi-dan-teori-komputasi.html