Teori Komputasi
Merupakan cabang dari ilmu
komputer dan matematika yang membahas mengenai pemecahan masalah menggunakan
model komputasi. Terdapat dua cabang pada bidang ini, yaitu teori
komputabilitas dan teori kompleksitas yang keduanya berurusan dengan model
formal komputasi.
Dapat juga diartikan metode untuk
menemukan pemecahan masalah menggunakan suatu algoritma. Komputasi berbeda
dengan ilmu koputer karena dapat memberikan pemahaman baru melalui penerapan
model matematika pada program komputer berdasarkan lancasan teori yang telah
ada.
Contoh implementasi pada beberapa bidang :
