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



 
This is a tentative schedule subject to change.

Εβδομάδα
Διαλέξεις
Φροντιστήριο
1 14/1   Εισαγωγή και Μαθηματικό Υπόβαθρο
17/1  Τεχνικές Αποδείξεων
-
21/1 Ντετερμινιστικά Αυτόματα 24/1   Μη ντετερμινιστικά αυτόματα
Τεχνικές Απόδειξης
3
28/1   Μη ντετερμινιστικά αυτόματα 31/1   Αυτόματα και Κανονικές Πράξεις
Ντετερμινιστικά Αυτόματα
4
4/2   Κανονικές Εκφράσεις 7/2   Μη Κανονικές Γλώσσες Μη Ντετερμινιστικά Αυτόματα
5
11/2 Ασυμφραστικές Γραμματικές 14/2  Ασυμφραστικές Γραμματικές Μη Κανονικές Γλώσσες
6 18/2 Ασυμφραστικές Γραμματικές 21/2 Αυτόματα Στοίβας Ασυμφραστικές Γραμματικές
7
25/2   Αυτόματα Στοίβας 28/2  Μη Ασυμφραστικές Γλώσσες Αυτόματα Στοίβας
8
4/3 Μηχανές Turing 7/3  Μηχανές Turing Μη Ασυμφραστικές Γλώσσες
9
11/3 Δευτέρα της Καθαράς 14/3 Eνδιάμεση Εξέταση Επανάληψη
10 18/3 Διαγνωσιμότητα 21/3 Διαγνωσιμότητα Μηχανές Turing
11

25/3 Αργία 25 Μαρτίου

28/1 Το πρόβλημα του Τερματισμού Διαγνωσιμότητα
12 1/4 Αργία 1 Απριλίου  4/4 Αναγωγές Αναγωγές
13
8/4 Αναγωγές 11/4 Πολυπλοκότητα  Πολυπλοκότητα
14
15/4 Πολυπλοκότητα 18/4 Πολυπλοκότητα  Πολυπλοκότητα


EPL211
Class Notes
Tutorials
Announcements
Class Contract
Assignments
Related Links

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