Courses for 1997-1998
required
- Λ4. Algorithms and complexity II (Afrati)
elective required
- Μ6. Set theory (Tsarpalias)
elective (mathematical logic)
- M12. Model theory (Dimitracopoulos)
elective (computer science logic)
- Π18. Logic programming (Foustoucos)
Special Topics in Logic
- Λ97Α. Probabilistic algorithms (Spirakis)
required
- Λ1. Mathematical logic (Dimitracopoulos)
- Λ2. Computability (Moschovakis, Mytilinaios)
- Λ3. Algorithms and complexity I (Zachos)
elective (mathematical logic)
- M11. Recursion theory (Moschovakis)
elective (logic)
- Λ14. Introduction to λ-calculus (Koletsos)