Θεμελιώδη Θέματα Επιστήμης Υπολογιστών
χειμερινό εξάμηνο 2017-2018

Εισαγωγή σε Αλγόριθμους, Πολυπλοκότητα, Υπολογισιμότητα, Μοντέλα Προγραμματισμού, Προγραμματιστικές Τεχνικές

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

Γενικά

Το μάθημα προσφέρεται στο πρόγραμμα της Σχολής Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών ΕΜΠ, στο 5ο εξάμηνο.

Ώρες Μαθήματος

Δευτέρα 12:45-14:30 (θεωρία)
Πέμπτη 12:45-14:30 (θεωρία)
Δευτέρα 15:00-16:00 (εργαστήριο)

  • Θεωρία: αίθουσα 1.1.29 Παλ. Κτ. Ηλεκ/γων
  • Εργαστήριο: συνεννόηση με διδάσκοντες

Διδάσκοντες

  • Στάθης Ζάχος, Καθηγητής ()
  • Άρης Παγουρτζής, Αναπλ. Καθηγητής (επικουρικά)
  • Πέτρος Ποτίκας, Ε.ΔΙ.Π. ()

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

  • Αντώνης Αντωνόπουλος, Υ.Δ.
  • Αγγελική Χαλκή, Υ.Δ.
  • Ναταλία Κωτσάνη, Υ.Δ.

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

Π. Ποτίκας, Πέμπτη 14:30-15:30, στο Corelab (Παλαιό Κτήριο Ηλεκτρολόγων, 1ος όροφος, αίθ. 1.1.30).

Νέα ιστοσελίδα μαθήματος

Η σελίδα του μαθήματος έχει μεταφερθεί. Δείτε τη νέα ιστοσελίδα του μαθήματος στον ιστότοπο mycourses.ntua.gr

Βιβλιογραφία

  • Ε. Ζάχος, Α. Παγουρτζής.Τα Θεμέλια της Πληροφορικής, Εκδόσεις Τσότρας, 2014.
  • Μ. Sipser. Introduction to the Theory of Computation. Course Technology, 2005.
    Κυκλοφορεί μεταφρασμένο στα Ελληνικά από τις Πανεπιστημιακές Εκδόσεις Κρήτης.
  • H. Lewis and Ch. Papadimitriou. Elements of the Theory of Computation (2nd edition). Prentice-Hall, 1998.
    Κυκλοφορεί μεταφρασμένο στα Ελληνικά από τις εκδόσεις Κριτική.
  • S. Dasgupta, C.H. Papadimitriou, and U.V. Vazirani. Algorithms, MacGraw-Hill, 2006 (μπορείτε να βρείτε draft έκδοση του βιβλίου αυτού με αναζήτηση στο internet).
  • Martin Davis. Μηχανές της Λογικής: Οι Μαθηματικοί και οι Απαρχές του Υπολογιστή.
    Τίτλος πρωτοτύπου: Engines of Logic: Mathematicians and the Origin of the Computer
  • Ε. Ζάχος, Α. Παγουρτζής. Θεμελιώδη Θέματα Επιστήμης Υπολογιστών, Σημειώσεις, ΕΜΠ, 2015.
  • K. Doets, and J. van Eijck: The Haskell Road to Logic, Maths and Programming, College Publications, 2004.

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

Διαφάνειες παραδόσεων και ασκήσεις

Συμπληρωματικό υλικό