Το βιβλίο [. . .] μια μαθηματικά ακριβής εισαγωγή στην κλασική και σύγχρονη θεωρία του υπολογισμού, [. . .] προσφέρει βαθιά γνώση σχετικά με τα θεμελιώδη παραδείγματα της επιστήμης των υπολογιστών. [. . .] Όλα τα θέματα εξετάζονται από την μοντέρνα αλγοριθμική σκοπιά, έχουν προστεθεί ενότητες για συντακτική ανάλυση και ο συμβολισμός της μηχανής Turing εισάγεται λιγότερο αυστηρά. [. . .] Ο συγγραφέας του βιβλίου, Χρίστος Παπαδημητρίου, σχολιάζει στον πρόλογό του στην ελληνική μετάφραση του βιβλίου: «Θεωρία αυτομάτων στην εποχή του Ίντερνετ; . . .Ναι, γιατί όσο πιο ψηλά συσσωρεύονται οι επιτυχίες της επιστήμης μας, τόσο αυξάνει η σημασία των θεμελίων της»

Περιεχόμενα
ΠΡΟΛΟΓΟΣ ΣΤΗΝ ΕΛΛΗΝΙΚΗ ΕΚΔΟΣΗ
ΠΡΟΛΟΓΟΣ ΣΤΗΝ ΠΡΩΤΗ ΕΚΔΟΣΗ
ΠΡΟΛΟΓΟΣ ΣΤΗ ΔΕΥΤΕΡΗ ΕΚΔΟΣΗ
ΕΙΣΑΓΩΓΗ
ΚΕΦΑΛΑΙΟ 1: ΣΥΝΟΛΑ, ΣΧΕΣΕΙΣ ΚΑΙ ΓΛΩΣΣΕΣ
ΚΕΦΑΛΑΙΟ 2: ΠΕΠΕΡΑΣΜΕΝΑ ΑΥΤΟΜΑΤΑ
ΚΕΦΑΛΑΙΟ 3: ΓΛΩΣΣΕΣ ΧΩΡΙΣ ΣΥΜΦΡΑΖΟΜΕΝΑ
ΚΕΦΑΛΑΙΟ 4: ΜΗΧΑΝΕΣ TURING
ΚΕΦΑΛΑΙΟ 5: ΜΗ ΕΠΙΛΥΣΙΜΟΤΗΤΑ
ΚΕΦΑΛΑΙΟ 6: ΥΠΟΛΟΓΙΣΤΙΚΗ ΠΟΛΥΠΛΟΚΟΤΗΤΑ
ΚΕΦΑΛΑΙΟ 7: ΝΡ - ΠΛΗΡΟΤΗΤΑ
ΕΛΛΗΝΟΑΓΓΓΛΙΚΟ ΓΛΩΣΣΑΡΙ
ΑΓΓΛΟΕΛΛΗΝΙΚΟ ΓΛΩΣΣΑΡΙ
ΕΥΡΕΤΗΡΙΟ ΟΝΟΜΑΤΩΝ
ΕΥΡΕΤΗΡΙΟ ΟΡΩΝ

Υπολογιστική [DDC: 515]