Mata kuliah ini membekali mahasiswa tentang konsep dasar logika dan himpunan beserta sifat, teorema, preposisi, hukum, dan pembuktian secara logika sistematis. Pada mata kuliah ini mahasiswa juga dibekali dengan penerapan konsep dalam penyelesaian berbagai permasalahan nyata.