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