Εθνικό Μετσόβιο Πολυτεχνείο
Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Καλώς ήρθατε στο Άρτεμις
Σκοπός του Άρτεμις είναι η συστηματική αρχειοθέτηση και διαδοση της πνευματικής παραγωγής της Σχολής Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών του Εθνικού Μετσόβιου Πολυτεχνείου, με τη βοήθεια της τεχνολογίας των ψηφιακών βιβλιοθηκών.
Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/18236| Τίτλος: | Ομοτοπική Θεωρία Τύπων και η Θεμελιώδης Ομάδα ενός Bouquet από Κύκλους |
| Συγγραφείς: | Μαγκαφώσης, Γιώργος Παπασπύρου Νικόλαος |
| Λέξεις κλειδιά: | Ομοτοπική Θεωρία Τύπων Intentional Θεωρία Τύπων Συναρτησιακός Προγραμματισμός Θεωρία Ομάδων Θεμελιώδης Ομάδα Ελεύθερη Ομάδα |
| Ημερομηνία έκδοσης: | 30-Δεκ-2021 |
| Περίληψη: | Σκοπός της παρούσας εργασίας είναι αφενός η συνοπτική περιγραφή των κύριων σημείων της Ομοτοπικής Θεωρίας Τύπων και αφετέρου η χρήση της για την απόδειξη ενός θεωρήματος της κλασικής Ομοτοπικής Θεωρίας στο νέο πλαίσιο που εισάγει. |
| URI: | http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/18236 |
| Εμφανίζεται στις συλλογές: | Διπλωματικές Εργασίες - Theses |
Αρχεία σε αυτό το τεκμήριο:
| Αρχείο | Περιγραφή | Μέγεθος | Μορφότυπος | |
|---|---|---|---|---|
| thesis.pdf | 423.92 kB | Adobe PDF | Εμφάνιση/Άνοιγμα |
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.