Ανακοινώσεις μαθήματος Ειδικά Θέματα Λογικής: Θεωρία Τύπων τού Martin-Löf

Παρουσίαση 16 Μαρτίου

Sun, 14 Mar 2021 23:38:00 +0300

Θέμα: Κανονικοποίηση για τη θεωρία τύπων
Ομιλητής: Νικόλαος-Αλέξανδρος Τσακαλωφάς
Ημέρα: Τρίτη 16 Μαρτίου
Ώρα: 12:15

Παρουσίαση 11 Μαρτίου

Mon, 08 Mar 2021 23:31:52 +0300

Θέμα: Η συσσωρευτική ιεραρχία στην ομοτοπική θεωρία τύπων
Ομιλητής: Στέφανος Μήτσης-Κουτούκης
Ημέρα: Πέμπτη 11 Μαρτίου
Ώρα: 12:15

Παρουσίαση 19 Φεβρουαρίου

Mon, 15 Feb 2021 12:56:32 +0300

Θέμα: Univalence implies function extensionality

Ομιλητής: Θωμάς Πιπιλίκας

Ημέρα: Παρασκευή 19 Φεβρουαρίου

Ώρα: 12:15

Παρουσίαση 23 Φεβρουαρίου

Tue, 16 Feb 2021 12:40:06 +0300

Θέμα: Θεωρία κατηγοριών στην ομοτοπική θεωρία τύπων
Ομιλητής: Γιώργος Πιτσιλαδής
Ημέρα: Τρίτη 23 Φεβρουαρίου
Ώρα: 12:15

Παρουσίαση 11 Φεβρουαρίου

Tue, 09 Feb 2021 00:31:15 +0300

Θέμα: Διατακτικοί αριθμοί και κλασικές καλές διατάξεις

Ομιλητής: Νικήτας Πασλής

Ημέρα: Πέμπτη 11 Φεβρουαρίου

Ώρα: 12:15

Παρουσιάσεις 8 Φεβρουαρίου

Sat, 06 Feb 2021 10:37:34 +0300

Τήν Δευτέρα 8 Φεβρουαρίου θα γίνουν οι εξής παρουσιάσεις: Στις 12:00, ο κύριος Καραγιάννης-Αξυπολιτίδης θα παρουσιάσει τό θεώρημα τού Diaconescu. Αμέσως μετά, ο κύριος Ποτσάκης θα μιλήσει για πληθικούς αριθμούς στήν ομοτοπική θεωρία τύπων.

Recordings

Fri, 27 Nov 2020 00:33:23 +0300

Οι σχετικοί σύνδεσμοι βρίσκονται στα Πολυμέσα.