Berechenbarkeitstheorie

Aus ProgrammingWiki
Archivierte Version vom 2012-04-01T11:29:46+00:00. Aktuelle Version

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

Vorbereitungen

Berechenbarkeit

Entscheidbarkeit und Aufzählbarkeit

Sätze und Zusammenhänge

Turing-Berechenbarkeit

Universelle Turingmaschine und Gödelisierung

Turing-Maschine und Reduktion