Ενημερώνουμε τους φοιτητές ότι υπάρχει μια μικρή διόρθωση στη διατύπωση του τύπου στο ερ. 4.1.α της 1ης γραπτής εργασίας (χρειάζεται να προσθέσουμε x != y ως υπόθεση στο συμπέρασμα της συνεπαγωγής, ώστε να μην χρειάζεται να λάβουμε υπόψη την (μη) ύπαρξη ανακυκλώσεων).
Παρακαλούμε τους φοιτητές να συμβουλευτούν την ενημερωμένη εκφώνηση, η οποία επισυνάπτεται και εδώ.