Μάθημα : Ειδικά Θέματα Λογικής: Θεωρία Τύπων τού Martin-Löf
Κωδικός : DI553
| Γενικά πολυμεσικά αρχεία | Ημερομηνία | |
|---|---|---|
| 2020-11-11 Δημιουργός: Νικόλαος Ρήγας Password: hPUFBn3J |
19/11/20 | |
| 2020-11-20 Δημιουργός: Νικόλαος Ρήγας Password: JqfmCgx6 |
21/11/20 | |
| 2020-11-24 Δημιουργός: Νικόλαος Ρήγας Password: mW7QjMNW |
27/11/20 | |
| 2020-11-25 Δημιουργός: Νικόλαος Ρήγας Password: nH3StHPx |
27/11/20 | |
| 2020-12-02 Δημιουργός: Νικόλαος Ρήγας Password: rRc9PXfp |
5/12/20 | |
| 2020-12-08 Δημιουργός: Νικόλαος Ρήγας Password: pCAUDc7s |
10/12/20 | |
| 2020-12-09 Δημιουργός: Νικόλαος Ρήγας Password: 2qHRuXSk |
10/12/20 | |
| 2020-12-15 Δημιουργός: Νικόλαος Ρήγας Password: 6fXWGWK2 |
17/12/20 | |
| 2020-12-16 Δημιουργός: Νικόλαος Ρήγας Password: kFapV43m |
17/12/20 | |
| 2021-01-12 Δημιουργός: Νικόλαος Ρήγας Password: KebPppb3 |
13/1/21 | |
| 2021-01-13_1 Δημιουργός: Νικόλαος Ρήγας Password: Wqt3JBeS |
15/1/21 | |
| 2021-01-13_2 Δημιουργός: Νικόλαος Ρήγας Password: 3SmJMdpi |
15/1/21 | |
| 2021-01-19 Δημιουργός: Νικόλαος Ρήγας Password: VwUeG2CP |
22/1/21 | |
| Univalence implies function extensionality | 20/2/21 | |
| Διατακτικοί αριθμοί και κλασικές καλές διατάξεις | 14/2/21 | |
| Η συσσωρευτική ιεραρχία στην ομοτοπική θεωρία τύπων | 15/3/21 | |
| Θεωρία κατηγοριών στην ομοτοπική θεωρία τύπων | 27/2/21 | |
| Κανονικοποίηση για τη θεωρία τύπων | 18/3/21 |