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

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

Γενικά

Διαλέξεις

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

Διδάσκοντες

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

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

  • Πέτρος Ποτίκας, Ε.ΔΙ.Π. ()

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

  • Αντώνης Αντωνόπουλος, Υ.Δ. ()

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

Κάθε Τετάρτη 11:00-13:00, γραφείο κ. Ποτίκα, Κτ. Ηλεκτρολόγων, αιθ. 1.1.30 και Παρασκευή 12:30-14:00, στο Corelab (Κτ. Ηλεκτρολόγων, αίθ. 1.1.3) ή στο γραφείο του Α. Παγουρτζή (1.1.4).

Ενημερωτικό φυλλάδιο

Περισσότερες πληροφορίες θα βρείτε στο ενημερωτικό φυλλάδιο του μαθήματος.

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

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

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

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

Ασκήσεις

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

  • Μ. 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.
  • Στάθης Ζάχος και Άρης Παγουρτζής: "Τα Θεμέλια της Πληροφορικής" (δείγμα εδώ). , Εκδόσεις Τσότρας, 2014.
  • 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.