Buku ini merupakan buku ajar mengenai logika matematika untuk Ilmu Komputer. Logika dalam ilmu komputer digunakan sebagai dasar untuk belajar bahasa pemrograman, struktur data, kecerdasan buatan, teknik/sistem digital, basis data, teori komputasi, rekayasa perangkat lunak, sistem pakar, jaringan saraf tiruan, dan lainnya yang mempegunakan logika secara intensif. Banyak hal lain yang bisa dipetik saat mempelajari buku ini. Selain belajar logika, Anda juga disuguhi sejarah singkat perkembangan ...

Buki ini merupakan seri pembahasan tentang Logika Matematika yang terdiri dari logika proposisional, logika predikat, dan logika fuzzy. Buku seri pertama ini pembahasannya dilengkapi dengan soal-soal latihan.DAFTAR ISI:1. Pengantar2. Tabel Kebenaran3. Proposisi Majemuk4. Tautologi5. Ekuivalensi Logis6. Penyederhanaan7. Strategi Pembalikan8. Tablo Semantik9. Bentuk Normal10. Resolusi11. Deduksi Alami12. Kalkulus Deret ...