Θεμελιώδη Θέματα Επιστήμης Ηλεκτρονικών Υπολογιστών (ΣΕΜΦΕ)
Weekly outline
- General
General
Χειμερινό Εξάμηνο 2022-23
Περιγραφή
Εισαγωγή σε Αυτόματα, Αλγόριθμους, Πολυπλοκότητα, Λογική, Υπολογισιμότητα, Μοντέλα Προγραμματισμού.Το μάθημα προσφέρεται στο πρόγραμμα της Σχολής Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών ΕΜΠ, στο 5ο εξάμηνο.
Ώρες Μαθήματος
Δευτέρα 12:45-14:30 (θεωρία), Αιθ. 1.1.29, παλ. κτ. ΗΜΜΥ
Πέμπτη 12:45-14:30 (θεωρία), Αιθ. 1.1.29, παλ. κτ. ΗΜΜΥ
Σύνδεσμος μαθήματος:Διδάσκων
- Στάθης Ζάχος, Καθηγητής (zachos@cs.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.
Διαφάνειες παραδόσεων
- Οι διαφάνειες και το υπόλοιπο υλικό αναρτώνται στη νέα ιστοσελίδα του μαθήματος στον ιστότοπο helios.ntua.gr
Συμπληρωματικό υλικό
- 6 October - 12 October
- 13 October - 19 October
- 20 October - 26 October
- 27 October - 2 November
- 3 November - 9 November
- 10 November - 16 November
- 17 November - 23 November
- 24 November - 30 November
- 1 December - 7 December
- 8 December - 14 December