Vor Ort
Merkzettel Warenkorb
  • Produktbild: Mathematik mit Kalkülen und Maschinen
  • Produktbild: Mathematik mit Kalkülen und Maschinen

Mathematik mit Kalkülen und Maschinen

Aus der Reihe Logik und Grundlagen der Mathematik

44,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.01.1977

Verlag

Vieweg & Teubner

Seitenzahl

184

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

306 g

Auflage

Softcover reprint of the original 1st ed. 1977

Sprache

Deutsch

ISBN

978-3-528-08381-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.01.1977

Verlag

Vieweg & Teubner

Seitenzahl

184

Maße (L/B/H)

23,5/15,5/1,1 cm

Gewicht

306 g

Auflage

Softcover reprint of the original 1st ed. 1977

Sprache

Deutsch

ISBN

978-3-528-08381-6

Herstelleradresse

Vieweg+Teubner Verlag
Abraham-Lincoln-Straße 46
65189 Wiesbaden
DE

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Mathematik mit Kalkülen und Maschinen
  • Produktbild: Mathematik mit Kalkülen und Maschinen
  • 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.