Informatika

Mata kuliah Logika ini mempelajari konsep dasar logika matematika dan aturan penarikan kesimpulan dengan metode  deduksi alamiah  baik pada logika proposisi maupun logika predikat yang merupakan dasar-dasar dari pemrograman logika dan kecerdasan buatan. Materi perkuliahan Logika meliputi dasar-dasar logika matematika, penarikan kesimpulan, aturan penarikan berdasarkan deduksi alamiah pada logika proposional dan logika pedikat, semantik pada logika proposional dan logika predikat.