Schedule |
This
is a tentative schedule subject to change.
|
|||
Εβδομάδα | Φροντιστήριο |
||
1 | 15/1
Εισαγωγή και Μαθηματικό Υπόβαθρο |
18/1 Τεχνικές Αποδείξεων |
- |
2 | 22/1 Ντετερμινιστικά Αυτόματα | 25/1 Μη ντετερμινιστικά αυτόματα |
Τεχνικές Απόδειξης |
3 |
29/1 Μη ντετερμινιστικά αυτόματα | 1/2 Αυτόματα και Κανονικές Πράξεις |
Ντετερμινιστικά Αυτόματα |
4 |
5/2 Κανονικές Εκφράσεις | 8/2 Μη Κανονικές Γλώσσες | Μη Ντετερμινιστικά Αυτόματα |
5 |
12/2 Ασυμφραστικές Γραμματικές | 15/2 Ασυμφραστικές Γραμματικές | Μη Κανονικές Γλώσσες |
6 | 19/2 Δευτέρα της Καθαράς | 22/2 Αυτόματα Στοίβας | Ασυμφραστικές Γραμματικές |
26/2 Μη Ασυμφραστικές Γλώσσες | 1/3 Μηχανές Turing | Αυτόματα Στοίβας | |
5/3 Μηχανές Turing | 8/3 Παραλλαγές Μηχανών Turing | Μη Ασυμφραστικές Γλώσσες | |
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 Επανάληψη | Πολυπλοκότητα |
|
|
|
|
|
|
|
|
Άννα Φιλίππου, Εαρινό Εξάμηνο
2018