Buku ini dapat digunakan sebagai buku ajar atau buku referensi yang menunjang pembelajaran mata kuliah Matematika Diskrit. Buku ini membahas materi tentang logika, teori himpunan, relasi, fungsi, barisan, dan teori graf. Penyajiannya diupayakan dengan bahasa yang mudah dipahami oleh pembaca dengan disertai beberapa contoh latihan dan soal.
Buku ajar ini disusun untuk memahami konsep logika matematika dan matematika diskrit yang terdiri atas delapan bab dan disertai dengan glosarium, diantaranya: 1. Logika dan Penalaran 2. Penghubung Pernyataan 3. Penarikan kesimpulan 4. Kalkulus Predikat 5. Aljabar Boolean (termasuk didalamnya Bentuk Normal) 6. Program sebagai Logika Instruksi 7. Pengulangan Instruksi, dan 8. Teroi Graf
Materi dalam buku ini mencakup: - tabel kebenaran - proposisi majemuk - tautologi - ekuivalensi logis - penyederhanaan - strategi pembalikan - tablo semantik - bentuk normal - resolusi - deduksi alami - kalikulus deret
Materi dalam buku ini mencakup : - konsep dasr - logika proposisional - logika first order - aljabar boolean
Ulasan buku ini tentang: 1. Logika proposisi 2. Teori Himpunan 3. Teori Himpunan Fuzzy 4. Logika Fuzzy 5. Relasi Klasik 6. Fungsi 7. Aljabar Boole 8. Teori Graph 9. Mesin Matematika