Teori Komputasi

Teori Komputasi

Menurut wikipedia: 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.

Komputasi tidak sama dengan kalkulasi ,Kalkulasi adalah proses mentransformasikan satu atau lebih input menjadi luaran (output).

Contoh: Kalikan 20 dengan 5, hasilnya 100

Kalkulasi melibatkan angka-angka dan kata-kata yang menyatakan proses sederhana, sedangkan komputasi menggunakan rule, bahkan bisa tanpa angka-angka.

Kalkulasi adalah prasyarat untuk komputasi.

Teori komputasi dibagi lagi menjadi 3 ranting:

a. Teori otomata (automata theory)

b. Teori komputabilitas (computability theory) adalah bertugas sebagai pemeriksa batasan-batasan pada model-model teoritis yang digunakan oleh komputer.

c. Teori kompleksitas (computational complexity theory) adalah sebuah ilmu dimana mengkaji sebuah sistem yang dinamik secara keseluruhan.

Beberapa model komputasi:

1. Mobile Computing atau Komputasi Bergerak

    Mobile computing (komputasi bergerak) adalah sebuah kemajuan teknologi komputer yang dapat berkomunikasi menggunakan jaringan tanpa menggunakan kabel serta mudah dibawa atau berpindah tempat, tetapi berbeda dengan komputasi nirkabel.

Contohnya: smartphone, dll

2. Grid Computing

    Komputasi grid disini adalah memanfaatkan suatu kekuatan pengolahan idle berbagai unit komputer, dan menggunakan kekuatan proses untuk menghitung satu pekerjaan.

3. Cloud Computing atau Komputasi Awan

Cloud computing adalah perluasan dari konsep pemrograman berorientasi objek abstraksi.