Courses for 2014-2015
required
- Λ1. Mathematical logic (Koletsos, Stavrinos)
elective required
- Μ6. Set theory (Tsarpalias)
elective (logic)
- Λ14. Introduction to λ-calculus (Koletsos, Stavrinos)
elective (computer science logic)
- Π17. Mathematics and cryptography (Raptis)
Special Topics in Logic
- Λ99Γ. Modal logic (Koutras)
special topics in computer science
- Π02Δ. Computational geometry (Emiris)
- Π03Β. Semantics of programming languages (Rondogiannis)
- Π03Ε. Network algorithms and complexity (Pagourtzis)
- Π03Ζ. Algorithms in structural bioinformatics (Chrysina, Emiris)
- Π05Β. Computation models and complexity (Zachos)
- Π12. Algorithmic Issues of Social Networks (Fotakis, Zachos)
special topics in mathematics
- Λ05Δ. Graph Theory (Giotis)
required
- Λ2. Computability (Arvanitakis)
- Λ3. Algorithms and complexity I (Fotakis, Zachos)
- Λ4. Algorithms and complexity II (Pagourtzis, Zachos)
elective (computer science logic)
- Π14Α. Theory of linear programming (Kolliopoulos)
special topics in computer science
- Π02Γ. Cryptography and complexity (Pagourtzis)
- Π02Ε. Computational algebra (Emiris, Konaxis)
- Π03Γ. Type systems for programming languages (Papaspyrou)
- Π98Π. Cryptography (Kiayias)