Pada mata kuliah ini akan dipelajari 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
- Teacher: 0928079103 HAMID WIJAYA
- Enrolled students: 127