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