eClass ΕΚΠΑ | Ειδικά Θέματα Λογικής: Θεωρία Τύ... | Ανακοινώσεις

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

DI553 - Νικόλαος Ρήγας

Ανακοινώσεις

Εμφάνισε αποτελέσματα

Ανακοίνωση	Ημερομηνία
Παρουσίαση 16 Μαρτίου Θέμα: Κανονικοποίηση για τη θεωρία… περισσότερα	Κυριακή 14 Μαρτίου 2021 - 11:38 μ.μ.
Παρουσίαση 11 Μαρτίου Θέμα: Η συσσωρευτική ιεραρχία στη… περισσότερα	Δευτέρα 8 Μαρτίου 2021 - 11:31 μ.μ.
Παρουσίαση 23 Φεβρουαρίου Θέμα: Θεωρία κατηγοριών στην ομοτοπι… περισσότερα	Τρίτη 16 Φεβρουαρίου 2021 - 12:40 μ.μ.
Παρουσίαση 19 Φεβρουαρίου Θέμα: Univalence implies functi… περισσότερα	Δευτέρα 15 Φεβρουαρίου 2021 - 12:56 μ.μ.
Παρουσίαση 11 Φεβρουαρίου Θέμα: Διατακτικοί αριθμοί και κ… περισσότερα	Τρίτη 9 Φεβρουαρίου 2021 - 12:31 π.μ.
Παρουσιάσεις 8 Φεβρουαρίου Τήν Δευτέρα 8 Φεβρουαρίου θα γίνουν οι ε… περισσότερα	Σάββατο 6 Φεβρουαρίου 2021 - 10:37 π.μ.
Recordings Οι σχετικοί σύνδεσμοι βρίσκονται σ… περισσότερα	Παρασκευή 27 Νοεμβρίου 2020 - 12:33 π.μ.

Εμφανίζονται 1 έως 7 από 7 συνολικά αποτελέσματα