Θεμελιώδη Θέματα Επιστήμης Υπολογιστών
χειμερινό εξάμηνο 2011-2012

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

● Γενικά ● Ανακοινώσεις ● Βιβλιογραφία ● Υλικό μαθήματος ●

Γενικά

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

Δευτέρα 14:15-16:00 (Θεωρία, Α303) & 16:00-17:00 (εργαστήριο, PCLab ΣΕΜΦΕ)
Πέμπτη 12:45-14:30 (Θεωρία, Α303)

Διδάσκοντες

  • Στάθης Ζάχος, Καθηγητής ()
  • Άρης Παγουρτζής, Επ. Καθηγητής ()

Υπεύθυνος εργαστηρίου

  • Δώρα Σούλιου, Ε.Ε.ΔΙ.Π.

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

Κάθε Δευτέρα 16:00-17:00 και Πέμπτη 15:00-16:00, στο Corelab (Παλαιό Κτήριο Ηλεκτρολόγων, 1ος όροφος, αίθ. 1.1.30).

Ανακοινώσεις

  • [17/12/12] Αποτελέσματα επαναληπτικής εξέτασης: [ εδώ]
  • [11/09/12] Η εξέταση της 13/9 αναβάλλεται. Νέα ημερομηνία: 19/10/2012.
  • [23/3/12] Αποτελέσματα κανονικής εξέτασης: [ εδώ]
  • [23/02/12] Αναρτήθηκαν απαντήσεις γραπτών ασκήσεων και ενδεικτικά θέματα εξετάσεων (δείτε στο τέλος της σελίδας).
  • [27/11/11] Ενημερώθηκαν οι διαφάνειες της 3ης ενότητας ("Αλγοριθμικές τεχνικές..."). Νέα ή σημαντικά τροποποιημένα slides: 23-26, 38-53.
  • [24/11/11] Το μάθημα της Πέμπτης θα γίνεται στο εξής στο Αμφ. Ηλεκτρολόγων (στο παλαιό κτ. Ηλεκτρολόγων, είσοδος στη σκάλα).
  • [09/11/11] Το εργαστήριο θα γίνεται κάθε Δευτέρα, ώρες 13:00-14:00, στο PCLab ΣΕΜΦΕ.

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

Προτεινόμενη βιβλιογραφία

  • Μ. 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.
    Κυκλοφορεί μεταφρασμένο στα Ελληνικά από τις εκδόσεις Κριτική.
  • Martin Davis, Μηχανές της Λογικής: Οι Μαθηματικοί και οι Απαρχές του Υπολογιστή.
    Τίτλος πρωτοτύπου: Engines of Logic: Mathematicians and the Origin of the Computer
  • Ε. Ζάχος, Θεμελιώδη Θέματα Επιστήμης Υπολογιστών, Σημειώσεις, ΕΜΠ, 2011.

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

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

  • 1η ενότητα - Εισαγωγή: Υπολογιστικά Προβλήματα, Υπολογισιμότητα, Πολυπλοκότητα,Μοντέλα Υπολογισμού
    • Διαφάνειες [pdf]
  • 2η ενότητα - Γλώσσες Προγραμματισμού: Θεωρητικό Υπόβαθρο και Μοντέλα
  • 3η ενότητα - Αλγοριθμικές Τεχνικές - Αριθμητικοί Υπολογισμοί
    • Διαφάνειες [pdf]
  • 4η ενότητα - Αυτόματα, Γλώσσες, Γραμματικές
    • Διαφάνειες [pdf]
  • 5η ενότητα - Γράφοι: Προβλήματα και Αλγόριθμοι
    • Διαφάνειες [pdf]
  • 6η ενότητα - Λογική, Μοντέλα Υπολογισμού, Κλάσεις Πολυπλοκότητας
    • Διαφάνειες [pdf]

Ασκήσεις

Ενδεικτικά θέματα εξετάσεων

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

Τελευταία ενημέρωση: 17/12/2012