Inhaltsangabe
Dieses Buch lädt den Leser ein, Abstraktionen zu erkunden, die für die Informatik entscheidend sind. Die Autoren bringen ein Gefühl der Aufregung in Logik, formale Sprachen und Automaten – motivieren Themen, indem sie sie mit Computern und Computeranwendungen verknüpfen, manchmal mit ganzen Kapiteln. Sie erreichen außergewöhnliche Klarheit durch eine Vielzahl von Beispielen und Zahlen, ohne jedoch die Präzision, die das Markenzeichen dieses Themas ist, aus den Augen zu verlieren und tatsächlich zu feiern. Merkmale der Buchanwendung der Logik zur Programmierung der Verifizierungsprogrammierung in der Logiksprache, Prolog Diskussion über "warum" und "wie" Dinge beweisen Beziehungen zwischen Englisch und Programmiersprachen Diagramme - erster Ansatz an Automaten lex als Werkzeug und eine Erweiterung der formalen Sprache Pushdown-Automaten als Parsing-Strategien Turing-Maschinen als Modelle der Berechnung
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
