Logika Informatika
Buku Ini Membahas Pengantar Logika
Informatika/Matematika dan Logika Proposisional, Tabel
Kebenaran, Implikasi dan Aplikasi, Proposisi Majemuk, Tautologi,
Validitas Argumen dan Penyederhanaan, Aturan Inferensi, Strategi
Pembalikan dan Tablo Semantik, Bentuk Normal, Pengantar Logika
Predikat dan Komponen-Komponen Sintaktik, Aljabar Boolean,
Gerbang Logika, Sistem Bilangan Biner.