Model-Model Komputasi

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 keduacabang berurusan dengan model formal komputasi. Model komputasi adalah suatu kumpulan dari nilai dan operasi - operasi.

Ada tiga model dasar komputasional-- fungsional, logika, dan imperatif. Sebagai tambahan terhadap satuan nilai-nilai dan operasi yang berhubungan, masing-masing model komputasional mempunyai satu set operasi yang digunakan untuk menggambarkan 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.

Ref :

http://homy-feel.blogspot.com/2012/04/model-komputasi.html

http://imranzulmi.blogspot.com/2011/04/model-komputasi.html

http://dimasike.blogspot.com/2009/12/model-komputasi.html

http://www.scribd.com/doc/77597310/Teori-Komputasi-Adalah-Cabang-Ilmu-Komputer-Dan-Matematika-Yang-Membahas-Apakah-Dan-Bagaimanakah-Suatu-Masalah-Dapat-Dipecahkan-Pada-Model-Komputasi