Berechenbarkeitstheorie

Wiki-Quelltext dieser Seite.

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

[[Berechenbarkeitstheorie/Vorbereitungen|Vorbereitungen]]

[[Berechenbarkeitstheorie/Berechenbarkeit|Berechenbarkeit]]

[[Berechenbarkeitstheorie/Entscheidbarkeit und Aufzählbarkeit|Entscheidbarkeit und Aufzählbarkeit]]

[[Berechenbarkeitstheorie/Sätze und Zusammenhänge|Sätze und Zusammenhänge]]

[[Berechenbarkeitstheorie/Turing-Berechenbarkeit und Churchsche These|Turing-Berechenbarkeit und Churchsche These]]

[[Berechenbarkeitstheorie/Universelle Turingmaschine und Gödelisierung|Universelle Turingmaschine und Gödelisierung]]

[[Berechenbarkeitstheorie/Turing-Maschine und Reduktion|Turing-Maschine und Reduktion]]