Mata Kuliah ini mengkaji struktur matematika dan pembuktian matematis serta relasi yang berkaitan. Kajian meliputi beberapa topik antara lain Himpunan, Relasi dan Fungsi, Logika Matematika dan Pembuktian.