Deskripsi
Mata kuliah logika dan himpunan memainkan peranan penting dalam berbagai bidang keilmuan, bahkan dalam kehidupan sehari-hari. Logika dan himpunan terkait erat dengan berbagai ilmu lain yang berhubungan dengan komputer, misalnya matematika diskrit, aljabar linier, dan komputasi numerik. Materi logika membahas tentang dasar-dasar logika, tabel kebenaran, proposisi majemuk, tautologi, ekuivalensi logis, bentuk normal, pembuktian logika dan analisis validitas argumen. Sedangkan materi himpunan membahas konsep dan simbol himpunan, diagram Venn, relasi himpunan, operasi himpunan, dan relasi.
