Berechenbarkeit

Berechnungsmodelle und Unentscheidbarkeit

Karl-Heinz Zimmermann

> findR *

> Buchhandlung findr > Verlag findr > Für Buchhändler

Bücher zum Thema

Ackermannfunktion Algorithmus Berechenbarkeitstheorie Gödelisierung GOTO-Programme Halteproblem Partiell-rekursive Funktion Primitiv-rekursive Funktion Registermaschine Rekursive Aufzählbarkeit Semi-entscheidbarkeit Termersetzungssystem Turingmaschine Unentscheidbarkeit Wortproblem

Produktinformationen

- ISBN-10
  
  3658317396
- GTIN-13
  
  9783658317393
- Untertitel
  
  Berechnungsmodelle und Unentscheidbarkeit
- Erscheinungstermin
  
  2020-10-28
- Sprache
  
  ger
- Autoren Biografie
  
  Dr. Karl-Heinz Zimmermann studierte Informatik und Mathematik an der Universität Erlangen-Nürnberg. Er promovierte dort in Theoretischer Informatik und habilitierte in Mathematik an der Universität Bayreuth. Er war Fulbright-Stipendiat an der Princeton Universität und Heisenberg-Stipendiat an der Universität Karlsruhe. Er ist seit mehr als 20 Jahren Professor für Informatik an der Technischen Universität Hamburg und Autor von mehreren Forschungsmonographien sowie von über 120 wissenschaftlichen Forschungspublikationen.
- Genre-Code
  
  9622
- Letzte Bearbeitung
  
  2023-03-14
- Produktart
  
  EA
- Schlüsselwörter
  
  Ackermannfunktion, Algorithmus, Berechenbarkeitstheorie, Gödelisierung, GOTO-Programme, Halteproblem, Partiell-rekursive Funktion, Primitiv-rekursive Funktion, Registermaschine, Rekursive Aufzählbarkeit, Semi-entscheidbarkeit, Termersetzungssystem, Turingmaschine, Unentscheidbarkeit, Wortproblem
- Verleger
  
  Springer Fachmedien Wiesbaden GmbH
- Genre
  
  Mathematik, Mathematik: Grundlagen, NONBOOK

Berechenbarkeit online kaufen

Die Publikation Berechenbarkeit - Berechnungsmodelle und Unentscheidbarkeit von Karl-Heinz Zimmermann ist bei Springer Fachmedien Wiesbaden GmbH erschienen. Die Publikation ist mit folgenden Schlagwörtern verschlagwortet: Ackermannfunktion, Algorithmus, Berechenbarkeitstheorie, Gödelisierung, GOTO-Programme, Halteproblem, Partiell-rekursive Funktion, Primitiv-rekursive Funktion, Registermaschine, Rekursive Aufzählbarkeit, Semi-entscheidbarkeit, Termersetzungssystem, Turingmaschine, Unentscheidbarkeit, Wortproblem. Weitere Bücher, Themenseiten, Autoren und Verlage finden Sie hier: https://buch-findr.de/sitemap_index.xml . Auf Buch FindR finden Sie eine umfassendsten Bücher und Publikationlisten im Internet. Sie können die Bücher und Publikationen direkt bestellen. Ferner bieten wir ein umfassendes Verzeichnis aller Verlagsanschriften inkl. Email und Telefonnummer und Adressen. Die Publikation kostet in Deutschland 4.99 EUR und in Österreich 4.99 EUR Für Informationen zum Angebot von Buch FindR nehmen Sie gerne mit uns Kontakt auf!