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

Beschreibung

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.

Autor*in

Oswald Wiener

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

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

Stimmen zu »Eine elementare Einführung in die Theorie der Turing-Maschinen«

"... 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)
()

Details

Link teilen