Mata kuliah ini memberikan dasar-dasar logika untuk komputasi. Logika Informatika merupakan bagian dari matematika diskrit. Materi yang dibahas meliputi Dasar-dasar Logika (logika proporsisi, inferensi logika dan logika predikat), Aljabar Boolean,dan Penyederhanaan Fungsi Bolean