Detail Cantuman

Mengingat keterbasan buku logika khususnya logika informatika dan khususnya yang berbahasa Indonesia, maka buku ini disamping untuk memenuhi kebutuhan 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. Bab pertama berisi kalimat-kalimat abstrak dalam logika proporsional, interpretasi, sematic tree, kalimat-kalimat valid, satisfiable dan substitusi. 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. Bab keempat berisi logika biner, aljabar, Boolean, fungsi-fungsi Boolean, manipulasi aljabar, manipulasi dengan Map