Matakuliah ini membekali mahasiswa tentang konsep dasar logika dan himpunan beserta sifat, teorema, preposisi, hukum, dan pembuktian secara logika sistematis. Pada matakuliah ini mahasiswa juga dibekali dengan pembelajaran berbasis proyek dengan pemanfaatan TIK yang merupakan penerapan konsep logika dan himpunan.