Berechenbarkeitstheorie

Aus ProgrammingWiki
Archivierte Version vom 2012-03-23T13:48:47+00:00. Aktuelle Version

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

Vorbereitungen

Berechenbarkeitsbegriff

Entscheidbarkeit und Aufzählbarkeit

Beweis zentraler Sätze

Turing-Berechenbarkeit

Universelle Turingmaschine und Gödelisierung

Turing-Maschine und Reduktion