Topic outline

  • Γενικά

    Η σελίδα του μαθήματος βρίσκεται στο 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.