Θεωρία Υπολογισμού (υποχρεωτικό μάθημα, 6ο εξάμηνο)

Αίθουσα διδασκαλίας: Σχολική Αίθουσα 1, τμήμα Μηχανικών Πληροφοριακών & Επικοινωνιακών Συστημάτων, Παν. Σάμου.

 Ώρες διδασκαλίας: Πέμπτη 9:00-11:00, Παρασκευή  9:00-11:00, .

Σύγγραμμα: Μια οnline έκδοση του συγγράμματος όπου θα πρέπει να εγκαταστήσετε το djvu που θα το κατεβάσετε από το συνημμένο λινκ. 

· Διάλεξη 1η Δείτε επίσης και το βιβλίο (Κεφ. 10-10.1, σελ. 311) σχετικά με τους Κβαντικούς Υπολογιστές και πως μπορούν να εκτελέσουν υπολογισμούς εκθετικά πιο γρήγορα από μια Turing μηχανή.

· Διάλεξη 2η  Δείτε επίσης και την εισαγωγή (σελ. 31-41) στα πεπερασμένα αυτόματα .

· Διάλεξη 3η

     Σημειώσεις σε Λ. Άντλησης

· Διάλεξη 4η

             Home Work 1(εαρινό 2009)  (παρατηρήσεις )

· Διάλεξη 5η

· Διάλεξη 6η (σημειώσεις σε διαγωνοποίηση)

 

Home Work 2  (εαρινό 2009)(παρατηρήσεις )

· Διάλεξη 7η

· Διάλεξη 8η (για να το δείτε, αποσυμπιέστε και ανοίξτε το αρχείο anagoges.word)

· Διάλεξη 9η (περιέχει μικρή επανάληψη που έγινε στα τελευταία μαθήματα)

· Λύσεις Εξετάσεων Ιουνίου 2009

· Λύσεις Εξετάσεων Σεπτεμβρίου 2009

· Θέματα Φεβρουαρίου 2010 (επί πτυχίο)

ΠΡΟΟΔΟΣ ΑΠΡΙΛΙΟΥ 2010: θέματα λύσεις

Την 2η εβδομάδα μετά τις διακοπές του Πάσχα, κατά την διάρκεια του μαθήματος 9:15-11:45 της Παρασκευής 23/4, θα διεξαχθεί γραπτή πρόοδος Απριλίου στην ύλη που θα έχει διδαχθεί μέχρι τότε (ενδεικτικά από το βιβλίο του Sipser τα: πεπερασμένα αυτόματα & στοίβας, κανονικές γλώσσες, Λήμμα Άντλησης, Γραμματικές Ανεξάρτητες Συμφραζομένων & αντίστοιχο ΛΑ). Για την συμμετοχή στην πρόοδο είναι απαραίτητο να έχετε τη φοιτητική ταυτότητα. Όσοι φοιτητές γράψουν τουλάχιστον 5 στην τελική εξέταση του Ιουνίου, οι βαθμοί τους στην αντίστοιχη ύλη της τελικής εξέτασης θα προσαυξηθούν 20% από τους βαθμούς που θα έχουν λάβει στην πρόοδο του Απριλίου (bonus). Επίσης η συμμετοχή των φοιτητών στην διάρκεια των διαλέξεων και η απάντηση των ερωτημάτων που τίθενται  αξιολογείται θετικά.

 

Για την προετοιμασία των φοιτητών που θέλουν να συμμετάσχουν στην πρόοδο του Απριλίου είναι καλό να μελετηθούν τα αντίστοιχα σημεία στις παραπάνω αναρτημένες λύσεις περασμένων θεμάτων. Επίσης οι παραπάνω σημειώσεις σε Λ. Άντλησης. Τέλος δείτε και την εκτεταμένη συλλογή λυμένων ασκήσεων.

 

28-5-2010 Μεθοδολογία και video-διαλέξεις σε αναγωγές μη επιλυσιμότητας. Το αρχείο πρέπει να γίνει unzip και να ανοίξετε το αρχείο word anagoges.doc

 

ΥΛΗ ΕΞΕΤΑΣΕΩΝ ΙΟΥΝΙΟΥ 2010

Από το βιβλίο του Sipser: Πεπερασμένα αυτόματα, κανονικές γλώσσες, ιδιότητες τους ένωση, τομή, διαφορά, συμπλήρωμα, Λήμμα Άντλησης, Γλώσσες Ανεξάρτητες Συμφραζομένων, Λήμμα Άντλησης, πεπερασμένα αυτόματα στοίβας, Μηχανές Turing, αποφασίσιμες γλώσσες-αναγνωρίσιμες γλώσσες, ιδιότητες τους ένωση, τομή, διαφορά, συμπλήρωμα, αναγωγές  μη επιλύσιμοτητας, χρονική πολυπλοκότητα, η κλάση P, η κλάση NP, ιδιότητες, NP-πληρότητα.

 

 Ώρες για φοιτητές:

Τετ-Πεμ-Παρ: 18:00-21:00, κτίριο Σπυριδώνη, 1ος όροφος, γραφείο Α7, τηλ. 22730 82239. Δε-Τρ: τηλεφωνικά 2610 996943.

 

Χρήσιμο υλικό: Δείτε υλικό & διαφάνειες εδώ .