Θεωρία Υπολογισμού [open] (321-6701)

Κανονικές γλώσσες, πεπερασμένα αυτόματα (Μέρος α')

.Κανονικές Γραμμές και πεπερασμένα αυτόματα (μέρος β')

Πεπερασμένα αυτόματα (Μέρος γ')

Λήμμα Άντλησης για Κανονικες Γλώσσες

Γραμματικές και Γλώσσες χωρίς Συμφραζόμενα

Αυτόματα στοίβας, λήμμα άντλησης για γλώσσες χωρίς συμφραζόμενα

Μηχανές Turing, υπολογισιμότητα (Mέρος α')

Μηχανές Turing, υπολογισιμότητα (Mέρος β')

Η θέση των Church-Turing. Μη-υπολογισιμότητα, το πρόβλημα του τερματισμού (Μέρος α')

Η θέση των Church-Turing. Μη - υπολογισιμότητα το πρόβλημα του τερματισμού (Μέρος β')

Η θέση των Church-Turing. Μη-υπολογισιμότητα, το πρόβλημα του τερματισμού (Μέρος γ')

Η θέση των Church-Turing. Μη-υπολογισιμότητα, το πρόβλημα του τερματισμού (Μέρος δ')

Η θέση των Church-Turing. Μη-υπολογισιμότητα, το πρόβλημα του τερματισμού (Μέρος ε')

Η θέση των Church-Turing. Μη-υπολογισιμότητα, το πρόβλημα του τερματισμού (Μέρος στ')

Αναγωγή και Πληρότητα (Μέρος α')

Αναγωγή και Πληρότητα (Μέρος β')

Αναγωγή και Πληρότητα (Μέρος γ')

Μη-ντετερμινισμός και NP-πληρότητα, σχέση Ρ και ΝΡ