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

Diharapkan dengan mempelajari mata kuliah ini, Mahasiswa mampu:

1. Mahasiswa mampu menyusun dan membandingkan pernyataan-pernyataan yang benar secara logika.
2. Mahasiswa mampu menerapkan aturan-aturan inferensi untuk membuktikan validitas suatu argumentasi dalam logika proposisional.
3.  Mahasiswa mampu menerapkan aturan-aturan inferensi logika predikat untuk membuktikan validitas suatu argumentasi yang melibatkan kuantor universal atau eksistensial.
4. Mahasiswa mampu menjelaskan kaitan konsep-konsep dasar logika matematika dan dengan cabang ilmu yang lain.