4. Berechenbarkeit

Turing-Maschine
Funktionsweise einer Turing-Maschine
Turing-Berechenbarkeit
Church-sche These
Halteproblem
Beweis des Halteproblems
Diagonalisierung
Reduktion
Gödelisierung
Satz von Rice
Unentscheidbare Probleme

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.