Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Elementare Berechenbarkeitstheorie

BuchKartoniert, Paperback
166 Seiten
Deutsch
Springererschienen am30.04.1996
Das Buch führt in leicht verständlicher und dennoch präziser Form in die Grundlagen der Berechenbarkeitstheorie ein. Der Darstellung liegt das Modell der Registermaschine zugrunde, das dem Umgang mit realen Computern und Programmiersprachen entlehnt ist.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR22,99
E-BookPDF1 - PDF WatermarkE-Book
EUR11,68

Produkt

KlappentextDas Buch führt in leicht verständlicher und dennoch präziser Form in die Grundlagen der Berechenbarkeitstheorie ein. Der Darstellung liegt das Modell der Registermaschine zugrunde, das dem Umgang mit realen Computern und Programmiersprachen entlehnt ist.
Details
ISBN/GTIN978-3-540-60667-3
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr1996
Erscheinungsdatum30.04.1996
ReiheSpringer-Lehrbuch
Seiten166 Seiten
SpracheDeutsch
Gewicht188 g
IllustrationenX, 166 S.
Artikel-Nr.11932940

Inhalt/Kritik

Inhaltsverzeichnis
1 Einleitung.- Übersicht.- Mathematische Grundlagen.- 2 Registermaschinen.- 3 Berechenbare Funktionen.- 3.1 Programm-Makros.- 3.2 Weitere berechenbare Funktionen.- 4 Zeichenketten und Gödelnummern.- 5 Universelle Programme.- 5.1 Das Aufzählungstheorem.- 5.2 Rekursion.- 5.3 Indirekte Adressierung.- 6 Beschränkte und unbeschränkte Schleifen.- 6.1 For-berechenbare Funktionen.- 6.2 Nicht-for-berechenbare Funktionen.- 6.3 Die Kleenesche Normalform.- 7 Das Halteproblem und der Satz von Rice.- 7.1 Einführung: Das Halteproblem in Modula.- 7.2 Das Halteproblem der Registermaschine.- 7.3 Der Satz von Rice.- 8 Rekursive Funktionen.- 8.1 Primitiv-rekursive Funktionen.- 8.2 µ-rekursive Funktionen.- 9 Turhig-Maschinen.- 9.1 Grundlegende Definitionen.- 9.2 Äquivalenz von Tiring- und Registermaschinen.- 9.3 Allgemeine Tiring-Maschinen.- 10 Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit.- 10.1 Berechenbarkeit und die Churchsche These.- 10.2 Entscheidbarkeit.- 10.3 Semi-Entscheidbarkeit und Aufzählbarkeit.- 11 Das Postsche Korrespondenzproblem.- 12 Unentscheidbarkeit der Prädikatenlogik.- 13 Unentscheidbare Probleme in den formalen Sprachen.- 13.1 Kontextfreie Sprachen.- 13.2 Allgemeine Regelgrammatiken.- Literatur.mehr

Schlagworte