Τεχνητή Νοημοσύνη
Ενότητες
Λογική Πρώτης Τάξης: Συντακτικό.
- Οντολογικές υποθέσεις της Λογικής Πρώτης Τάξης
- Συντακτικό
- Σύμβολα
- Η έννοια του λεξιλογίου, όροι, ατομικοί τύποι, καλά ορισμένοι τύποι
- Κανόνες προτεραιότητας
- Εμφανίσεις μεταβλητών, ελεύθερες και δεσμευμένες
- Αναπαράσταση Γνώσης και Φυσικές Γλώσσες
Διαφάνειες | ||
| fol-syntax1spp.pdf | ||
Βιντεοδιαλέξεις | ||
| Λογική Πρώτης Τάξης: Συντακτικό. Μέρος Α'. - Οντολογικές υποθέσεις της Λογικής Πρώτης Τάξης Παρουσίαση: fol-syntax1spp.pdf. Διαφάνειες 1 - 13 |
||
| Λογική Πρώτης Τάξης: Συντακτικό. Μέρος Β'. - Οντολογικές υποθέσεις της Λογικής Πρώτης Τάξης - Συντακτικό - Σύμβολα - Η έννοια του λεξιλογίου, όροι, ατομικοί τύποι, καλά ορισμένοι τύποι - Κανόνες προτεραιότητας - Εμφανίσεις μεταβλητών, ελεύθερες και δεσμευμένες - Αναπαράσταση Γνώσης και Φυσικές Γλώσσες Παρουσίαση: fol-syntax1spp.pdf. Διαφάνειες: 13 - τέλος. |
||
