Berechenbarkeitstheorie

Aus ProgrammingWiki

Wechseln zu: Navigation, Suche

Begleit-PW zum Buch "Einführung in die Berechenbarkeitstheorie" von CW

Vorbereitungen

Berechenbarkeit

Entscheidbarkeit und Aufzählbarkeit

Sätze und Zusammenhänge

Turing-Berechenbarkeit und Churchsche These

Problemreduktion

Gödelisierung

Alternative Berechnungsmodelle

Persönliche Werkzeuge