Deskripsi Mata Kuliah
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.
CPMK
- Mahasiswa mampu memahami konsep logika proposisi dan implementasinya
- Mahasiswa mampu memahami implementasi ekuivalensi, predikat, kuantor, dan inferensi pada suatu argumen
- Mahasiswa mampu memahami konsep pembuktian
- Mahasiswa mampu memahami konsep himpunan
- Mahasiswa memahami konsep relasi dan fungsi
- Memahami konsep deret
- Mahasiswa mampu memahami konsep induksi matematika
- Mahasiswa mampu memahami konsep notasi dan counting
- konsep deret Ujian Tengah Semester (UTS)
- Ujian Akhir Semester (UAS)