Mata kuliah ini memperkenalkan dasar-dasar fundamental dalam logika dan teori himpunan sebagai jembatan dari pemahaman prosedural dan komputasional ke penalaran logis sebagai dasar untuk memahami matematika secara abstrak dan aksiomatis. Selain itu juga, mata kuliah ini memberi tuntunan praktis kepada mahasiswa untuk menggunakan operasi dan sifat serta manipulasi aljabar dalam pemecahan masalah yang berkaitan dengan 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.