Περιγραφή θέματος

• Γενικά
  

  Γενικά

  Χειμερινό Εξάμηνο 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.
• Υλικό μαθήματος
  

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

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

  Οι διαφάνειες καθώς και οι ασκήσεις και το υπόλοιπο υλικό αναρτώνται στη νέα ιστοσελίδα του μαθήματος στον ιστότοπο mycourses.ntua.gr

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

  • About Complexity Theory.
  • Παράδειγμα μηχανής Turing & Turing machine Simulator.