Courses for 1997-1998
required
- Λ4. Αλγόριθμοι και πολυπλοκότητα II (Αφράτη)
elective required
- Μ6. Θεωρία συνόλων (Τσαρπαλιάς)
elective (mathematical logic)
- M12. Θεωρία μοντέλων (Δημητρακόπουλος)
elective (computer science logic)
- Π18. Λογικός προγραμματισμος (Foustoucos)
Special Topics in Logic
- Λ97Α. Πιθανοτικοί αλγόριθμοι (Spirakis)
required
- Λ1. Μαθηματική λογική (Δημητρακόπουλος)
- Λ2. Υπολογισιμότητα (Moschovakis, Mytilinaios)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Ζάχος)
elective (mathematical logic)
- M11. Θεωρία αναδρομής (Moschovakis)
elective (logic)
- Λ14. Εισαγωγή στο λ-λογισμό (Κολέτσος)