Sipser Michael
Ο Michael Sipser διδάσκει τα τελευταία 32 χρόνια θεωρητική επιστήμη υπολογιστών και άλλα αντικείμενα των μαθηματικών στο Massachusetts Institute of Technology (ΜΙΤ), όπου είναι καθηγητής Εφαρμοσμένων Μαθηματικών και μέλος του Εργαστηρίου Επιστήμης Υπολογιστών και Τεχνητής Νοημοσύνης (CSAIL). Στην παρούσα φάση, είναι επικεφαλής του Τμήματος Μαθηματικών.
Εισαγωγή στη θεωρία υπολογισμού
Sipser Michael
Πανεπιστημιακές Εκδόσεις Κρήτης (2020)
Η ανανεωμένη αυτή έκδοση του επιτυχημένου εγχειριδίου του Michael Sipser αφηγείται τη γοητευτική ιστορία της θεωρίας υπολογισμού - ενός γνωστικού αντικειμένου που περιλαμβάνει κομψά συμπεράσματα και συναρπαστικά αναπάντητα ερωτήματα στο σταυροδρόμι των μαθηματικών και της επιστήμης υπολογιστών. Το άμεσο, διαυγές ύφος του Sipser επιτρέπει στους σπουδαστές οποιουδήποτε επιπέδου να κατανοήσουν και να απολαύσουν αυτό το γνωστικό πεδίο. Οι πρωτοποριακές ενότητες των «αποδεικτικών ιδεών» αποκαλύπτουν σε διαισθητικό επίπεδο τις ιδέες στις οποίες βασίζονται οι τυπικές αποδείξεις τω...
Εισαγωγή στη θεωρία υπολογισμού
Sipser Michael
Πανεπιστημιακές Εκδόσεις Κρήτης (2007)
Η αναθεωρημένη αυτή έκδοση του επιτυχημένου εγχειριδίου του Michael Sipser αφηγείται τη γοητευτική ιστορία της θεωρίας υπολογισμού -ενός γνωστικού αντικειμένου που περιλαμβάνει κομψά συμπεράσματα και συναρπαστικά αναπάντητα ερωτήματα στο σταυροδρόμι των μαθηματικών και της επιστήμης υπολογιστών. Το άμεσο, διαυγές ύφος του Sipser επιτρέπει στους σπουδαστές οποιουδήποτε επιπέδου να κατανοήσουν και να απολαύσουν αυτό το γνωστικό πεδίο. Οι πρωτοποριακές ενότητες των "αποδεικτικών ιδεών" αποκαλύπτουν σε διαισθητικό επίπεδο τις ιδέες στις οποίες βασίζονται οι τυπικές αποδείξεις τ...