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.


Model-model Komputasi:
1. Single Instruction stream, Single Data Stream (SISD)
Banyak dijumpai pada aplikasi PC

2. Multiple Instruction Stream, Single Data Stream (MISD)
Contoh aplikasi :
- komputasi untuk menentukan suatu bilangan
integer merupakan bilangan prima atau bukan.
- Mesin robot untuk scanning laut yang dalam untuk
membedakan suatu objek apakah ikan, batu karang,
bangkai kapal, atau benda lainnya.

3. Single Instruction Stream, Multiple Data Stream (SIMD)
Komputer memiliki N prosesor yang identik. Tiap
prosesor memiliki memori local untuk simpan data atau
program. Semua prosesor di bawah control satu aliran
instruksi dari suatu sentral unit control. Prosesorprosesor
beroperasi secara sinkron.

4. Model-model Shared-Memory (SM) SIMD:
1). Exclusive-Read, Exclusive-Write (EREW) SM SIMD
2). Concurent-Read, Exclusive-Write (CREW) SM SIMD
3). Exclusive-Read, Concurrent-Write (ERCW) SM SIMD
4). Concurrent-Read, Concurrent-Write (CRCW) SM SIMD