Year
2020-2021
Semester
Spring
Type
Seminar
Taught by
Nikolaos Rigas
Start date
5/3/2021
Description
Σκιαγράφηση της ύλης:
Ανώτεροι επαγωγικοί τύποι, υπολογισμός τής θεμελιώδους ομάδας τού κύκλου
Εισαγωγή στη θεωρία κατηγοριών
Μεταμαθηματικά τής θεωρίας τύπων: Κατηγορική σημασιολογία, κανονικοποίηση