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.
- Teacher: Wa Ode Rahma Agus Udaya Manarfa
- Enrolled students: 8