Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen

Literaturverz. S. 229 - 232

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Deutsch, Michael (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Bremen Universitätsdruckerei 2003
Schlagworte:	Recursive functions > Algorithms > Gödel's theorem > Computable functions > Lehrbuch > Einführung > Funktion > Rekursionstheorie > Berechenbarkeit > Prädikat > Entscheidbarkeit > Rekursive Funktion
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!