Γεώργιος Κολέτσος
Ομότιμος Καθηγητής Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών
Μαθήματα
- Μαθηματική Λογική (Προπτυχιακό - 6o Εξάμηνο)
- Εφαρμογές της Λογικής στην Πληροφορική (Προπτυχιακό - 8o Εξάμηνο)
- Λογική και Πληροφορική Ι: Εφαρμογές της Λογικής στον Συναρτησιακό Προγραμματισμό (Μεταπτυχιακό - Χειμερινό Εξάμηνο)
- Λογική και Πληροφορική II: λ-λογισμός (Μεταπτυχιακό - Εαρινό Εξάμηνο)