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.