1 Μαθηματική Λογική και Εφαρμογές της: Είναι γενική εισαγωγή στη Λογική Α’ Τάξης. Δεν υπάρχει ουσιαστική επικάλυψη με το “Ειδικά Θέματα Υπολογιστικής Λογικής” του Χειμερινού Εξαμήνου. Το πρώτο μάθημα θα γίνει την Παρασκευή 22-2.
2 Σημασιολογία και Ορθότητα Προγραμμάτων: Εξετάζει εξειδικευμένα λογικά συστήματα, τη σχετική θεωρία και τις εφαρμογές τους. Θεωρείται ουσιαστικό προαπαιτούμενο το “Μαθηματική Λογική και Εφαρμογές της”, ή άλλο ισοδύναμο μάθημα. Προσοχή: Το “Ειδικά Θέματα Υπολογιστικής Λογικής” (του Χειμερινού Εξαμήνου) δεν καλύπτει το προαπαιτούμενο. Οι φοιτητές που ενδιαφέρονται για το μάθημα, να επικοινωνήσουν με τον διδάσκοντα. Το πρώτο μάθημα θα είναι την Τετάρτη 27-2.
Σ. Κοσμαδάκης scosmada@cti.gr