Mata kuliah ini adalah salah satu mata kuliah wajib yang termasuk dalam
mata kuliah dasar keahlian yang harus diselesaikan oleh setiap mahasiswa. Mata
kuliah ini banyak membahas materi matematika diskrit sebagai dasar keahlian
bagi mahasiswa yang akan mendalami Ilmu Komputer khususnya teknologi rekayasa
perangkat lunak. Topik-topik yang dibahas meliputi: sistem dan basis bilangan, dasar-dasar logika, aljabar Boole, kalimat berkuantor, metode pembuktian, induksi matematika, teori himpunan, kombinatorika, dan teori Graf. Pelaksanaan perkuliahan dilaksanakan sebanyak 16 kali
pertemuan (daring dan/atau tatap muka).