ΕΦΑΡΜΟΓΕΣ ΤΗΣ ΛΟΓΙΚΗΣ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ

 

 

Γενικές πληροφορίες

Το μάθημα δίνεται στο 8ο εξάμηνο της Σχολής Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών και επίσης στο 9ο εξάμηνο της Σχολής Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών.

Για το 8ο εξάμηνο ακολουθήστε και την ιστοσελίδα http://www.math.ntua.gr/logic/lambda. Μέρος του μαθήματος καλύπτεται και από το μεταπτυχιακό μάθημα <<Εισαγωγή στο λ-λογισμό>>.


Διδάσκων: Γιώργος Κολέτσος  (Email: koletsos AT math DOT ntua DOT gr)

Δωρεάν βιβλίο:  Οι μεταμορφώσεις του λογισμού   του Gilles Dowek.