Matematika diskrit merupakan salah satu mata kuliah inti dalam bidang Ilmu Komputer dan Teknik Informatika, terutama untuk membantu para mahasiswa dalam memahami dan mempelajari konsep Logika Matematika dan Matematika Diskrit. Untuk memudahkan para mahasiswa dan pengajar/dosen, buku ajar ini disusun terdiri atas delapan bab yang disertai dengan glosarium, di antaranya: Logika dan Penalaran, Penghubung Pernyataan, Penarikan Kesimpulan, Kalkulus Predikat, Aljabar Boolean (termasuk di dalamnya Bentuk Normal), Program sebagai Logika Instruksi, Pengulangan Instruksi, dan Teori Graf. Referensi penting ini dapat digunakan sebagai buku teks atau buku ajar pada mata kuliah matematika diskrit di perguruan tinggi mana pun yang mempelajari bidang matematika.