Συστήματα Τύπων των Γλωσσών Προγραμματισμού

Μεταπτυχιακό μάθημα, εαρινού εξαμήνου
(ΜΠΛΑ, κωδικός Π03Γ)

Εξάμηνο:

Εαρινό 2004

Διδάσκων:

Νίκος Παπασπύρου

()

γρ. 1.1.21

τηλ: 210-772-3393

Ανακοινώσεις | Υλικό: Γενικά, Ασκήσεις, Διαφάνειες
Διαλέξεις: 17/3

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

24/3/2004	ΠΡΟΣΟΧΗ: Από σήμερα και στο εξής, οι διαλέξεις του μαθήματος δε θα γίνονται, λόγω έλλειψης ακροατηρίου. Παρακαλώ όλους όσους ενδιαφέρονται να παρακολουθήσουν αυτό το μάθημα να επικοινωνήσουν το συντομότερο με το διδάσκοντα.
17/3/2004	ΠΡΟΣΟΧΗ: Δεδομένου ότι η προσέλευση στο πρώτο μάθημα ήταν εξαιρετικά μικρή, παρακαλώ όλους όσους ενδιαφέρονται να παρακολουθήσουν αυτό το μάθημα να επικοινωνήσουν το συντομότερο με το διδάσκοντα.
17/3/2004	Οι διαλέξεις του μαθήματος θα γίνονται κάθε Τετάρτη, ώρα 15:00–18:00, στην Πολυτεχνειούπολη Ζωγράφου, Κτίριο Ηλεκτρολόγων, 1ος όροφος, Αίθουσα 1.1.29.

Υλικό

Γενικά

Ενημερωτικό φυλλάδιο (PDF, 126KB). Περιγραφή του μαθήματος και διαδικαστικά θέματα.

Ασκήσεις

1η σειρά ασκήσεων, 17/3/2004, εκφώνηση (PDF, 81ΚΒ).

Οι ασκήσεις θα παραδίδονται στον διδάσκοντα μέσω e-mail. Αν δε διευκρινίζεται, η προθεσμία παράδοσης κάθε άσκησης θα είναι η ημέρα της επόμενης διάλεξης. Καθυστερημένες ασκήσεις θα βαθμολογούνται με μικρότερο βαθμό, αντιστρόφως ανάλογα προς το χρόνο καθυστέρησης.

Διαφάνειες

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

Διαλέξεις

Παράδοση 17/3/2004

Εισαγωγή
- συστήματα τύπων
- δομημένη λειτουργική σημασιολογία
Βασικοί τύποι
- ακέραιοι αριθμοί
- λογικές τιμές

Διαφάνειες: σε μορφή για παρουσίαση (PDF, 125KB), σε μορφή για εκτύπωση (PDF, 121KB).

Τελευταία αλλαγή: 26/3/04, 20:21.