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

Description

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