Εισαγωγή στη θεωρία υπολογισμού /
Sipser, Michael
Εισαγωγή στη θεωρία υπολογισμού / Michael Sipser ; επιστημονική επιμέλεια, Γεώργιος Φρ. Γεωργακόπουλος ; απόδοση στα Ελληνικά, Χρήστος Καπούτσης. - Ηράκλειο : Πανεπιστημιακές Εκδόσεις Κρήτης, 2007. - xxv, 531 σ. : εικ. ; 25 εκ. - Πανεπιστημιακή βιβλιοθήκη θετικών επιστημών. Επιστήμη υπολογιστών .
Μετάφραση του: Introduction to the theory of computation.
Περιέχει βιβλιογραφία (σ. 497-516) και ευρετήριο.
Η ανανεωμένη αυτή έκδοση του επιτυχημένου εγχειριδίου του Michael Sipser αφηγείται τη γοητευτική ιστορία της θεωρίας υπολογισμού – ενός γνωστικού αντικειμένου που περιλαμβάνει κομψά συμπεράσματα και συναρπαστικά αναπάντητα ερωτήματα στο σταυροδρόμι των μαθηματικών και της επιστήμης υπολογιστών. Το άμεσο, διαυγές ύφος του Sipser επιτρέπει στους σπουδαστές οποιουδήποτε επιπέδου να κατανοήσουν και να απολαύσουν αυτό το γνωστικό πεδίο. Οι πρωτοποριακές ενότητες των «αποδεικτικών ιδεών» αποκαλύπτουν σε διαισθητικό επίπεδο τις ιδέες στις οποίες βασίζονται οι τυπικές αποδείξεις των θεωρημάτων, επεξηγώντας τις θεμελιώδεις έννοιες σε καθομιλουμένη γλώσσα. Η νέα έκδοση έχει βελτιωθεί ποικιλοτρόπως με βάση τις υποδείξεις σπουδαστών και διδασκόντων επί σειρά ετών, και περιλαμβάνει πλήρως αναθεωρημένες και δοκιμασμένες στη διδασκαλία ομάδες προβλημάτων, με ενδεικτικές λύσεις στο τέλος κάθε κεφαλαίου.
9789605242435
Computational complexity.
Machine theory
Πληροφορική
Εισαγωγή στη θεωρία υπολογισμού / Michael Sipser ; επιστημονική επιμέλεια, Γεώργιος Φρ. Γεωργακόπουλος ; απόδοση στα Ελληνικά, Χρήστος Καπούτσης. - Ηράκλειο : Πανεπιστημιακές Εκδόσεις Κρήτης, 2007. - xxv, 531 σ. : εικ. ; 25 εκ. - Πανεπιστημιακή βιβλιοθήκη θετικών επιστημών. Επιστήμη υπολογιστών .
Μετάφραση του: Introduction to the theory of computation.
Περιέχει βιβλιογραφία (σ. 497-516) και ευρετήριο.
Η ανανεωμένη αυτή έκδοση του επιτυχημένου εγχειριδίου του Michael Sipser αφηγείται τη γοητευτική ιστορία της θεωρίας υπολογισμού – ενός γνωστικού αντικειμένου που περιλαμβάνει κομψά συμπεράσματα και συναρπαστικά αναπάντητα ερωτήματα στο σταυροδρόμι των μαθηματικών και της επιστήμης υπολογιστών. Το άμεσο, διαυγές ύφος του Sipser επιτρέπει στους σπουδαστές οποιουδήποτε επιπέδου να κατανοήσουν και να απολαύσουν αυτό το γνωστικό πεδίο. Οι πρωτοποριακές ενότητες των «αποδεικτικών ιδεών» αποκαλύπτουν σε διαισθητικό επίπεδο τις ιδέες στις οποίες βασίζονται οι τυπικές αποδείξεις των θεωρημάτων, επεξηγώντας τις θεμελιώδεις έννοιες σε καθομιλουμένη γλώσσα. Η νέα έκδοση έχει βελτιωθεί ποικιλοτρόπως με βάση τις υποδείξεις σπουδαστών και διδασκόντων επί σειρά ετών, και περιλαμβάνει πλήρως αναθεωρημένες και δοκιμασμένες στη διδασκαλία ομάδες προβλημάτων, με ενδεικτικές λύσεις στο τέλος κάθε κεφαλαίου.
9789605242435
Computational complexity.
Machine theory
Πληροφορική