Γλώσσες Προγραμματισμού ΙΙ

Κατ' επιλογήν υποχρεωτικό μάθημα ροής Λ, 9ου εξαμήνου, κωδικός 3.4.58.9

Εξάμηνο:

Χειμερινό 2006

Διδάσκοντες:

Γιάννης Μαΐστρος		()		γρ. 2.1.5		τηλ: 210-772-2511
Νίκος Παπασπύρου		()		γρ. 1.1.21		τηλ: 210-772-3393

Ανακοινώσεις | Υλικό: Γενικά, Διαφάνειες, Παλαιότερα έτη
Διαλέξεις: 31/10 | 7/11 | 14/11 | 21/11 | 5/12 | 12/12 | 19/12 | 17/4 | 24/4 | 8/5 | 15/5

Ανακοινώσεις

27/6/2007	Ανακοινώθηκε η βαθμολογία της κανονικής εξεταστικής περιόδου για τους επί πτυχίω σπουδαστές. Όσοι σπουδαστές έχουν ακόμα εκκρεμότητες με τις ασκήσεις, να επικοινωνήσουν άμεσα με τους διδάσκοντες.
18/5/2007	Την Τετάρτη 6/6, ώρα 15:00, σε αίθουσα που θα ανακοινωθεί, θα πραγματοποιηθεί εξέταση για τους επί πτυχίω σπουδαστές. Όποιοι συμμετάσχουν δε θα έχουν δικαίωμα συμμετοχής στην κανονική εξέταση που θα πραγματοποιηθεί τον Ιούλιο, σύμφωνα με το πρόγραμμα της γραμματείας. Ο τρόπος εξέτασης και η ύλη είναι αυτοί της κανονικής εξέτασης.
5/12/2006	Οι σημειώσεις του μέρους "Θεωρία γλωσσών προγραμματισμού" διανέμονται από το Εργαστήριο Λογισμικού (Αίθουσα 1.1.25, Κτίριο Ηλεκτρολόγων).
11/10/2006	Οι διαλέξεις του μαθήματος θα διεξάγονται κάθε Τρίτη, ώρα 15:00-18:00, στην Αίθουσα 0.1.15 του Κτιρίου Ηλεκτρολόγων.

Υλικό

Γενικά

Το μάθημα χωρίζεται σε δύο μέρη ως ακολούθως. Το ίδιο και η βαθμολογία (αν και το ποσοστό κάθε μέρους δεν είναι αυστηρά 50%, προκειμένου να πριμοδοτηθούν σπουδαστές με κλίση/ενδιαφέρον σε κάποιο από τα δύο μέρη) .

Επεξεργασία φυσικής γλώσσας, Γιάννης Μαΐστρος
- Η βαθμολογία θα προκύψει αποκλειστικά από μια σειρά ασκήσεων που οι σπουδαστές θα πρέπει να παραδώσουν στο διδάσκοντα.

Θεωρία γλωσσών προγραμματισμού, Νίκος Παπασπύρου

Η βαθμολογία θα προκύψει από μια εξέταση, διάρκειας 1.5 με 2.0 ωρών, που θα γίνει στο τέλος του εξαμήνου με ανοιχτά βιβλία και σημειώσεις.
Οι σπουδαστές μπορούν να βελτιώσουν τη βαθμολογία τους σε αυτό το μέρος, παραδίδοντας στο διδάσκοντα μια σειρά ασκήσεων (bonus).
Σχετική βιβλιογραφία

Χρήσιμο υλικό από τις παραδόσεις του κ. Μαΐστρου, για το μέρος του μαθήματος που σχετίζεται με την επεξεργασία φυσικής γλώσσας, είναι διαθέσιμο στη σελίδα:

http://glotta.ntua.gr/nlp/courses/Lang2.htm

ΠΡΟΣΟΧΗ: Τα παρακάτω αφορούν μόνο στο μέρος του μαθήματος που σχετίζεται με τη θεωρία γλωσσών προγραμματισμού.

Διαφάνειες

