40% Rabatt auf ausgewählte Titeln in Technik & Materialwissenschaften

Springer-Lehrbuch

Elementare Berechenbarkeitstheorie

Autoren: Smith, Einar

Vorschau

Dieses Buch kaufen

eBook 12,99 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-642-58283-7
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 22,99 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-540-60667-3
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Über dieses Lehrbuch

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.

Inhaltsverzeichnis (13 Kapitel)

Inhaltsverzeichnis (13 Kapitel)
  • Einleitung

    Seiten 1-7

    Smith, Dr. Einar

  • Registermaschinen

    Seiten 9-16

    Smith, Dr. Einar

  • Berechenbare Funktionen

    Seiten 17-30

    Smith, Dr. Einar

  • Zeichenketten und Gödelnummern

    Seiten 31-37

    Smith, Dr. Einar

  • Universelle Programme

    Seiten 39-51

    Smith, Dr. Einar

Dieses Buch kaufen

eBook 12,99 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-642-58283-7
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 22,99 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-540-60667-3
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Loading...

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Elementare Berechenbarkeitstheorie
Autoren
Titel der Buchreihe
Springer-Lehrbuch
Copyright
1996
Verlag
Springer-Verlag Berlin Heidelberg
Copyright Inhaber
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
Buchreihen ISSN
0937-7433
Auflage
1
Seitenzahl
X, 166
Themen