Teori komputasi adalah cabang ilmu komputer dan matematika yang membahas apakah dan bagaimanakah suatu masalah dapat dipecahkan pada model komputasi, menggunakan algoritma. Bidang ini dibagi menjadi dua cabang: teori komputabilitas dan teori kompleksitas, namun kedua cabang berurusan dengan model formal komputasi.
Salah satu tokoh yang sangat mempengaruhi perkembangan
komputasi modern adalah John von Neumann (1903-1957), Beliau adalah ilmuan yang
meletakkan dasar-dasar komputer modern.Von Neumann telah menjadi ilmuwan besar
abad 21. Von Neumann memberikan berbagai sumbangsih dalam bidang matematika,
teori kuantum, game theory, fisika nuklir, dan ilmu komputer yang di salurkan melalui karya-karyanya .
Beliau juga merupakan salah satu ilmuwan yang terkait dalam pembuatan bom atom
di Los Alamos pada Perang Dunia II lalu.
Komputasi modern mempunyai karakteristik komputasi modern
yang terdiri atas 3 macam, yaitu :
·
Komputer-komputer penyedia sumber daya bersifat
heterogenous karena terdiri dari berbagai jenis perangkat keras, sistem
operasi, serta aplikasi yang terpasang.
·
Komputer-komputer terhubung ke jaringan yang luas
dengan kapasitas bandwidth yang beragam.
·
Komputer maupun jaringan tidak terdedikasi, bisa
hidup atau mati sewaktu-waktu tanpa jadwal yang jelas.
Teori Komputasi telah digunakan dalam berbagai bidang yang
berguna dalam kehidupan. Bidang tersebut antara lain Matematika, Fisika, Kimia,
Geografi, Geologi dan Ekonomi.
Teori ini juga seringkali diimplementasikan dalam
Interpolasi, yaitu proses dalam mengestimasikan data yang belum diketahui
menggunakan data yang telah diketahui.