Μάθημα : Ειδικά Θέματα Λογικής: Θεωρία Τύπων
Κωδικός : DI636
Περιγραφή Μαθήματος
Εισαγωγή στή θεωρία τύπων, με έμφαση στήν αντιστοιχία Curry-Howard και σε σύγχρονες θεωρίες που βασίζονται σ' αυτή, συγκεκριμένα τή θεωρία τύπων τού Martin-Löf και τήν ομοτοπική θεωρία τύπων.
Ημερολόγιο
Προθεσμία
Γεγονός μαθήματος
Γεγονός συστήματος
Προσωπικό γεγονός
Ανακοινώσεις
Όλες...-
Δευτέρα 18 Δεκεμβρίου 2023 - 2:07 μ.μ.
-
Κυριακή 3 Δεκεμβρίου 2023 - 7:00 μ.μ.
-
Σάββατο 25 Νοεμβρίου 2023 - 10:19 μ.μ.
-
Κυριακή 29 Οκτωβρίου 2023 - 8:58 μ.μ.
-
Κυριακή 29 Οκτωβρίου 2023 - 8:53 μ.μ.