Cantitate/Preț
Produs
Total produse
Vezi coșul
Mathematik mit Kalkülen und Maschinen de Elmar Cohors-Fresenborg

Mathematik mit Kalkülen und Maschinen: Logik und Grundlagen der Mathematik

Autor Elmar Cohors-Fresenborg
de Limba Germană Paperback – 1977

Din seria Logik und Grundlagen der Mathematik

  • Theorie und Praxis der Booleschen Algebra
    Preț: 32375 lei
  • Lineare numerische Analysis
    Preț: 48409 lei
  • Algorithmen und rekursive Funktionen
    Preț: 32171 lei
  • Klassische und nichtklassische Aussagenlogik
    Preț: 32284 lei
  • Lineare Darstellungen endlicher Gruppen
    Preț: 30381 lei
  • Neue Elementargeometrie
    Preț: 30792 lei
  • Gruppen in der Neuen Mathematik: Eine elementare Einführung in die Theorie mathematischer Gruppen an Hand einfacher Beispiele
    Preț: 47370 lei
  • Elementarmathematik in moderner Darstellung
    Preț: 33110 lei
  • Mengenlehre und ihre Logik
    Preț: 31473 lei
  • Internationale Beziehungen als System
    Preț: 48314 lei
  • Grundzüge der algebraischen Geometrie
    Preț: 31473 lei
  • Grundzüge der mathematischen Logik
    Preț: 47786 lei
  • Boolesche Algebra und ihre Anwendungen
    Preț: 31095 lei
  • Einführung in die moderne Mathematik
    Preț: 40609 lei

Preț: 30962 lei

Nou

Puncte Express: 464
Preț estimativ în valută:
5927€ • 6170$ • 4880£

Carte tipărită la comandă

Livrare economică 31 ianuarie-14 februarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783528083816
ISBN-10: 3528083816
Pagini: 196
Ilustrații: 184 S.
Dimensiuni: 155 x 235 x 10 mm
Greutate: 0.28 kg
Ediția:Softcover reprint of the original 1st ed. 1977
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria Logik und Grundlagen der Mathematik

Locul publicării:Wiesbaden, Germany

Public țintă

Research

Cuprins

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.