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

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

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

Έγγραφα

Αρχικός κατάλογος

Μαζική Επεξεργασία

Ακύρωση

	Όνομα	Μέγεθος	Ημερομηνία
	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 μ.μ.