Θεμελιώδη Θέματα Επιστήμης Υπολογιστών
χειμερινό εξάμηνο 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.

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

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

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