Berechenbarkeitstheorie

Wiki-Quelltext dieser Seite.

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

[[Berechenbarkeitstheorie/Vorbereitungen|Vorbereitungen]]

[[Berechenbarkeitstheorie/Berechenbarkeitsbegriff|Berechenbarkeitsbegriff]]

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

[[Berechenbarkeitstheorie/Beweis zentraler Sätze|Beweis zentraler Sätze]]

[[Berechenbarkeitstheorie/Turing-Berechenbarkeit|Turing-Berechenbarkeit]]

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

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