Mata kuliah ini adalah mata kuliah dasar yang secara umum terdiri dari tiga materi pokok: logika matematika, teknik pembuktian, dan teori himpunan