000			03130nam a22003137a 4500
003			GR-AtMCL
005			20250804132515.0
006			a|||||r|||||||||||
008			250804b ||||| |||| 00| 0 eng d
020			_a9789605242435
040			_aGR-AtMCL _bgre _dGR-AtMCL _eAACR2
041	1		_heng
100			_aSipser, Michael _99921
240	1	0	_aIntroduction to the theory of computation. _lGreek.
245	1	0	_aΕισαγωγή στη θεωρία υπολογισμού / _cMichael Sipser ; επιστημονική επιμέλεια, Γεώργιος Φρ. Γεωργακόπουλος ; απόδοση στα Ελληνικά, Χρήστος Καπούτσης.
260			_aΗράκλειο : _bΠανεπιστημιακές Εκδόσεις Κρήτης, _c2007.
300			_axxv, 531 σ. : _bεικ. ; _c25 εκ.
490	0		_aΠανεπιστημιακή βιβλιοθήκη θετικών επιστημών. Επιστήμη υπολογιστών
500			_aΜετάφραση του: Introduction to the theory of computation.
504			_aΠεριέχει βιβλιογραφία (σ. 497-516) και ευρετήριο.
520			_aΗ ανανεωμένη αυτή έκδοση του επιτυχημένου εγχειριδίου του Michael Sipser αφηγείται τη γοητευτική ιστορία της θεωρίας υπολογισμού – ενός γνωστικού αντικειμένου που περιλαμβάνει κομψά συμπεράσματα και συναρπαστικά αναπάντητα ερωτήματα στο σταυροδρόμι των μαθηματικών και της επιστήμης υπολογιστών. Το άμεσο, διαυγές ύφος του Sipser επιτρέπει στους σπουδαστές οποιουδήποτε επιπέδου να κατανοήσουν και να απολαύσουν αυτό το γνωστικό πεδίο. Οι πρωτοποριακές ενότητες των «αποδεικτικών ιδεών» αποκαλύπτουν σε διαισθητικό επίπεδο τις ιδέες στις οποίες βασίζονται οι τυπικές αποδείξεις των θεωρημάτων, επεξηγώντας τις θεμελιώδεις έννοιες σε καθομιλουμένη γλώσσα. Η νέα έκδοση έχει βελτιωθεί ποικιλοτρόπως με βάση τις υποδείξεις σπουδαστών και διδασκόντων επί σειρά ετών, και περιλαμβάνει πλήρως αναθεωρημένες και δοκιμασμένες στη διδασκαλία ομάδες προβλημάτων, με ενδεικτικές λύσεις στο τέλος κάθε κεφαλαίου.
650		0	_aComputational complexity.
650		0	_aMachine theory _99923
650		0	_aΠληροφορική _99850
700			_aΓεωργακόπουλος, Γεώργιος _4340 _99890
700			_aΚαπούτσης, Χρήστος _4730 _99922
942			_cBK
999			_c9860 _d9860