dc.contributor.author | Κατσάνος, Αθανάσιος | el |
dc.contributor.author | Katsanos, Athanasios | en |
dc.date.accessioned | 2015-08-26T09:17:18Z | |
dc.date.available | 2015-08-26T09:17:18Z | |
dc.date.issued | 2015-08-26 | |
dc.identifier.uri | https://dspace.lib.ntua.gr/xmlui/handle/123456789/41106 | |
dc.identifier.uri | http://dx.doi.org/10.26240/heal.ntua.11355 | |
dc.rights | Default License | |
dc.subject | Αναδρομή | el |
dc.subject | Μη-πληρότητα | el |
dc.subject | Θεωρία υπολογισμου | el |
dc.subject | Godel | en |
dc.subject | Recursion | en |
dc.subject | Λογική | el |
dc.subject | Turing | en |
dc.subject | Kleene | el |
dc.subject | Μη-αποκρίσιμα σύνολα | el |
dc.subject | Recursive theory | el |
dc.title | Θεωρία Αναδρομής - Το Θεώρημα μη-πληρότητας του Godel | el |
heal.type | bachelorThesis | |
heal.classification | Μαθηματικά | el |
heal.language | el | |
heal.access | free | |
heal.recordProvider | ntua | el |
heal.publicationDate | 2015-03-17 | |
heal.abstract | Το Θεώρημα μη-πληρότητας με την χρήση θεωρίας αναδρομής | el |
heal.advisorName | Αρβανιτάκης, Αλέξανδρος | el |
heal.committeeMemberName | Στεφανέας, Πέτρος | el |
heal.committeeMemberName | Ψαρράκος, Παναγιώτης | el |
heal.academicPublisher | Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών | el |
heal.academicPublisherID | ntua | |
heal.numberOfPages | 70 σ. | |
heal.fullTextAvailability | true |