Mathematik mit Kalkülen und Maschinen

Name: Mathematik mit Kalkülen und Maschinen
Brand: Vieweg+Teubner Verlag
SKU: 9783528083816-N
Price: 1.49 EUR
Availability: OutOfStock
Rating: 5 (1 reviews)

By Elmar Cohors-Fresenborg

0 - Used - like new

Description

1. Einleitung.- 2. Konstruieren mit Baukästen.- 3. Handrechenmaschinen.- 4. Abstraktion von der Handrechenmaschine zu einer idealen Registermaschine (RM).- 5. RM-Berechenbarkeit.- 6. Unterprogramme für Registermaschinen.- 7. Verzweigung von Programmen.- 8. Primitiv-rekursive Funktionen.- 9. Primitiv-rekursive Prädikate.- 10. Die RM-Berechenbarkeit der primitiv-rekursiven Funktionen.- 11. Die Rekursivität der RM-berechenbaren Funktionen.- 12. Universelle Funktionen.- 13. Die Unentscheidbarkeit des Stop-Problems für RM.- 14. Rekursiv-aufzählbare Prädikate.- 15. Kompliziertheitsmaße für Funktionen.- 16. Charakterisierung der primitiv-rekursiven Funktionen.- 17. Kleine universelle Registermaschinen.- 18. Worterzeugende Kalküle.- 19. Induktive Definitionen und Beweise.- 20. Wortverarbeitende Kalküle.- 21. Wortalgorithmen.- 22. Unentscheidbare Wortprobleme.- 23. Legespiele.- 24. Netzwerke von Automaten.- Lösung der Übungsaufgaben.- Literatur.- Namen- und Sachverzeichnis.

Product details

Binding:: Paperback
Edition:: 1
Number of Pages:: 196
Release Date:: 2012-04-18
Publication Date:: 1977-01-01
Publisher:: Vieweg+Teubner Verlag
Languages:: Original: German
ISBN10:: 3528083816
ISBN13:: 9783528083816
GPSR Manufacturer Reference:: [email protected]
Weight:: 306 g
Height:: 155 cm
Width:: 235 cm
Thickness:: 11 cm

Currently sold out

Add to Wishlist