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