Logika memainan peranan penting dalam berbagai bidang keilmuwan, bahkan dalam kehidupan sehari-hari. Sayangnya logika kurang mendapatkan porsi pembahasan yang cukup dalam pelajaran formal khususnya di perguruan tinggi. Lebih memprihatinkan lagi di bidang informatika dan ilmu komputer. Logika yang dipelajari di bidang informatika atau ilmu komputer disebut logika matematika (mathematical logic).…
Buku ini merupakan buku ajar mengenai logika matematika untuk ilmu komputer. Logika dalam ilmu komputer digunakan sebagai dasar untuk balajar bahasa pemrograman, struktur data, kecerdasan buatan,teknik/sisem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar,dsb. buku ini membahas tentang : 1.pengenalan logika matematika 2. pengantar logika proposisional 3. met…