Courses for 2002-2003

required

• Λ4. Αλγόριθμοι και πολυπλοκότητα II (Ανδρόνικος)

elective required

• Μ6. Θεωρία συνόλων (Δημητρακόπουλος, Τσαρπαλιάς)

elective (logic)

• Λ15. Θεωρία αποδείξεων (Σταυρινός)

elective (computer science logic)

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

Special Topics in Logic

• Λ02Β. Metamathematics of Peano arithmetic (Cornaros, Δημητρακόπουλος)
• Λ02Ο. Algebraic specifications and their applications in computer science (Diaconescu)
• Λ02Π. Θέματα λογικής στην πληροφορική (Foustoucos)
• Λ97Α. Πιθανοτικοί αλγόριθμοι (Νικολετσέας)
• Λ99Ε. Θέματα βάσεων δεδομένων (Nikolaidou)

special topics in computer science

• Π02Γ. Κρυπτογραφία και πολυπλοκότητα (Ζάχος)
• Π02Δ. Υπολογιστική γεωμετρία (Εμίρης)
• Π02Ε. Υπολογιστική άλγεβρα (Εμίρης)
• Π02Ζ. Θέματα θεωρίας παιγνίων και υπολογισμού (Koutsoupias)
• Π02Ξ. Ασφάλεια δικτύων και πολυπλοκότητα (Kranakis)

required

• Λ1. Μαθηματική λογική (Δημητρακόπουλος)
• Λ2. Υπολογισιμότητα (Moschovakis)
• Λ3. Αλγόριθμοι και πολυπλοκότητα I (Koutsoupias)

elective (computer science logic)

• Π18. Λογικός προγραμματισμος (Foustoucos)

Special Topics in Logic

• Λ02Α. Αριθμητική πολυπλοκότητα (Moschovakis)
• Λ02Ν. Λογική στις βάσεις δεδομένων (Tannen)
• Λ98Ν. Μεταμαθηματικά της συνολοθεωρίας (Αρβανιτάκης)