Ομοτοπική Θεωρία Τύπων και η Θεμελιώδης Ομάδα ενός Bouquet από Κύκλους

Μαγκαφώσης, Γιώργος; Magafossis, George

dc.contributor.author	Μαγκαφώσης, Γιώργος	el
dc.contributor.author	Magafossis, George	en
dc.date.accessioned	2022-03-08T14:16:36Z
dc.date.available	2022-03-08T14:16:36Z
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/54940
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.22638
dc.rights	Default License
dc.subject	Ομοτοπική Θεωρία Τύπων	el
dc.subject	Intentional Θεωρία Τύπων	en
dc.subject	Θεμελιώδης Ομάδα	el
dc.subject	Ελεύθερη Ομάδα	el
dc.subject	Συναρτησιακός Προγραμματισμός	el
dc.subject	Homotopy Type Theory	el
dc.subject	Intentional Type Theory	en
dc.subject	Functional Programming	en
dc.subject	Group Theory	en
dc.subject	Funda mental Group	en
dc.subject	Free Group	en
dc.title	Ομοτοπική Θεωρία Τύπων και η Θεμελιώδης Ομάδα ενός Bouquet από Κύκλους	el
dc.title	Homotopy Type Theory and the Fundamental Group of a Bouquet of Circles	el
dc.contributor.department	Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών	el
heal.type	bachelorThesis
heal.classification	Θεωρία Τύπων	el
heal.classification	Type Theory	en
heal.language	el
heal.language	en
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2021-12-30
heal.abstract	Σκοπός της παρούσας εργασίας είναι αφενός η συνοπτική περιγραφή των κύριων σημείων της Ομοτοπικής Θεωρίας Τύπων και αφετέρου η χρήση της για την απόδειξη ενός θεωρήματος της κλασικής Ομοτοπικής Θεωρίας στο νέο πλαίσιο που εισάγει.	el
heal.abstract	The purpose of this diploma dissertation is on one hand a brief presentation of the main features of Homotopy Type Theory and on the other hand to prove a theorem of classical Homotopy Theory inside HoTT.	en
heal.advisorName	Παπασπύρου, Νικόλαος	el
heal.advisorName	Papaspyrou, Nikolaos	el
heal.committeeMemberName	Παπασπύρου, Νικόλαος	el
heal.committeeMemberName	Papaspyrou, Nikolaos	en
heal.committeeMemberName	Παγουρτζής, Αριστείδης	el
heal.committeeMemberName	Pagourtzis, Aris	en
heal.committeeMemberName	Φωτάκης, Δημήτριος	el
heal.committeeMemberName	Fotakis, Dimitris	en
heal.academicPublisher	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών	el
heal.academicPublisherID	ntua
heal.numberOfPages	63 σ.	el
heal.fullTextAvailability	false