Buku ini membahas : 1. Logika 2. Logika Kuantor 3. Relasi 4. Fungsi 5. Himpunan 6. Metode Pembuktian
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
Bahan matematika diskrit yang disajikan di dalam buku ini meliputi: 1.logika 2.himpunan 3.matriks, relasi, dan fungsi 4.induksi matematik 5.algoritma dan bilangan bulat (integer) 6.kombinatorial dan peluang diskrit 7.aljabar boolean 8.graf 9.pohon 10.kompleksitas algoritma
Bahasan dalam buku ini terbagi menjadi empat bahasan: 1. Ikhtisar Aljabar 2. Topik-topik dalam matematika diskrit 3. Topik-topik dalam matematika Pra-Kalkulus 4. Pengantar Kalkulus