| Γνωστική Περιοχή: | Ανάλυσης | ||
| Εξάμηνο: | 6ο | ||
| Κωδικός: | 62101 | ||
| Τύπος Μαθήματος: | Επιλογής | ||
| Ώρες Διδασκαλίας: | Θεωρία: 4 | Άσκηση: 0 | Εργαστήριο: 0 |
| ECTS : | 5 | ||
| Ιστοσελίδα Eclass: | |||
| Διδάσκοντες Μαθήματος: | |||
| Περίγραμμα μαθήματος: | Για να δείτε ή να αποθηκεύσετε το αρχείο πατήστε εδώ. | ||
Περιεχόμενο
- Η έννοια της υπολογιστικότητας.
- Στοιχειώδεις αναδρομικές συναρτήσεις.
- Αναδρομικές συναρτήσεις.
- Η θέση του Church.
- Η κατά Gödel αρίθμηση του συντακτικού μιας πρωτοβάθμιας γλώσσας.
- Αναπαραστασιμότητα.
- Θεώρημα μη–πληρότητας.
Βιβλιογραφία
- M. Sipser, Εισαγωγή στην Θεωρία Υπολογισμού, ΙΤΕ, Παν. Εκδ. Κρήτης, 2009. Κωδικός βιβλίου στον Εύδοξο: 257
- H. R. Lewis, Χ. Παπαδημητρίου, Στοιχεία Θεωρίας Υπολογισμού, Εκδ. Κριτική, 2005. Κωδικός βιβλίου στον Εύδοξο: 11776
Πρόσθετο Διδακτικό Υλικό
- Γ. Ν. Μοσχοβάκης, Αναδρομή και Υπολογισιμότητα.
