Course : Θεωρία Υπολογισμού [open]
Course code : ICSD127
-
Units
-
Κανονικές γλώσσες, πεπερασμένα αυτόματα
-
Λήμμα άντλησης για κανονικές γλώσσες
-
Γραμματικές και γλώσσες χωρίς συμφραζόμενα
-
Αυτόματα στοίβας, λήμμα άντλησης για γλώσσες χωρίς συμφραζόμενα
-
Μηχανές Turing, υπολογισιμότητα
-
Η θέση των Church-Turing. Μη-υπολογισιμότητα, το πρόβλημα του τερματισμού
-
Χρονική πολυπλοκότητα, η κλάση Ρ, η θέση των Cook-Karp
-
Αναγωγή και πληρότητα
-
Μη-ντετερμινισμός και NP-πληρότητα, σχέση Ρ και ΝΡ
-
Αλγοριθμικές συνέπειες NP-πληρότητας
-
Κανονικές γλώσσες, πεπερασμένα αυτόματα
Κανονικές γλώσσες, πεπερασμένα αυτόματα
Τρόπος σύνταξης για Κανονικές γλώσσες, κατασκευές πεπερασμένων αυτομάτων.
ΠΑΡΟΥΣΙΑΣΕΙΣ
Documents
1η Διάλεξη Documents
2η Διάλεξη ΔΙΑΛΕΞΕΙΣ (VIDEO)
Multimedia
Ενότητα 1 - Κανονικές γλώσσες, πεπερασμένα αυτόματα (Μέρος α') Κανονικές γλώσσες, πεπερασμένα αυτόματα (Μέρος α')
Multimedia
Ενότητα 1 - Κανονικές Γραμμές και πεπερασμένα αυτόματα (μέρος β') .Κανονικές Γραμμές και πεπερασμένα αυτόματα (μέρος β')
ΑΣΚΗΣΕΙΣ ΑΥΤΟΑΞΙΟΛΟΓΗΣΗΣ