Course : Θεωρία Υπολογισμού [open]

Course code : ICSD127

321-6701  -  Αλέξης Καπόρης

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

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

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

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

Documents
Cantor
Documents
Αναγωγές

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

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

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

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

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

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

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

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

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

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

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

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

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

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