Berechenbarkeitstheorie

Aus ProgrammingWiki
Archivierte Version vom 2012-03-23T13:57:17+00:00. Aktuelle Version

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

Vorbereitungen

Berechenbarkeit

Entscheidbarkeit und Aufzählbarkeit

Beweis zentraler Sätze

Turing-Berechenbarkeit

Universelle Turingmaschine und Gödelisierung

Turing-Maschine und Reduktion