Logika komputasi

Logika komputasi menciptakan sistem komputasi yang cerdas.

Logika komputasi adalah logika matematika yang sama tetapi diterapkan pada bidang komputasi, yaitu, pada berbagai tingkat dasar komputasi: sirkuit komputasi, pemrograman logika, dan manajemen algoritme. Kecerdasan buatan, bidang yang relatif baru di daerah tersebut, juga merupakan bagian darinya.

Dapat dikatakan bahwa, secara umum, logika komputasi bercita-cita untuk memberi makan sistem komputer melalui struktur logis yang mengekspresikan, dalam bahasa matematika, berbagai kemungkinan pemikiran manusia, sehingga menciptakan sistem komputer yang cerdas.