ΠΡΟΣΟΧΗ: Καταληκτική ημερομηνία για την παράδοση ασκήσεων είναι η Κυριακή 20/5.
30/10/2006
Οι διαλέξεις του μαθήματος θα γίνονται στο εξής κάθε Δευτέρα, ώρα 12:00–15:00, στην Αίθουσα 1.1.31, Κτίριο Ηλεκτρολόγων, 1ος όροφος, Πολυτεχνειούπολη Ζωγράφου (δίπλα στο CoreLab).
27/10/2006
ΠΡΟΣΟΧΗ: Η πρώτη διάλεξη
του μαθήματος θα γίνει τη Δευτέρα30/10,
ώρα 12:00–15:00, στο Εργαστήριο Λογισμικού που
βρίσκεται στην Αίθουσα 1.1.25, Κτίριο Ηλεκτρολόγων, 1ος όροφος, Πολυτεχνειούπολη
Ζωγράφου.
Υλικό
Γενικά
Ενημερωτικό φυλλάδιο (PDF, 118KB).
Περιγραφή του μαθήματος και διαδικαστικά θέματα.
Οι διαλέξεις και η διδακτέα ύλη θα ακολουθούν το βιβλίο:
Τμήμα του βιβλίου (ps.gz, 460KB) διατίθεται online για εκπαιδευτικό σκοπό μόνο στους σπουδαστές του ΕΜΠ που παρακολουθούν το μάθημα και μόνο μέσω IP διευθύνσεων του ΕΜΠ.
Οι παρακάτω διαφάνειες χρησιμοποιήθηκαν στις διαλέξεις εκτός του βιβλίου του Pierce, για συμπληρωματική ύλη. Είναι διαθέσιμες σε δύο μορφές: σε μορφή για παρουσίαση (μία διαφάνεια ανά σελίδα, έγχρωμες, πιθανώς με εφέ κίνησης) και σε μορφή για εκτύπωση (έξι διαφάνειες ανά σελίδα, πιθανώς ασπρόμαυρες).
1η σειρά ασκήσεων, 31/10, παράδοση 13/11, εκφώνηση (PDF, 98ΚΒ).
2η σειρά ασκήσεων, 6/11, παράδοση 20/11, εκφώνηση (PDF, 106ΚΒ).
3η σειρά ασκήσεων, 28/11, παράδοση 18/12, εκφώνηση (PDF, 111ΚΒ).
4η σειρά ασκήσεων, 29/12, παράδοση 15/1, εκφώνηση (PDF, 115ΚΒ).
5η σειρά ασκήσεων, 30/4, παράδοση 20/5, εκφώνηση (PDF, 101ΚΒ).
6η σειρά ασκήσεων, 30/4, παράδοση 20/5, εκφώνηση (PDF, 112ΚΒ).
Οι ασκήσεις θα παραδίδονται στον διδάσκοντα μέσω e-mail σε ηλεκτρονική μορφή (LaTeX).
Μπορείτε να βασιστείτε σε αυτό το template (TEX, 1ΚΒ). Καθυστερημένες ασκήσεις θα βαθμολογούνται
με μικρότερο βαθμό, αντιστρόφως ανάλογα προς το χρόνο καθυστέρησης. Μπορείτε να παραλείψετε μία σειρά ασκήσεων.
Οι σπουδαστές θα βρουν ιδιαίτερα χρήσιμη την ιστοσελίδα του παραπάνω βιβλίου, την οποία συντηρεί ο συγγραφέας του, και κυρίως τις υλοποιήσεις ελεγκτών τύπων και αποτιμητών για τις γλώσσες που θα μελετηθούν. Για να εκτελέσετε αυτές τις υλοποιήσεις θα χρειαστείτε το μεταγλωττιστή της OCaml, διαθέσιμο από το: http://www.ocaml.org/.