Περιγραφή : Το βιβλίο αποτελεί μια εισαγωγή στην κλασική και σύγχρονη θεωρία υπολογισμού, προορισμένη για προπτυχιακό στάδιο. Τα θέματα που καλύπτονται είναι η θεωρία των αυτομάτων και των τυπικών γλωσσών, η υπολογισιμότητα από μηχανές Turing και αναδρομικές συναρτήσεις, η μη υπολογισιμότητα, η υπολογιστική πολυπλοκότητα και η μαθηματική λογική. Η αντιμετώπιση είναι μαθηματική αλλά η θεώρηση γίνεται με την οπτική της επιστήμης των υπολογιστών.
Εμφανίσεις : 487
Αξιολόγηση βιβλίου :
Βαθμολογία:
Το βιβλίο δεν έχει βαθμολογηθεί ακόμα.
Κατηγορίες:
1076
Βιβλία :
151391
