Memberikan pemahaman kepada mahasiswa tentang konsep logika informatika, preposisi, tautologi, kontradiksi metode-metode inferensi, kalimat berkuantor, logika entaiment, rule of inference, standar axiom schemata, bentuk klausul, propositional resolusi, logika relasional dan first order logic.
- Pengajar: Wa Ode Rahma Agus Udaya Manarfa
- Pelajar terdaftar: 8