Lewis, Harry R. <br/><br/>
Στοιχεία θεωρίας υπολογισμού / 
Harry R. Lewis, Χρίστος Χ. Παπαδημητρίου ; μετάφραση Παναγιώτης Αντωνιάδης ; επιστημονική επιμέλεια Μάρθα Σιδέρη 
 - Αθήνα :  Κριτική,  2005 
 - 503σ. ;  24εκ. 
 - Επιστημονική βιβλιοθήκη .
 - Επιστημονική βιβλιοθήκη (Κριτική) .
<br/><br/> Ευρετήριο: σ. 494-503  Τίτλος πρωτοτύπου: Elements of the theory of computation 
<br/><br/> Το βιβλίο αποτελεί μια εισαγωγή στην κλασική και σύγχρονη θεωρία υπολογισμού, προορισμένη για προπτυχιακό στάδιο. Τα θέματα που καλύπτονται είναι η θεωρία των αυτομάτων και των τυπικών γλωσσών, η υπολογισιμότητα από μηχανές Turing και αναδρομικές συναρτήσεις, η μη υπολογισιμότητα, η υπολογιστική πολυπλοκότητα και η μαθηματική λογική. Η αντιμετώπιση είναι μαθηματική αλλά η θεώρηση γίνεται με την οπτική της επιστήμης των υπολογιστών. 
<br/><br/><label>ISBN: </label>9789602183977 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Πληροφορική<br/>Λογική, Συμβολική και μαθηματική<br/>Υπολογιστική πολυπλοκότητα