Teori komputasi adalah cabang ilmu komputer
dan matematika
yang membahas apakah dan bagaimanakah suatu masalah dapat dipecahkan pada model komputasi,
menggunakan algoritme.
Bidang ilmu ini terutama membahas hal terkait komputabilitas dan kompleksitas,
dalam kaitannya dengan formalisme komputasi.
Untuk melakukan studi komputasi
dengan ketat, ilmuwan komputer bekerja dengan abstraksi matematika dari
komputer yang dinamakan model komputasi. Ada beberapa model yang digunakan,
namun yang paling umum dipelajari adalah mesin Turing.
Sebuah mesin Turing dapat dipikirkan sebagai komputer pribadi meja dengan
kapasitas memori
yang tak terhingga, namun hanya dapat diakses dalam bagian-bagian terpisah dan
diskret. Ilmuwan komputer mempelajari mesin Turing karena mudah dirumuskan,
dianalisis dan digunakan untuk pembuktian, dan karena mesin ini mewakili model
komputasi yang dianggap sebagai model paling masuk akal yang paling ampuh yang
dimungkinkan. Kapasitas memori tidak terbatas mungkin terlihat sebagai sifat
yang tidak mungkin terwujudkan, namun setiap permasalahan yang
"terputuskan" (decidable) yang dipecahkan oleh mesin Turing selalu
hanya akan memerlukan jumlah memori terhingga. Jadi pada dasarnya setiap
masalah yang dapat dipecahkan (diputuskan) oleh meisn Turing dapat dipecahkan
oleh komputer yang memiliki jumlah memori terbatas.
Secara umum ilmu komputasi adalah
bidang ilmu yang mempunyai perhatian pada penyusunan model matematika dan
teknik penyelesaian numerik serta penggunaan komputer untuk menganalisis dan
memecahkan masalah-masalah ilmu (sains). Dalam penggunaan praktis, biasanya
berupa penerapan simulasi komputer atau berbagai bentuk komputasi lainnya untuk
menyelesaikan masalah-masalah dalam berbagai bidang keilmuan, tetapi dalam
perkembangannya digunakan juga untuk menemukan prinsip-prinsip baru yang
mendasar dalam ilmu.
Sejarah
Komputasi Modern
Komputasi modern ini pertama kalinya
digagaskan oleh seorang ilmuan yang bernama John Von Neumann. Dialah orang yang
pertama kali menggagaskan konsep sebuah sistem yang menerima intruksi-intruksi
dan menyimpannya dalam sebuah memory. Konsep inilah yang menjadi dasar
arsitektur komputer modern. John Von Neumann memberikan berbagai sumbangsihnya
dengan cara meningkat karya – karyanya dalam bidang matematika, teori kuantum,
game theory, fisika nuklir, dan ilmu komputer. Selain itu, Von Neumann juga
merupakan seorang ilmuan yang sangat berperan penting dalam pembuatan bom atom
di Los Alamos pada Perang Dunia II silam. Dan berkat kepiawaian Neumann di
bidang teori game inilah ia bisa melahirkan konsep automata, teknologi bom atom
dan komputasi modern yang akhirnya melahirkan sebuah computer.
Sebelumnya jenis -jenis komputasi modern terbagi tiga macam, yaitu komputasi mobile (bergerak), komputasi grid, dan komputasi cloud (awan). Penjelasan lebih lanjut dari jenis-jenis komputasi modern sebagai berikut :
Mobile computing
Mobile
computing atau komputasi bergerak memiliki beberapa penjelasan, salah satunya
komputasi bergerak merupakan kemajuan teknologi komputer sehingga dapat
berkomunikasi menggunakan jaringan tanpa menggunakan kabel dan mudah dibawa
atau berpindah tempat, tetapi berbeda dengan komputasi nirkabel. Dan
berdasarkan penjelasan tersebut, untuk kemajuan teknologi ke arah yang lebih
dinamis membutuhkan perubahan dari sisi manusia maupun alat. Dan dapat dilihat
contoh dari perangkat komputasi bergerak seperti GPS, juga tipe dari komputasi
bergerak seperti smart phone, dan lain sebagainya.
Grid computing
Komputasi
grid menggunakan komputer yang terpisah oleh geografis, didistibusikan dan
terhubung oleh jaringan untuk menyelasaikan masalah komputasi skala besar.
Cloud computing
Komputasi cloud merupakan gaya
komputasi yang terukur dinamis dan sumber daya virtual yang sering menyediakan
layanan melalui internet. Komputasi cloud menggambarkan pelengkap baru,
konsumsi dan layanan IT berbasis model dalam internet, dan biasanya melibatkan
ketentuan dari keterukuran dinamis dan sumber daya virtual yang sering
menyediakan layanan melalui internet.
Referensi
:
