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

Units

Μηχανές Turing, υπολογισιμότητ... Χρονική πολυπλοκότητα, η κλάση...
Η θέση των Church-Turing. Μη-υπολογισιμότητα, το πρόβλημα του τερματισμού

Η θέση των Church-Turing για το ποια προβλήματα μπορούν να υπολογιστούν. Περιγραφή και παρουσίαση μη-υπολογίσιμων προβλημάτων. Απόδειξη ότι το πρόβλημα του τερματισμού είναι μη επιλύσιμο με την μέθοδο της διαγωνοποίησης.

ΠΑΡΟΥΣΙΑΣΕΙΣ

6η Διάλεξη
Cantor
Αναγωγές
Μη αποφασίσιμες γλώσσες

ΔΙΑΛΕΞΕΙΣ (VIDEO)

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

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

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

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

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

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

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

ΑΣΚΗΣΕΙΣ ΑΥΤΟΑΞΙΟΛΟΓΗΣΗΣ

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