Model Komputasi

Sebuah model komputasi adalah nama lain dari model matematika dalam ilmu komputer.

Model komputasi diciptakan untuk mensimulasikan serangkaian proses yang diamati di alam, untuk memperoleh pemahaman tentang proses ini dan untuk memprediksi hasil dari proses alami dengan satu set parameter input yang spesifik.


Ada 3 model dasar komputasi:

a. Model Fungsional : terdiri dari satu set nilai-nilai, fungsi-fungsi dan operasi aplikasi fungsi dan komposisi fungsi. Fungsi dapat mengambil fungsi lain sebagai argumentasi dan mengembalikan fungsi sebagai hasil (higher-order function). Suatu program adalah koleksi definisi fungsi-fungsi dan suatu komputasi adalah aplikasi fungsi.


b. Model Logika : terdiri dari satu set nilai-nilai, definisi hubungan dan kesimpulan logis. Program terdiri dari definisi hubungan dan suatu komputasi adalah suatu bukti(suatu urutan kesimpulan).


c. Model Imperatif : terdiri dari satu set nilai-nilai yang mencakup suatu keadaan dan operasi tugas untuk memodifikasi pernyataan. Pernyataan adalah set pasangan nilai-nama dari konstanta dan variabel. Program terdiri dari urutan tugas dan suatu komputasi terdiri dari urutan pernyataan.

Contoh model komputasi umum adalah model peramalan cuaca, model simulator bumi, model simulasi penerbangan, model lipatan protein molekuler, dan model jaringan saraf.

Sumber: en.wikipedia.org/wiki/Computational_model
http://imranzulmi.blogspot.com/2011/04/model-komputasi.html