Εισαγωγή στην Επιστήμη των Υπολογιστών (ΣΗΜΜΥ)
εαρινό εξάμηνο 2015-2016

● Γενικά ● Ανακοινώσεις ● Υλικό μαθήματος ● Βιβλιογραφία ●

Γενικά

Διαλέξεις

  • Δευτέρα 15:15-17:00, αμφιθέατρα 1 και 2.
  • Παρασκευή 15:15-17:00, αμφιθέατρα 1 και 2.

Διδάσκοντες

  • Στάθης Ζάχος, Ομ. Καθηγητής ()
  • Δημήτρης Σούντρης, Αναπλ. Καθηγητής ()
  • Γιώργος Γκούμας, Λέκτορας ()

Υπεύθυνοι ασκήσεων

  • Δώρα Σούλιου, Ε.ΔΙ.Π. (
  • Πέτρος Ποτίκας, Ε.ΔΙ.Π. ()

Βοηθός διδασκαλίας

  • Αντώνης Αντωνόπουλος, Υ.Δ. ()
  • Αγγέλα Χαλκή, Υ.Δ. ()

Ώρες γραφείου

Ανακοινώσεις

Υλικό μαθήματος

Διαφάνειες διαλέξεων

Θα τις βρείτε στην σελίδα του μαθήματος στο mycourses.ntua.gr, μαζί με το πρόγραμμα των διαλέξεων. Οι διαφάνειες ενημερώνονται κατά τη διάρκεια του εξαμήνου. Για παλαιότερες διαφάνειες μπορείτε να ανατρέχετε στη σελίδα του προηγούμενου έτους, αλλά και στην παραπάνω σελίδα.

Ασκήσεις

Βιβλιογραφία για Θεωρητική Επιστήμη Υπολογιστών

  • Στάθης Ζάχος και Άρης Παγουρτζής: "Τα Θεμέλια της Πληροφορικής" (δείγμα εδώ). , Εκδόσεις Τσότρας, 2014.
  • Μ. Sipser: "Introduction to the Theory of Computation", 2nd edition, Course Technology, 2005. Μεταφρασμένη έκδοση: "Εισαγωγή στη Θεωρία Υπολογισμού", Παν. Εκδόσεις Κρήτης, 2007.
  • H.R. Lewis and C.H. Papadimitriou: "Elements of the Theory of Computation", 2nd edition, Prentice Hall, 1997. Μεταφρασμένη έκδοση: "Στοιχεία Θεωρίας Υπολογισμού", Εκδόσεις Κριτική, 2005.
  • Al Aho and Jeff Ullman: "Foundations of Computer Science", W.H.Freeman, 1992, free online.
  • S. Dasgupta, C.H. Papadimitriou, and U.V. Vazirani: "Algorithms", MacGraw-Hill, 2006 (μπορείτε να βρείτε draft έκδοση του βιβλίου αυτού εδώ).
  • D. Harel: "Algorithmics: The Spirit of Computing", Addison-Wesley, Reading, MA, 1st edition, 1987; 2nd edition, 1992. 3rd edition (with Y. Feldman), 2004.
  • D.C. Kozen: "Automata and Computability", Springer, 1997.
  • J.E. Hopcroft, R. Motwani and J.D. Ullman: "Introduction to Automata Theory, Languages and Computation", 3rd edition, Prentice Hall, 2007.
  • H.B. Enderton: "A Mathematical Introduction to Logic", Academic Press, 1st edition, 1972; 2nd edition, 2001.
  • A.V. Aho, J.E. Hopcroft, and J.D. Ullman: "The Design and Analysis of Computer Algorithms", Addison-Wesley Series in Computer Science andInformation Processing, 1974.
  • A. Levitin: "Ανάλυση και Σχεδίαση Αλγορίθμων", Εκδόσεις Τζιόλα, 2007.
  • K. Doets, and J. van Eijck: "The Haskell Road to Logic, Maths and Programming", College Publications, 2004.