Dalam mata kuliah ini, mahasiswa akan belajar struktur diskrit yang meliputi himpunan, fungsi dan relasi, logika, metode-metode pembuktian, konsep penghitungan, dan rekursif. Tujuan dari mata kuliah ini mahasiswa mampu menjelaskan konsep logika, metode pembuktian, himpunan, fungsi, induksi matematis & rekursi, relasi dan dapat mengaplikasikannya pada permasalahan nyata, baik dengan kinerja individu maupun secara berkelompok.