Section outline

  • Χειμερινό Εξάμηνο 2022-23

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

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


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

    Δευτέρα 12:45-14:30 (θεωρία), Αιθ. 1.1.29, παλ. κτ. ΗΜΜΥ
    Πέμπτη 12:45-14:30 (θεωρία), Αιθ. 1.1.29, παλ. κτ. ΗΜΜΥ

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


    Διδάσκων

      Βοηθοί διδασκαλίας
      • Μαριάννα Σπυράκου, Υ.Δ.
      • Γιάννης Βρεττός, Υ.Δ.

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

      • Ε. Ζάχος, Α. Παγουρτζής.Τα Θεμέλια της Πληροφορικής, Εκδόσεις Τσότρας, 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.
      Διαφάνειες παραδόσεων

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