Topic outline

  • General

    Χειμερινό Εξάμηνο 2020-21



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

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


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

    Δευτέρα 12:45-14:30 (θεωρία)
    Πέμπτη 12:45-14:30 (θεωρία)

    Σύνδεσμος μαθήματος: 


    https://centralntua.webex.com/centralntua/j.php?MTID=ma804b3ea9a5d24140766850d06d04bb3


    Θεωρία: αίθουσα 1.1.3 Παλ. Κτ. Ηλεκ/γων


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

    Βοηθοί διδασκαλίας
    • Αγγελική Χαλκή, Υ.Δ.

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

    Π. Ποτίκας, e-mail 

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

    Η σελίδα του μαθήματος έχει μεταφερθεί. Δείτε τη νέα ιστοσελίδα του μαθήματος στον ιστότοπο 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.
      • Υλικό μαθήματος

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

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