Courses for 2014-2015

required

• Λ1. Μαθηματική λογική (Κολέτσος, Σταυρινός)

elective required

• Μ6. Θεωρία συνόλων (Τσαρπαλιάς)

elective (logic)

• Λ14. Εισαγωγή στο λ-λογισμό (Κολέτσος, Σταυρινός)

elective (computer science logic)

• Π17. Μαθηματικά και κρυπτογραφία (Ράπτης)

Special Topics in Logic

• Λ99Γ. Τροπική λογική (Κούτρας)

special topics in computer science

• Π02Δ. Υπολογιστική γεωμετρία (Εμίρης)
• Π03Β. Σημασιολογία γλωσσών προγραμματισμού (Ροντογιάννης)
• Π03Ε. Αλγόριθμοι δικτύων και πολυπλοκότητα (Παγουρτζής)
• Π03Ζ. Αλγόριθμοι στη δομική βιοπληροφορική (Chrysina, Εμίρης)
• Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα (Ζάχος)
• Π12. Αλγοριθμικά Θέματα Κοινωνικών Δικτύων (Φωτάκης, Ζάχος)

special topics in mathematics

• Λ05Δ. Θεωρία Γραφημάτων (Γιώτης)

required

• Λ2. Υπολογισιμότητα (Αρβανιτάκης)
• Λ3. Αλγόριθμοι και πολυπλοκότητα I (Φωτάκης, Ζάχος)
• Λ4. Αλγόριθμοι και πολυπλοκότητα II (Παγουρτζής, Ζάχος)

elective (computer science logic)

• Π14Α. Θεωρία γραμμικού προγραμματισμού (Κολλιόπουλος)

special topics in computer science

• Π02Γ. Κρυπτογραφία και πολυπλοκότητα (Παγουρτζής)
• Π02Ε. Υπολογιστική άλγεβρα (Εμίρης, Κοναξής)
• Π03Γ. Συστήματα τύπων των γλωσσών προγραμματισμού (Παπασπύρου)
• Π98Π. Κρυπτογραφία (Κιαγιάς)