Title Details: | |
Επιλυσιμότητα και Μη Επιλυσιμότητα |
|
Authors: |
Katsaros, Panagiotis |
Reviewer: |
Stamelos, Ioannis |
Subject: | MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > COMPUTATIONAL SCIENCE |
Keywords: |
Languages
Automata Grammars Computability Computational Complexity |
Description: | |
Abstract: |
1. Η Θέση των Church-Turing
2. Το Πρόβλημα του Τερματισμού 3. Αποφασίσιμα και Μη Αποφασίσιμα Προβλήματα 4. Αναγωγές 5. (Μη) Αποφασίσιμα Προβλήματα για ΜΤ και Γραμματικές 6. Το Θεωρήμα του Rice 7. Μη Αποφασίσιμα Προβλήματα για Προγράμματα 8. Εφαρμογές 9. Κριτήρια αξιολόγησης 10. Βιβλιογραφία - αναφορές |
Linguistic Editors: |
Pappas, Vasileios |
Technical Editors: |
Stachtiari, Emmanouela |
Type: |
Chapter |
Creation Date: | 2015 |
Item Details: | |
License: |
http://creativecommons.org/licenses/by-nc-nd/3.0/gr |
Handle | http://hdl.handle.net/11419/5751 |
Bibliographic Reference: | Katsaros, P. (2015). Επιλυσιμότητα και Μη Επιλυσιμότητα [Chapter]. In Katsaros, P. 2015. Θεωρία υπολογισμού και εφαρμογές [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/5751 |
Language: |
Greek |
Is Part of: |
Θεωρία υπολογισμού και εφαρμογές |
Publication Origin: |
Kallipos, Open Academic Editions |