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

Please use this identifier to cite or link to this item: http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/18236

Full metadata record

DC Field	Value	Language
dc.contributor.author	Μαγκαφώσης, Γιώργος	-
dc.date.accessioned	2022-02-28T10:35:04Z	-
dc.date.available	2022-02-28T10:35:04Z	-
dc.date.issued	2021-12-30	-
dc.identifier.uri	http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/18236	-
dc.description.abstract	Σκοπός της παρούσας εργασίας είναι αφενός η συνοπτική περιγραφή των κύριων σημείων της Ομοτοπικής Θεωρίας Τύπων και αφετέρου η χρήση της για την απόδειξη ενός θεωρήματος της κλασικής Ομοτοπικής Θεωρίας στο νέο πλαίσιο που εισάγει.	en_US
dc.language	el	en_US
dc.subject	Ομοτοπική Θεωρία Τύπων	en_US
dc.subject	Intentional Θεωρία Τύπων	en_US
dc.subject	Συναρτησιακός Προγραμματισμός	en_US
dc.subject	Θεωρία Ομάδων	en_US
dc.subject	Θεμελιώδης Ομάδα	en_US
dc.subject	Ελεύθερη Ομάδα	en_US
dc.title	Ομοτοπική Θεωρία Τύπων και η Θεμελιώδης Ομάδα ενός Bouquet από Κύκλους	en_US
dc.description.pages	63	en_US
dc.contributor.supervisor	Παπασπύρου Νικόλαος	en_US
dc.department	Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών	en_US
Appears in Collections:	Διπλωματικές Εργασίες - Theses

Files in This Item:

File	Description	Size	Format
thesis.pdf		423.92 kB	Adobe PDF	View/Open