Mata kuliah ini membahas konsep-konsep dasar matematika yang mendasari ilmu komputer dan kecerdasan artifisial, meliputi logika, himpunan, relasi, fungsi, deret, pembuktian, prinsip kombinatorika, dan induksi matematika. Mata kuliah ini mempersiapkan mahasiswa agar mampu berpikir logis, sistematis, dan abstrak dalam menyelesaikan masalah yang kompleks di bidang kecerdasan artifisial.