Wiener / Hödicke / Bonik | Eine elementare Einführung in die Theorie der Turing-Maschinen | Buch | 978-3-211-82769-7 | sack.de

Buch, Deutsch, 289 Seiten, Buch mit Diskette, Format (B × H): 170 mm x 244 mm, Gewicht: 522 g

Wiener / Hödicke / Bonik

Eine elementare Einführung in die Theorie der Turing-Maschinen


1998
ISBN: 978-3-211-82769-7
Verlag: Springer Vienna

Buch, Deutsch, 289 Seiten, Buch mit Diskette, Format (B × H): 170 mm x 244 mm, Gewicht: 522 g

ISBN: 978-3-211-82769-7
Verlag: Springer Vienna

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.

Wiener / Hödicke / Bonik Eine elementare Einführung in die Theorie der Turing-Maschinen jetzt bestellen!

Zielgruppe

Popular/general

Autoren/Hrsg.

Wiener, Oswald
Hödicke, Robert
Bonik, Manuel

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.