Διακριτά Μαθηματικά (CEID_22Y101)

Ύλη:

1. Επίλυση λογικού γρίφου με προτασιακά σύμβολα.
2. Επίλυση Sudoku με χρήση λογικών προτάσεων και SAT Solvers (εκτός ύλης)
3. Καθολικός - Υπαρξιακός Ποσοδείκτης
4. Κατηγορήματα
5. Αρνήσεις λογικών προτάσεων με ποσοδείκτες
6. Εμφωλευμένοι ποσοδείκτες
7. Μετάφραση από και προς φυσική γλώσσα προς και από λογικές προτάσεις με ποσοδείκτες

Hunter (2η έκδοση) σελ. 50-69

Υλικό:

Διαφάνειες σελ. 54-69

Διαφάνειες σελ. 1-17

Αντίστοιχη διάλεξη σε zoom από το ακαδημαϊκό έτος 20-21. Προσοχή: Η ύλη μπορεί να μην συμπίπτει ακριβώς.