
Einführung in Die Mathematische Logik
Hans Hermes
₹3,249

Einführung in Die Theorie Der Rekursiven Funktionen
by Hans Hermes
Free delivery. Nothing extra to pay at checkout.
Erstes Kapitel. Einführende Betrachtungen über Algorithmen.- 1. Der Begriff des Algorithmus.- 2. Die grundlegenden Begriffe der Theorie des Konstruktiven.- 3. Turingmaschinen als Präzisierung des Begriffs eines Algorithmus.- 4. Historische Bemerkungen.- Zweites Kapitel. Turingmaschinen.- 5. Definition der Turingmaschinen.- 6. Präzisierung konstruktiver Begriffe mittels Turingmaschinen. Beispiele.- 7. Zusammensetzung von Turingmaschinen.- 8.
Description supplied by the publisher.