Overview

KLAPPENTEXT: Alan Turings automatentheoretische UEberlegungen spielen eine massgebliche Rolle, wenn es gilt, die Moeglichkeiten 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 wunschenswerten Stringenz bleibt die Darlegung anschaulich und konstruktiv. Die mitgelieferte PC-Software foerdert den konkreten Umgang mit Automaten und erlaubt dem Leser, eigene Maschinen-Entwurfe zu realisieren. Er erwirbt damit auch die Voraussetzungen fur jede hoehere Programmiersprache.

Full Product Details

Author:   Oswald Wiener ,  Manuel Bonik ,  Robert Hoedicke ,  Robert Hodicke
Publisher:   Springer Verlag GmbH
Imprint:   Springer Verlag GmbH
Edition:   1998 ed.
Dimensions:   Width: 17.00cm , Height: 1.60cm , Length: 24.40cm
Weight:   0.600kg
ISBN:  

9783211827697

ISBN 10:   3211827692
Pages:   289
Publication Date:   08 May 1998
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Mixed media product
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.
Language:   German

Table of Contents

Maschinen.- Turing-Maschinen.- Form und Sinn.- Akzeptieren und Generieren: Triviale Maschinen: Moduln.- Darstellungen naturlicher Zahlen.- Binarzahlen und binare Zeichenketten.- Zeichenketten verschieben, kopieren und markieren.- Zeichenketten suchen.- Zwei Zeichen genugen.- Zwei Zustande genugen.- Algorithmus und Berechenbarkeit: Die Church-Turing-These.- Universelle Turing-Maschinen.- Menge, Cartesisches Produkt, Funktion, Relation.- Das Halteproblem.- Einige Erscheinungsformen des Halteproblems.- Aufzahlen und Abzahlen.- Rekursive Mengen, rekursiv aufzahlbare und rekursiv nicht aufzahlbare Mengen.- Auf dem Weg zu Goedels 'Unvollstandigkeitssatz'.- Loesungen zu den Aufgaben.- Ein Simulator fur Turing-Maschinen.

Reviews

. .. Es handelt sich um den gegluckten Versuch, auch Laien die Kenntnis der Automatentheorie und ihre Anwendungen in Logik und Computerwissenschaft naher zu bringen ... (Computerworld) . ..Wieners Einfuhrung bemuht sich mit Erfolg, das Interesse an der Theorie als Vergnugen an konkreten Operationen wachzurufen ... (die tageszeitung) . .. Das Buch stellt durch den konsequenten, vermeintlichen Umweg uber die formale Logik eine Verbindung her zum Denken und zu Einsichten an sich, und letztlich auch zu den Konzepten von Kreativitat und Entwurfsarbeit ... (form)

.. . Es handelt sich um den gegluckten Versuch, auch Laien die Kenntnis der Automatentheorie und ihre Anwendungen in Logik und Computerwissenschaft naher zu bringen ... (Computerworld) .. .Wieners Einfuhrung bemuht sich mit Erfolg, das Interesse an der Theorie als Vergnugen an konkreten Operationen wachzurufen ... (die tageszeitung) .. . Das Buch stellt durch den konsequenten, vermeintlichen Umweg uber die formale Logik eine Verbindung her zum Denken und zu Einsichten an sich, und letztlich auch zu den Konzepten von Kreativitat und Entwurfsarbeit ... (form)

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions