Μάθημα : ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ
Κωδικός : CEID1104
-
Εμφάνιση όλων των ενοτήτων
Λογική και Συλλογισμός
- Η Λογική ως Γλώσσα Αναπαράστασης Γνώσης
- Κατηγορηματική Λογική Πρώτης Τάξεως (ΚΛΠΤ)
- Μετατροπή Φυσική Γλώσσας σε Κατηγορηματική Λογική
- Απόδειξη Θεωρημάτων