Logika Informatika, Suprapto

Judul/Title: Logika Informatika
Penulis/Author: Suprapto
Penerbit/Publisher: Gava Media
Edisi/Edition: 2003
Halaman/Pages: 202
Dimensi/Dimension: 16 x 23 x 1cm
Sampul/Cover: Paperbacks
Bahasa/Language: Indonesia
Status: Terjual/Sold
***

Mengingat keterbatasan buku logika khususnya "Logika Informatika" dan khususnya lagi yang berbahasa Indonesia, maka buku ini disamping disediakan untuk memenuhi kebutuhan para mahasiswa D-3 atau S-1 Program Studi Ilmu Komputer juga untuk para penggemar logika khususnya dasar-dasar logika untuk pemrograman komputer dan perancangan komputer.
Buku ini disusun dalam empat bab, yaitu:
Bab pertama berisi kalimat-kalimat abstrak dalam logika proporsisional, interpretasi, semantic tree, kalimat-kalimat valid, satisfiable, dan subtitusi.

• Bab kedua berisi kalimat-kalimat dalam logika predikat, domain, interpretasi, kalimat-kalimat tertutup, valid, tidak valid, quantifier.
• Bab ketiga berisi skema-skema kalimat valid, closure, dan
• Bab keempat berisi logika biner, aljabar Boolean, fungsi-fungsi Boolean, manipulasi aljabar, manipulasi dengan Map.