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

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.

• Automatentheorie
• Berechenbarkeit
• Computerwissenschaft
• Logik
• Mengen
• Ringe
• Turing-Maschinen
• Wissen
• cartesisches Produkt

"... Es handelt sich um den geglückten Versuch, auch Laien die Kenntnis der Automatentheorie und ihre Anwendungen in Logik und Computerwissenschaft näher zu bringen ..." (Computerworld) "...Wieners ‚Einführung‘ bemüht sich mit Erfolg, das Interesse an der Theorie als Vergnügen an konkreten Operationen wachzurufen ..." (die tageszeitung) "... Das Buch stellt durch den konsequenten, vermeintlichen Umweg über die formale Logik eine Verbindung her zum Denken und zu Einsichten an sich, und letztlich auch zu den Konzepten von Kreativität und Entwurfsarbeit ..." (form)

Policies and ethics