Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

Springer-Lehrbuch

Elementare Berechenbarkeitstheorie

Authors: Smith, Einar

Free Preview

Buy this book

eBook $19.99
price for USA in USD (gross)
  • ISBN 978-3-642-58283-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $27.99
price for USA in USD
  • ISBN 978-3-540-60667-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

Das Buch führt in leicht verständlicher und dennoch präziser Form in die Grundlagen der Berechenbarkeitstheorie ein. Es richtet sich insbesondere an Informatikstudenten, ist aber für alle geeignet, die an den Grundlagen und Grenzen der algorithmischen Berechenbarkeit interessiert sind. Vom Leser wird nur eine gewisse Vertrautheit mit formaler Argumentation erwartet.
Der Darstellung liegt das Modell der Registermaschine zugrunde, das dem Umgang mit realen Computern und Programmiersprachen entlehnt ist und daher der Denkweise der Informatik besonders entgegenkommt. Daneben werden auch die klassischen Berechenbarkeitsmodelle Turingmaschine und µ-rekursive Funktionen betrachtet und die Gleichwertigkeit der Ansätze untereinander gezeigt.
Im Anschluß an die systematische Entwicklung des Begriffs der berechenbaren Funktion (und parallel dazu einer geeigneten Programmiersprache) werden nicht-berechenbare Funktionen und unentscheidbare Probleme nachgewiesen, wie etwa das grundlegende Halteproblem für Computerprogramme.
Als weiterführender Themenbereich wird die Unentscheidbarkeit der Prädikatenlogik behandelt sowie einiger Probleme aus dem Gebiet der formalen Sprachen, die im Compilerbau eine wichtige Rolle spielen.

Table of contents (13 chapters)

Table of contents (13 chapters)
  • Einleitung

    Pages 1-7

    Smith, Dr. Einar

  • Registermaschinen

    Pages 9-16

    Smith, Dr. Einar

  • Berechenbare Funktionen

    Pages 17-30

    Smith, Dr. Einar

  • Zeichenketten und Gödelnummern

    Pages 31-37

    Smith, Dr. Einar

  • Universelle Programme

    Pages 39-51

    Smith, Dr. Einar

Buy this book

eBook $19.99
price for USA in USD (gross)
  • ISBN 978-3-642-58283-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $27.99
price for USA in USD
  • ISBN 978-3-540-60667-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Elementare Berechenbarkeitstheorie
Authors
Series Title
Springer-Lehrbuch
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-58283-7
DOI
10.1007/978-3-642-58283-7
Softcover ISBN
978-3-540-60667-3
Series ISSN
0937-7433
Edition Number
1
Number of Pages
X, 166
Topics