Mata kuliah ini memberikan pemahaman tentang konsep dasar logika, proposisi majemuk, tautologi, ekuivalensi logis, pembuktian logika dan analisis argumen, kuantor, dan rangkaian logika, serta materi himpunan, operasi himpunan, sifat-sifat himpunan. Selain itu, dibahas juga mengenai relasi, fungsi dan sistem pembuktian dalam matematika.
Himpunan
Relasi dan Fungsi
Logika Matematika
Metode Pembuktian
Himpunan dan Logika dalam Al-Qur’anPPT, LCD dan Proyektor