Zur Startseite gehen
0,00 €*
Cover: 9783540606673 | Elementare Berechenbarkeitstheorie | Einar Smith | Taschenbuch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Elementare Berechenbarkeitstheorie
Taschenbuch von Einar Smith
Sprache: Deutsch

22,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
Das Buch führt in leicht verständlicher und dennoch präziser Form in die Grundlagen der Berechenbarkeitstheorie ein. Es richtet sich an Informatikstudenten, ist aber für alle an der algorithmischen Berechenbarkeit Interessierten geeignet; 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. Daneben werden auch die klassischen Berechenbarkeitsmodelle betrachtet und die Gleichwertigkeit der Ansätze untereinander gezeigt. Darüber hinaus werden nicht-berechenbare Funktionen und unentscheidbare Probleme nachgewiesen. Als weiterführendes Thema wird die Unentscheidbarkeit der Prädikatenlogik und einiger Probleme aus dem Bereich der formalen Sprachen behandelt.
Das Buch führt in leicht verständlicher und dennoch präziser Form in die Grundlagen der Berechenbarkeitstheorie ein. Es richtet sich an Informatikstudenten, ist aber für alle an der algorithmischen Berechenbarkeit Interessierten geeignet; 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. Daneben werden auch die klassischen Berechenbarkeitsmodelle betrachtet und die Gleichwertigkeit der Ansätze untereinander gezeigt. Darüber hinaus werden nicht-berechenbare Funktionen und unentscheidbare Probleme nachgewiesen. Als weiterführendes Thema wird die Unentscheidbarkeit der Prädikatenlogik und einiger Probleme aus dem Bereich der formalen Sprachen behandelt.
Zusammenfassung
Die Beschäftigung mit den Grundprinzipien und Grenzen der Berechenbarkeit ist für die Informatik von zentraler Bedeutung. Um dieses Verständnis zu vermitteln, werden in diesem Buch Ansätze vorgestellt, die dem Umgang mit realen Computern und Programmiersprachen entlehnt sind. Es werden vor allem Registermaschinen und eine einfach while-basierte Programmiersprache verwendet.
Diese kompakte, an den entscheidenden Punkten aber ausführliche Einführung setzt nur elementare mathematische Kenntnisse voraus. Erfahrungen mit einer konventionellen Programmiersprache wie Pascal oder Modula erleichtern das Verständnis, sind aber nicht unbedingt erforderlich.
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.
Details
Erscheinungsjahr: 1996
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 180
Reihe: Springer-Lehrbuch
Inhalt: x
166 S.
ISBN-13: 9783540606673
ISBN-10: 354060667X
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Smith, Einar
Auflage: 1996
Hersteller: Springer Berlin
Springer Berlin Heidelberg
Springer-Lehrbuch
Maße: 190 x 127 x 11 mm
Von/Mit: Einar Smith
Erscheinungsdatum: 30.04.1996
Gewicht: 0,188 kg
preigu-id: 102547448
Zusammenfassung
Die Beschäftigung mit den Grundprinzipien und Grenzen der Berechenbarkeit ist für die Informatik von zentraler Bedeutung. Um dieses Verständnis zu vermitteln, werden in diesem Buch Ansätze vorgestellt, die dem Umgang mit realen Computern und Programmiersprachen entlehnt sind. Es werden vor allem Registermaschinen und eine einfach while-basierte Programmiersprache verwendet.
Diese kompakte, an den entscheidenden Punkten aber ausführliche Einführung setzt nur elementare mathematische Kenntnisse voraus. Erfahrungen mit einer konventionellen Programmiersprache wie Pascal oder Modula erleichtern das Verständnis, sind aber nicht unbedingt erforderlich.
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.
Details
Erscheinungsjahr: 1996
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 180
Reihe: Springer-Lehrbuch
Inhalt: x
166 S.
ISBN-13: 9783540606673
ISBN-10: 354060667X
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Smith, Einar
Auflage: 1996
Hersteller: Springer Berlin
Springer Berlin Heidelberg
Springer-Lehrbuch
Maße: 190 x 127 x 11 mm
Von/Mit: Einar Smith
Erscheinungsdatum: 30.04.1996
Gewicht: 0,188 kg
preigu-id: 102547448
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9780470643853 | Algorithms for Image Processing and Computer Vision | J R Parker
Algorithms for Image Processing and Computer Vision
EAN: 9780470643853
Sprache: Englisch
Von/Mit: J R Parker

99,00 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9780691141206 | Philosophy of Mathematics and Natural Science | Hermann Weyl | Buch
Philosophy of Mathematics and Natural Science
EAN: 9780691141206
Sprache: Englisch
Von/Mit: Hermann Weyl

55,25 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9780387773254 | Introduction to Biometrics | Anil K. Jain (u. a.) | Buch | Englisch
Introduction to Biometrics
EAN: 9780387773254
Sprache: Englisch
Von/Mit: Anil K. Jain (u. a.)

97,15 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783540140153 | Theoretical Computer Science | Juraj Hromkovi¿ | Buch | x | Englisch
Theoretical Computer Science
Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
EAN: 9783540140153
Sprache: Englisch
Von/Mit: Juraj Hromkovi¿

85,75 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783830934233 | Förderung früher mathematischer Kompetenzen | Claudia Hildenbrand
Förderung früher mathematischer Kompetenzen
Eine Interventionsstudie zu den Effekten unterschiedlicher Förderkonzepte, Empirische Studien zur Didaktik der...
EAN: 9783830934233
Sprache: Deutsch
Von/Mit: Claudia Hildenbrand

34,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781849966900 | Graph Theory | U. S. R. Murty (u. a.) | Taschenbuch | Paperback | XII
Graph Theory
EAN: 9781849966900
Sprache: Englisch
Von/Mit: U. S. R. Murty (u. a.)

54,40 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781119545637 | Python Machine Learning | Wei-Meng Lee | Taschenbuch | 320 S. | 2019
Python Machine Learning
EAN: 9781119545637
Sprache: Englisch
Von/Mit: Wei-Meng Lee

40,00 €*

Aktuell nicht verfügbar

Buch
Cover: 9789811541025 | Matrix-Based Introduction to Multivariate Data Analysis | Kohei Adachi
Matrix-Based Introduction to Multivariate Data Analysis
EAN: 9789811541025
Sprache: Englisch
Von/Mit: Kohei Adachi

123,95 €*

Lieferzeit 2-3 Wochen

Buch
Cover: 9780691206158 | The Inglorious Years - The Collapse of the Industrial Order and the...
The Inglorious Years - The Collapse of the Industrial Order and the Rise of Digital Society
EAN: 9780691206158
Sprache: Englisch
Von/Mit: Daniel Cohen (u. a.)

23,45 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9783658331849 | Data Engineering 4.0 | Herbert Weber | Taschenbuch | Deutsch | 2021
Data Engineering 4.0
Kompositionale Informationsmodelle für industrielle Anwendungen
EAN: 9783658331849
Sprache: Deutsch
Von/Mit: Herbert Weber

64,99 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Neu
Cover: 9781098143329 | Excel Cookbook | Recipes for Mastering Microsoft Excel | Griffiths
Excel Cookbook
Recipes for Mastering Microsoft Excel
EAN: 9781098143329
Sprache: Englisch
Von/Mit: Dawn Griffiths

52,30 €*

Erscheint am 30.06.24

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...