Courses for 1998-1999
required
- Λ4. Algorithms and complexity II (Nomikos)
elective required
- Μ6. Set theory (Tsarpalias)
elective (logic)
- Λ15. Proof theory (Koletsos)
- Λ16. Non-classical logics (Koutras)
Special Topics in Logic
- Λ98Γ. Category theory and applications (Karazeris)
- Λ98Ο. Constructive mathematics (Theotokis)
special topics in computer science
- Π98Π. Cryptography (Kranakis)
required
- Λ1. Mathematical logic (Dimitracopoulos)
- Λ2. Computability (Moschovakis)
- Λ3. Algorithms and complexity I (Nomikos)
elective (computer science logic)
Special Topics in Logic
- Λ98Α. Logic Programming II (Foustoucos)
- Λ98Β. Principles of Constructive Mathematics (Moschovakis)
- Λ98Ν. Metamathematics of set theory (Moschovakis)