Berechenbarkeitstheorie
Aus ProgrammingWiki
Begleit-PW zum Buch "Einführung in die Berechenbarkeitstheorie" von CW
Entscheidbarkeit und Aufzählbarkeit
Turing-Berechenbarkeit und Churchsche These
Alternative Berechnungsmodelle
Begleit-PW zum Buch "Einführung in die Berechenbarkeitstheorie" von CW
Entscheidbarkeit und Aufzählbarkeit
Turing-Berechenbarkeit und Churchsche These
Alternative Berechnungsmodelle