Στοιχεία θεωρίας υπολογισμού

Εκδόσεις Κριτική



Αυτή είναι η δεύτερη έκδοση του βιβλίου των Lewis και Παπαδημητρίου για τη θεωρία του υπολογισμού. Η πρώτη έκδοση είχε τεράστια εμπορική επιτυχία, υιοθετήθηκε από πολλά πανεπιστήμια των ΗΠΑ και μεταφράστηκε σε πολλές γλώσσες.

Στην σημαντικά τροποποιημένη αυτή έκδοση οι συγγραφείς έχουν βελτιώσει την παρουσίαση, κάνοντας το υλικό πιο προσιτό σ' ένα ευρύτερο ακροατήριο προπτυχιακών φοιτητών χωρίς ειδικές μαθηματικές γνώσεις και εμπειρία. Παράλληλα, το βιβλίο παραμένει μία μαθηματικά ακριβής εισαγωγή στην κλασική και σύγχρονη θεωρία του υπολογισμού και προσφέρει βαθιά γνώση σχετικά με τα θεμελιώδη παραδείγματα της επιστήμης των υπολογιστών. Στην έκδοση αυτή, όλα τα θέματα εξετάζονται από την μοντέρνα αλγοριθμική σκοπιά, έχουν προστεθεί ενότητες για συντακτική ανάλυση και ο συμβολισμός της μηχανής Turing εισάγεται λιγότερο αυστηρά. Μία εντελώς καινούργια και παιδαγωγικά ελκυστική συλλογή αναγωγών ΝΡ-πληρότητας παρουσιάζεται σε ξεχωριστό κεφάλαιο.

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