Courses for 2016-2017
required
- Λ1. Μαθηματική λογική (Κυρούσης)
Special Topics in Logic
- Λ09Γ. Προχωρημένα Θέματα Λογικής (Ζάχος)
- Π09Γ. Προχωρημένα θέματα αλγορίθμων και πολυπλοκότητας (Παγουρτζής, Ζάχος)
special topics in computer science
- Π02Δ. Υπολογιστική γεωμετρία (Κοναξής)
- Π03Β. Σημασιολογία γλωσσών προγραμματισμού (Ροντογιάννης)
- Π03Ε. Αλγόριθμοι δικτύων και πολυπλοκότητα (Παγουρτζής)
- Π03Ζ. Αλγόριθμοι στη δομική βιοπληροφορική (Chrysina)
- Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα (Ζάχος)
required
- Λ2. Υπολογισιμότητα ()
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Φωτάκης, Ζάχος)
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (Παγουρτζής, Ζάχος)
elective required
- Μ6. Θεωρία συνόλων (Τσαρπαλιάς)
elective (computer science logic)
- Π14Α. Θεωρία γραμμικού προγραμματισμού (Κολλιόπουλος)
special topics in computer science
- Λ06Δ. Απεικόνιση γραφημάτων (Συμβώνης)
- Π00Γ. Συνδυαστική βελτιστοποίηση (Ζησιμόπουλος)
- Π02Γ. Κρυπτογραφία και πολυπλοκότητα (Παγουρτζής, Ζάχος)
- Π02Ε. Υπολογιστική άλγεβρα (Εμίρης, Κοναξής)
- Π03Γ. Συστήματα τύπων των γλωσσών προγραμματισμού (Παπασπύρου)
- Π98Π. Κρυπτογραφία (Λεονάρδος)
special topics in mathematics
- Λ05Δ. Θεωρία Γραφημάτων (Κολλιόπουλος)
- Μ07Μ. Στοχαστικές Ανελίξεις (Λουλάκης)
- Μ08Μ. Στοχαστικά μοντέλα (Οικονόμου)