Καλησπέρα παιδιά,
η τελευταία παρουσίαση του μαθήματος θα γίνει την Τρίτη 8 Ιουνίου. Μετά λογικά η Έλλη θα δώσει κάποιο tutorial για natural deduction σε μέρα και ώρα που θα συμφωνήσουμε.
Η εξέταση του μαθήματος θα γίνει κάποια στιγμή μέσα στον Ιούνιο (πάλι σε μέρα και ώρα που θα συμφωνήσουμε) και θα αποτελείται από κατάθεση εργασίας και προφορική εξέταση πάνω στα προβλήματα της εργασίας.
Προς το τέλος των διαλέξεων θα σας ενημερώσουμε για παραπάνω λεπτομέρειες.
Τα λέμε την Δευτέρα,
Γιάννης