Berechenbarkeitstheorie

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