Special Topics in Logic

Type

Elective

Course Description

Στο μάθημα αυτό θα διδάσκονται σύγχρονα θέματα λογικής που δεν καλύπτονται από τα υπόλοιπα μαθήματα του προγράμματος.

Name	Year	Semester	Taught by
Special Topics in Logic: Type Theory	2023-2024	Fall	Nikolaos Rigas
Special Topics in Logic: Descriptive Set Theory	2023-2024	Spring	Vassilis Gregoriades
Special Topics in Logic: Descriptive Complexity	2023-2024	Spring	Stathis Zachos, Petros Potikas
Special Topics in Logic: Descriptive Complexity	2022-2023	Spring	Stathis Zachos, Petros Potikas
Special Topics in Logic: Descriptive Set Theory	2022-2023	Spring	Vassilis Gregoriades
Special Topics in Logic: Logic and Computer Science: λ-calculus, Curry-Howard Isomorphism	2022-2023	Spring	Giorgos Koletsos
Special Topics in Logic: Descriptive Set Theory	2021-2022	Spring	Vassilis Gregoriades
Special Topics in Logic: Martin-Löf Type Theory	2020-2021	Fall	Nikolaos Rigas
Special Topics in Logic: Dynamic Epistemic Logic	2020-2021	Spring	Stathis Zachos, Ioannis Kokkinis, Petros Potikas
Special Topics in Logic: Descriptive Set Theory	2020-2021	Spring	Vassilis Gregoriades
Special Topics in Logic: Descriptive Complexity	2019-2020	Spring	Stathis Zachos, Ioannis Kokkinis, Petros Potikas
Special Topics in Logic	2017-2018	Spring	Stathis Zachos
Special Topics in Logic	2016-2017	Spring	Stathis Zachos