Όνομα | Μέγεθος | Ημερομηνία | ||
---|---|---|---|---|
|
2020-11-02.pdf | 508.82 KB | 2/11/20, 10:54 μ.μ. | |
|
2020-11-04.pdf | 374.37 KB | 4/11/20, 4:06 μ.μ. | |
|
2020-11-07.pdf | 537.91 KB | 7/11/20, 10:30 μ.μ. | |
|
2020-11-09.pdf | 545.7 KB | 9/11/20, 1:20 μ.μ. | |
|
2020-11-10.pdf | 549.59 KB | 10/11/20, 1:46 μ.μ. | |
|
2020-11-16.pdf | 579 KB | 16/11/20, 2:12 μ.μ. | |
|
2020-11-28.pdf | 628.41 KB | 28/11/20, 2:28 μ.μ. | |
|
2020-11-29.pdf | 628.11 KB | 29/11/20, 9:41 π.μ. | |
|
2020-12-09.pdf | 660.06 KB | 9/12/20, 3:15 μ.μ. | |
|
2020-12-24.pdf | 683.99 KB | 24/12/20, 1:42 μ.μ. | |
|
2021-01-16.pdf | 711.22 KB | 16/1/21, 9:41 μ.μ. | |
|
2021-01-21.pdf | 718.98 KB | 21/1/21, 6:52 μ.μ. | |
|
Univalence implies function extensionality
Διαφάνειες
|
1005.2 KB | 20/2/21, 12:53 π.μ. | |
|
Διατακτικοί αριθμοί και κλασικές καλές διατάξεις
Διαφάνειες
|
394.45 KB | 14/2/21, 8:28 μ.μ. | |
|
Θεώρημα Diaconescu
Διαφάνειες
|
239.03 KB | 14/2/21, 8:23 μ.μ. | |
|
Θεωρία κατηγοριών στην ομοτοπική θεωρία τύπων
Διαφάνειες
|
84.48 KB | 23/2/21, 2:16 μ.μ. | |
|
Κανονικοποίηση για τη θεωρία τύπων
Διαφάνειες
|
437.12 KB | 16/3/21, 9:01 μ.μ. | |
|
Πληθικοί αριθμοί
Διαφάνειες
|
252.51 KB | 14/2/21, 8:26 μ.μ. |