Deskripsi Mata Kuliah :
Mengaji karakteristik matematika, sistem dan struktur deduktif-aksiomatis, operasi logika, kuantor, penarikan kesimpulan, himpunan, relasi dan fungsi melalui pembelajaran aktif melalui pembelajaran aktif berbantuan ICT dengan metode ceramah, tanya jawab, dan diskusi.

Capaian Mata Kuliah :

1. Mampu mendemonstrasikan pengetahuan dan wawasan matematika
2. Mampu mengaplikasikan prinsip dasar matematika untuk menyelesaikan masalah matematika sederhana
3. Mampu menerapkan konsep logika, kata hubung dalam logika, tautology, kuantor, premis dan argumen dalam penarikan kesimpulan
4. Mampu menerapkan konsep himpunan serta relasi dan fungsi
5. Mampu menerapkan pola pikir induktif dan deduktif, sistem aksioma, teorema definisi, dan geometri finit dalam matematika dan kehidupan sehari-hari
6. Mampu menerapkan validitas pembuktian, pembuktian tak langsung, dan aplikasi logika dalam jaringan listrik

Sumber Rujukan :

1. Masriyah, 2017. Dasar-dasar Matematika , Surabaya.
2. Yunus, M. 2007. Logika: Suatu Pengantar. Yogyakarta: Graha Ilmu
3. Kunnen, K. 2007. The Foundation of Mathematics.
4. Stoll, R. R. 1979. Set Theory and Logic. New York: Dover Publication, Inc.