Schedule |
This
is a tentative schedule subject to change.
|
|||
Εβδομάδα | Φροντιστήριο |
||
1 | 14/1
Εισαγωγή και Μαθηματικό Υπόβαθρο |
17/1 Τεχνικές Αποδείξεων |
- |
2 | 21/1 Ντετερμινιστικά Αυτόματα | 24/1 Μη ντετερμινιστικά αυτόματα |
Τεχνικές Απόδειξης |
3 |
28/1 Μη ντετερμινιστικά αυτόματα | 31/1 Αυτόματα και Κανονικές Πράξεις |
Ντετερμινιστικά Αυτόματα |
4 |
4/2 Κανονικές Εκφράσεις | 7/2 Μη Κανονικές Γλώσσες | Μη Ντετερμινιστικά Αυτόματα |
5 |
11/2 Ασυμφραστικές Γραμματικές | 14/2 Ασυμφραστικές Γραμματικές | Μη Κανονικές Γλώσσες |
6 | 18/2 Ασυμφραστικές Γραμματικές | 21/2 Αυτόματα Στοίβας | Ασυμφραστικές Γραμματικές |
25/2 Αυτόματα Στοίβας | 28/2 Μη Ασυμφραστικές Γλώσσες | Αυτόματα Στοίβας | |
4/3 Μηχανές Turing | 7/3 Μηχανές Turing | Μη Ασυμφραστικές Γλώσσες | |
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 Πολυπλοκότητα | Πολυπλοκότητα |
|
|
|
|
|
|
|
|
Άννα Φιλίππου, Εαρινό Εξάμηνο
2019