Οι διαφάνειες που θα χρησιμοποιούνται στις διαλέξεις είναι διαθέσιμες από την παρούσα σελίδα για τη διευκόλυνση των σπουδαστών, ώστε αυτοί να μη χρειάζεται να κρατούν εκτενείς σημειώσεις κατά τη διάρκεια των μαθημάτων. Η ύλη των διαφανειών παρουσιάζεται αναλυτικά στις σημειώσεις του μαθήματος. Μη σπεύσετε να εκτυπώσετε τις διαφάνειες στην παρούσα μορφή. Πρόκειται να τροποποιηθούν κατά τη διάρκεια του εξαμήνου.

Σε μορφή για παρουσίαση: ps.gz (395KB), pdf (654KB), μία διαφάνεια ανά σελίδα.
Σε μορφή για εκτύπωση: ps.gz (396KB), pdf (562KB), έξι διαφάνειες ανά σελίδα.
Τελευταία ενημέρωση των διαφανειών: 5/12/2005.

Παλαιότερα έτη

Διαλέξεις

Παράδοση 31/10/2006

Θέματα διεξαγωγής του μαθήματος

Παράδοση 7/11/2006

Λάμβδα λογισμός
- Εισαγωγή
- Διαισθητική περιγραφή
- Σύνταξη, ελεύθερες μεταβλητές, αντικατάσταση
- Μετατροπές α, β και η, αναγωγές και ισότητα
- Κανονικές μορφές
- Ιδιότητες του λ-λογισμού
- Εκφραστική δύναμη του λ-λογισμού

Παράδοση 14/11/2006

Διάλεξη Γ. Μαΐστρου

Παράδοση 21/11/2006

Συστήματα τύπων
- Εισαγωγή
- Βασικοί τύποι
  - Σύνταξη
  - Λειτουργική σημασιολογία
  - Κανόνες τύπων
  - Ιδιότητες του συστήματος τύπων
- Τύποι συναρτήσεων
- Απλές επεκτάσεις
  - Ο τύπος μονάδας — Unit
  - Ακολουθιακή αποτίμηση
  - Απόδοση ονομάτων — δομή let
  - Ζεύγη
  - Αθροίσματα
  - Αναδρομή
    - Τελεστής fix
    - Δομή letrec

Παράδοση 5/12/2006

Διάλεξη Γ. Μαΐστρου

Παράδοση 12/12/2006

Συστήματα τύπων (επανάληψη και συνέχεια)
- Αναφορές
- Εξαιρέσεις
- Υποτύποι
  - Σχέση υποτύπων
  - Τύποι τομής
  - Αναθεώρηση των αναφορών: πηγές και υποδοχείς
  - Τύποι ένωσης

Παράδοση 19/12/2006

Διάλεξη Γ. Μαΐστρου

Παράδοση 17/4/2007

Σημασιολογία
Δηλωτική σημασιολογία
- Μια απλή γλώσσα δυαδικών συμβολοσειρών
- Μια απλή προστακτική γλώσσα
  - Σημασιολογία αριθμητικών και λογικών εκφράσεων
  - Σημασιολογία εντολών
  - Μεταβλητές και αναθέσεις
  - Αόριστες επαναλήψεις, εντολή while
Θεωρία πεδίων
- Ορισμοί
- Κατασκευές πεδίων
- Μονότονες και συνεχείς συναρτήσεις
- Θεώρημα ελάχιστου σταθερού σημείου
Δηλωτική σημασιολογία (συνέχεια)
- Μια απλή προστακτική γλώσσα (ξανά)
- Σημασιολογία του λ-λογισμού

Παράδοση 24/4/2007

Διάλεξη Γ. Μαΐστρου

Παράδοση 8/5/2007

Διάλεξη Γ. Μαΐστρου

Παράδοση 15/5/2007

Αξιωματική σημασιολογία
- Τριάδες Hoare
- Μια απλή προστακτική γλώσσα

Τελευταία αλλαγή: 27/6/07, 15:59.