dc.contributor.author |
Βέργου, Θεοδώρα
|
el |
dc.contributor.author |
Vergou, Theodora
|
en |
dc.date.accessioned |
2017-11-27T12:09:57Z |
|
dc.date.available |
2017-11-27T12:09:57Z |
|
dc.date.issued |
2017-11-27 |
|
dc.identifier.uri |
https://dspace.lib.ntua.gr/xmlui/handle/123456789/45971 |
|
dc.identifier.uri |
http://dx.doi.org/10.26240/heal.ntua.14954 |
|
dc.rights |
Default License |
|
dc.subject |
Πρόβλημα τερματισμού |
el |
dc.subject |
Kανονικές μορφές |
el |
dc.subject |
Θεώρημα Κανονικής Μορφής (Kleene) |
el |
dc.subject |
Halting problem |
en |
dc.subject |
Normal form |
en |
dc.subject |
Recursion |
en |
dc.subject |
Kleene's Normal Form Theorem |
en |
dc.subject |
|
|
dc.subject |
|
|
dc.title |
Το Θεώρημα Κανονικής Μορφής και Απαρίθμησης (Kleene) και το Πρόβλημα Τερματισμού (Turing) |
el |
heal.type |
bachelorThesis |
|
heal.classification |
ΘΕΩΡΙΑ ΑΠΟΔΕΙΞΕΩΝ ΚΑΙ ΚΑΤΑΣΚΕΥΑΣΤΙΚΑ ΜΑΘΗΜΑΤΙΚΑ |
el |
heal.classificationURI |
http://data.seab.gr/concepts/b325dad6e19906442b1a3e9b23251c0f9c1a17d4 |
|
heal.language |
el |
|
heal.access |
free |
|
heal.recordProvider |
ntua |
el |
heal.publicationDate |
2017-10-02 |
|
heal.abstract |
Παρουσιάζεται το Θεώρημα Κανονικής Μορφής του Kleene, με το μαθηματικό του υπόβαθρο και το Πρόβλημα Τερματισμού του Turing ως εφαρμογή του. |
el |
heal.advisorName |
Αρβανιτάκης, Αλέξανδρος |
el |
heal.committeeMemberName |
Αρβανιτάκης, Αλέξανδρος |
el |
heal.committeeMemberName |
Χαραλαμπόπουλος, Αντώνιος |
el |
heal.committeeMemberName |
Στεφανέας, Πέτρος |
el |
heal.academicPublisher |
Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών |
el |
heal.academicPublisherID |
ntua |
|
heal.numberOfPages |
45 σ. |
el |
heal.fullTextAvailability |
true |
|