Logika Himpunan
Logika dan Himpunan membahas substansi logika dan himpunan matematika.
Logika dan himpunan terkait erat dengan berbagai ilmu lain yang berhubungan dengan komputer, misalnya matematika diskrit, aljabar linier, dan komputasi numerik. Materi logika, yaitu dasar-dasar logika, tabel kebenaran, proposisi majemuk, tautologi, ekuivalensi logis, pembuktian logika dan analisis argumen, kuantor, dan rangkaian logika.
Materi himpunan, yaitu istilah dan simbol himpunan, diagram Venn, relasi himpunan, operasi himpunan, dan relasi.