ΠΡΟΣΟΧΗ: Καταληκτική ημερομηνία για την παράδοση ασκήσεων είναι η Παρασκευή 17/2. Την επόμενη εβδομάδα θα δημοσιευτούν οι λύσεις όλων των σειρών ασκήσεων.
15/12/2005
Η διάλεξη της Τρίτης 20/12 δε θα πραγματοποιηθεί, λόγω μιας έκτακτης υποχρέωσης του διδάσκοντα. Θα αναπληρωθεί με μία επιπλέον ώρα την Πέμπτη 22/12.
11/11/2005
Οι διαλέξεις της Τρίτης 15/11 και της Πέμπτης 17/11 δε θα πραγματοποιηθούν, λόγω του τριήμερου εορτασμού της επετείου του Πολυτεχνείου.
2/11/2005
ΠΡΟΣΟΧΗ: Οι φοιτητές
του ΜΠΛΑ που ενδιαφέρονται να παρακολουθήσουν το μάθημα στο τρέχον
εξάμηνο παρακαλούνται να επικοινωνήσουν άμεσα
με το διδάσκοντα.
18/10/2005
Οι διαλέξεις του μαθήματος θα γίνονται κάθε
Τρίτη και Πέμπτη, ώρα 10:00–12:00, στην Πολυτεχνειούπολη
Ζωγράφου, Κτίριο Ηλεκτρολόγων, 1ος όροφος, Αίθουσα 1.1.29.
Υλικό
Γενικά
Ενημερωτικό φυλλάδιο (PDF, 119KB).
Περιγραφή του μαθήματος και διαδικαστικά θέματα.
Οι διαλέξεις και η διδακτέα ύλη θα ακολουθούν το βιβλίο:
Οι παρακάτω διαφάνειες χρησιμοποιήθηκαν στις διαλέξεις εκτός του βιβλίου του Pierce, για συμπληρωματική ύλη. Είναι διαθέσιμες σε δύο μορφές: σε μορφή για παρουσίαση (μία διαφάνεια ανά σελίδα, έγχρωμες, πιθανώς με εφέ κίνησης) και σε μορφή για εκτύπωση (έξι διαφάνειες ανά σελίδα, πιθανώς ασπρόμαυρες).
1η σειρά ασκήσεων, 20/10, παράδοση 1/11, εκφώνηση
(PDF, 97ΚΒ).
2η σειρά ασκήσεων, 27/10, παράδοση 8/11, εκφώνηση (PDF, 107ΚΒ).
3η σειρά ασκήσεων, 10/11, παράδοση 22/11, εκφώνηση (PDF, 109ΚΒ).
4η σειρά ασκήσεων, 24/11, παράδοση 6/12, εκφώνηση (PDF, 106ΚΒ).
5η σειρά ασκήσεων, 8/12, παράδοση 22/12, εκφώνηση (PDF, 102ΚΒ).
6η σειρά ασκήσεων, 25/1, παράδοση 17/2, εκφώνηση (PDF, 122ΚΒ).
Οι ασκήσεις θα παραδίδονται στον διδάσκοντα μέσω e-mail σε ηλεκτρονική μορφή (LaTeX).
Μπορείτε να βασιστείτε σε αυτό το template (TEX, 1ΚΒ). Καθυστερημένες ασκήσεις θα βαθμολογούνται
με μικρότερο βαθμό, αντιστρόφως ανάλογα προς το χρόνο καθυστέρησης. Μπορείτε να παραλείψετε μία σειρά ασκήσεων.
Διαλέξεις
Παράδοση 18/10/2005
Εισαγωγή (κεφ. 1, 2)
συστήματα τύπων
δομημένη λειτουργική σημασιολογία
Αριθμητική και λογικές τιμές (κεφ. 3, 4)
ακέραιοι αριθμοί
λογικές τιμές
Παράδοση 20/10/2005
Λάμβδα λογισμός χωρίς τύπους (κεφ. 5)
Αναπαράσταση λ-όρων χωρίς ονόματα μεταβλητών (κεφ. 6)
Benjamin C. Pierce, Types and Programming Languages, MIT Press, 2002.
Οι σπουδαστές θα βρουν ιδιαίτερα χρήσιμη την ιστοσελίδα του παραπάνω βιβλίου, την οποία συντηρεί ο συγγραφέας του, και κυρίως τις υλοποιήσεις ελεγκτών τύπων και αποτιμητών για τις γλώσσες που θα μελετηθούν. Για να εκτελέσετε αυτές τις υλοποιήσεις θα χρειαστείτε το μεταγλωττιστή της OCaml, διαθέσιμο από το: http://www.ocaml.org/.