Dekorationsartikel gehören nicht zum Leistungsumfang.
Eine elementare Einführung in die Theorie der Turing-Maschinen
Taschenbuch von Oswald Wiener (u. a.)
Sprache: Deutsch

49,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
KLAPPENTEXT:
Alan Turings automatentheoretische Überlegungen spielen eine maßgebliche Rolle, wenn es gilt, die Möglichkeiten und Grenzen von Computern und Menschen zu untersuchen. Dieses Buch vermittelt eine brauchbare Kenntnis der Automatentheorie (und ihrer Weiterungen in Logik, Computerwissenschaft und Alltag) jenen Lesern, die den Umgang mit Formalismen nicht gewohnt sind. Bei Wahrung aller wünschenswerten Stringenz bleibt die Darlegung anschaulich und konstruktiv. Die mitgelieferte PC-Software fördert den konkreten Umgang mit Automaten und erlaubt dem Leser, eigene Maschinen-Entwürfe zu realisieren. Er erwirbt damit auch die Voraussetzungen für jede höhere Programmiersprache.
KLAPPENTEXT:
Alan Turings automatentheoretische Überlegungen spielen eine maßgebliche Rolle, wenn es gilt, die Möglichkeiten und Grenzen von Computern und Menschen zu untersuchen. Dieses Buch vermittelt eine brauchbare Kenntnis der Automatentheorie (und ihrer Weiterungen in Logik, Computerwissenschaft und Alltag) jenen Lesern, die den Umgang mit Formalismen nicht gewohnt sind. Bei Wahrung aller wünschenswerten Stringenz bleibt die Darlegung anschaulich und konstruktiv. Die mitgelieferte PC-Software fördert den konkreten Umgang mit Automaten und erlaubt dem Leser, eigene Maschinen-Entwürfe zu realisieren. Er erwirbt damit auch die Voraussetzungen für jede höhere Programmiersprache.
Zusammenfassung
Dieses Buch ist der erste Versuch, eine brauchbare Kenntnis der Automatentheorie (und ihrer Weiterungen in Logik, Computerwissenschaft und Alltag) auch solchen Lesern zu vermitteln, die den Umgang mit Formalismen scheuen. Es führt den intelligenten Laien zum Verständnis der grundlegenden Ergebnisse der Theorie der Berechenbarkeit und der Automatentheorie. Bei Wahrung aller wünschenswerten Stringenz stützt sich die Darlegung auf Anschaulichkeit und Konstruktivität. Mitgelieferte PC-Software fördert den konkreten Umgang mit Automaten und gibt dem Leser unmittelbare Gelegenheit, eigene Maschinen-Entwürfe zu realisieren.
Inhaltsverzeichnis
Maschinen.- Turing-Maschinen.- Form und Sinn.- Akzeptieren und Generieren: Triviale Maschinen: Moduln.- Darstellungen natürlicher Zahlen.- Binärzahlen und binäre Zeichenketten.- Zeichenketten verschieben, kopieren und markieren.- Zeichenketten suchen.- Zwei Zeichen genügen.- Zwei Zustände genügen.- Algorithmus und Berechenbarkeit: Die Church-Turing-These.- Universelle Turing-Maschinen.- Menge, Cartesisches Produkt, Funktion, Relation.- Das Halteproblem.- Einige Erscheinungsformen des Halteproblems.- Aufzählen und Abzählen.- Rekursive Mengen, rekursiv aufzählbare und rekursiv nicht aufzählbare Mengen.- Auf dem Weg zu Gödels 'Unvollständigkeitssatz'.- Lösungen zu den Aufgaben.- Ein Simulator für Turing-Maschinen.
Details
Erscheinungsjahr: 1998
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 300
Inhalt: ix
289 S.
2 s/w Illustr.
289 S. 2 Abb. Mit Diskette.
ISBN-13: 9783211827697
ISBN-10: 3211827692
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Wiener, Oswald
Hödicke, Robert
Bonik, Manuel
Auflage: 1998
Hersteller: Springer Vienna
Springer-Verlag GmbH
Maße: 244 x 170 x 17 mm
Von/Mit: Oswald Wiener (u. a.)
Erscheinungsdatum: 08.05.1998
Gewicht: 0,522 kg
preigu-id: 102064437
Zusammenfassung
Dieses Buch ist der erste Versuch, eine brauchbare Kenntnis der Automatentheorie (und ihrer Weiterungen in Logik, Computerwissenschaft und Alltag) auch solchen Lesern zu vermitteln, die den Umgang mit Formalismen scheuen. Es führt den intelligenten Laien zum Verständnis der grundlegenden Ergebnisse der Theorie der Berechenbarkeit und der Automatentheorie. Bei Wahrung aller wünschenswerten Stringenz stützt sich die Darlegung auf Anschaulichkeit und Konstruktivität. Mitgelieferte PC-Software fördert den konkreten Umgang mit Automaten und gibt dem Leser unmittelbare Gelegenheit, eigene Maschinen-Entwürfe zu realisieren.
Inhaltsverzeichnis
Maschinen.- Turing-Maschinen.- Form und Sinn.- Akzeptieren und Generieren: Triviale Maschinen: Moduln.- Darstellungen natürlicher Zahlen.- Binärzahlen und binäre Zeichenketten.- Zeichenketten verschieben, kopieren und markieren.- Zeichenketten suchen.- Zwei Zeichen genügen.- Zwei Zustände genügen.- Algorithmus und Berechenbarkeit: Die Church-Turing-These.- Universelle Turing-Maschinen.- Menge, Cartesisches Produkt, Funktion, Relation.- Das Halteproblem.- Einige Erscheinungsformen des Halteproblems.- Aufzählen und Abzählen.- Rekursive Mengen, rekursiv aufzählbare und rekursiv nicht aufzählbare Mengen.- Auf dem Weg zu Gödels 'Unvollständigkeitssatz'.- Lösungen zu den Aufgaben.- Ein Simulator für Turing-Maschinen.
Details
Erscheinungsjahr: 1998
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Seiten: 300
Inhalt: ix
289 S.
2 s/w Illustr.
289 S. 2 Abb. Mit Diskette.
ISBN-13: 9783211827697
ISBN-10: 3211827692
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Wiener, Oswald
Hödicke, Robert
Bonik, Manuel
Auflage: 1998
Hersteller: Springer Vienna
Springer-Verlag GmbH
Maße: 244 x 170 x 17 mm
Von/Mit: Oswald Wiener (u. a.)
Erscheinungsdatum: 08.05.1998
Gewicht: 0,522 kg
preigu-id: 102064437
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte