Πέτρος Ποτίκας
Διδακτικό (ΕΔΙΠ)
Τεχνολογίας Πληροφορικής και Υπολογιστών
+30 (210) 7721644
Γραφείο 1.1.30, 1ος Όροφος, Παλαιό Κτ. Ηλεκτρολόγων
Ερευνητικά Ενδιαφέροντα
Λογικός Προγραμματισμός, Σημασιολογία Γλωσσών Προγραμματισμού, Επαγωγικές Βάσεις Δεδομένων, Υπολογιστική Λογική, Τροπική Λογική, Θεωρία Αυτομάτων, Θεωρία Υπολογισμού, Κρυπτογραφία.
Δημοσιεύσεις
Μαθήματα
| Τίτλος | Εξάμηνο |
|---|---|
| Λογική και Πληροφορική ΙΙ : Λογική, Αυτόματα και Παίγνια | Μεταπτυχιακό - Εαρινό Εξάμηνο |
| Προγραμματισμός Ηλεκτρονικών Υπολογιστών | Προπτυχιακό - 1ο Εξάμηνο |
| Προγραμματιστικές Τεχνικές | Προπτυχιακό - 2ο Εξάμηνο |
| Μαθηματική Λογική | Προπτυχιακό - 6ο Εξάμηνο |
| Υπολογισιμότητα και Πολυπλοκότητα | Προπτυχιακό - 8ο Εξάμηνο |
| Εφαρμογές της Λογικής στην Πληροφορική | Προπτυχιακό - 8ο Εξάμηνο |
| Θεμελιώδη Θέματα Επιστήμης των Υπολογιστών | Προπτυχιακό - 5ο Εξάμηνο |
| Προχωρημένα θέματα Κρυπτογραφίας | Μεταπτυχιακό - Εαρινό Εξάμηνο |