TY - BOOK AU - Lewis,Harry R. AU - Παπαδημητρίου,Χρίστος Χ. AU - Αντωνιάδης, Παναγιώτης TI - Στοιχεία θεωρίας υπολογισμού T2 - Επιστημονική βιβλιοθήκη SN - 9789602183977 PY - 2005/// CY - Αθήνα PB - Κριτική KW - Πληροφορική KW - Λογική, Συμβολική και μαθηματική KW - Υπολογιστική πολυπλοκότητα N1 - Ευρετήριο: σ. 494-503; Τίτλος πρωτοτύπου: Elements of the theory of computation N2 - Το βιβλίο αποτελεί μια εισαγωγή στην κλασική και σύγχρονη θεωρία υπολογισμού, προορισμένη για προπτυχιακό στάδιο. Τα θέματα που καλύπτονται είναι η θεωρία των αυτομάτων και των τυπικών γλωσσών, η υπολογισιμότητα από μηχανές Turing και αναδρομικές συναρτήσεις, η μη υπολογισιμότητα, η υπολογιστική πολυπλοκότητα και η μαθηματική λογική. Η αντιμετώπιση είναι μαθηματική αλλά η θεώρηση γίνεται με την οπτική της επιστήμης των υπολογιστών ER -