ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητα
Schedule



 
This is a tentative schedule subject to change.

Εβδομάδα
Διαλέξεις
Φροντιστήριο
1 15/1   Εισαγωγή και Μαθηματικό Υπόβαθρο
18/1  Τεχνικές Αποδείξεων
-
22/1 Ντετερμινιστικά Αυτόματα 25/1   Μη ντετερμινιστικά αυτόματα
Τεχνικές Απόδειξης
3
29/1   Μη ντετερμινιστικά αυτόματα 1/2   Αυτόματα και Κανονικές Πράξεις
Ντετερμινιστικά Αυτόματα
4
5/2   Κανονικές Εκφράσεις 8/2   Μη Κανονικές Γλώσσες Μη Ντετερμινιστικά Αυτόματα
5
12/2 Ασυμφραστικές Γραμματικές 15/2  Ασυμφραστικές Γραμματικές Μη Κανονικές Γλώσσες
6 19/2 Δευτέρα της Καθαράς 22/2 Αυτόματα Στοίβας Ασυμφραστικές Γραμματικές
7
26/2   Μη Ασυμφραστικές Γλώσσες 1/3  Μηχανές Turing Αυτόματα Στοίβας
8
5/3 Μηχανές Turing 8/3  Παραλλαγές Μηχανών Turing Μη Ασυμφραστικές Γλώσσες
9
12/3 Διαγνωσιμότητα 15/3 Eνδιάμεση Εξέταση Επανάληψη
10 19/3 Διαγνωσιμότητα 22/3 Το πρόβλημα του Τερματισμού Μηχανές Turing
11
26/3 Το πρόβλημα του Τερματισμού 29/1 Αναγωγές Διαγνωσιμότητα
12 16/4 Αναγωγές  19/4  Πολυπλοκότητα Αναγωγές
13
23/4 Πολυπλοκότητα 26/4 Πολυπλοκότητα  Πολυπλοκότητα
14
30/4 Πολυπλοκότητα 3/5 Επανάληψη  Πολυπλοκότητα


EPL211
Class Notes
Tutorials
Announcements
Class Contract
Assignments
Related Links

Άννα Φιλίππου, Εαρινό Εξάμηνο 2018