{"product_id":"cohors-elmar-fresenborg-mathematik-mit-kalkuelen-und-maschinen-9783528083816","title":"Mathematik mit Kalkülen und Maschinen","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.","brand":"Vieweg+Teubner Verlag","offers":[{"title":"Used - like new","offer_id":53587749798230,"sku":"9783528083816-N","price":1.49,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783528083816_1_f9cdb9da-0a2e-4b16-914f-e9dda2b7d291.jpg?v=1781716159","url":"https:\/\/www.momoxbooks.com\/products\/cohors-elmar-fresenborg-mathematik-mit-kalkuelen-und-maschinen-9783528083816","provider":"momoxbooks","version":"1.0","type":"link"}