Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
Einführung in die Theorie der rekursiven Funktionen
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
H. Hermes
Themen in »Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit«
Algorithmen Berechenbarkeit Entscheidbar Entscheidbarkeit Funktion Minimum Primitiv-rekursive Funktion Prädikate Prädikatenlogik Semi-Thue-System Turing Wortproblem rekursive Funktion rekursive Funktionen Äquivalenz
Stimmen zu »Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit«
Details
ISBN: 9783540053347
Verlag: Springer Berlin
Erscheinung: 24.03.1971