Θεμελιώδη Θέματα Επιστήμης Η/Υ (ΣΕΜΦΕ)
Topic outline
- General
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.
- Υλικό μαθήματος
Υλικό μαθήματος
Διαφάνειες παραδόσεων και ασκήσεις
-
Οι διαφάνειες καθώς και οι ασκήσεις και το υπόλοιπο υλικό αναρτώνται στη νέα ιστοσελίδα του μαθήματος στον ιστότοπο mycourses.ntua.gr
Συμπληρωματικό υλικό