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