Courses for 1999-2000
required
- Λ4. Algorithms and complexity II (Dimitriou)
elective required
- Μ6. Set theory (Tsarpalias)
elective (logic)
- Λ14. Introduction to λ-calculus (Koletsos)
elective (computer science logic)
Special Topics in Logic
- Λ99Ν. Topics in set theory (Moschovakis)
special topics in computer science
- Π99Π. Data networks (Kranakis)
required
- Λ1. Mathematical logic (Dimitracopoulos)
- Λ2. Computability (Moschovakis)
- Λ3. Algorithms and complexity I (Dimitriou)
Special Topics in Logic
- Λ99Α. Finite model theory (Weinstein)
- Λ99Β. Automata and applications (Soskov)
- Λ99Γ. Modal logic (Koutras)
special topics in mathematics
- Μ99Δ. Descriptive set theory (Moschovakis)