Logik für Informatiker. Reihe Informatik ; Bd. 56. Schöning, Uwe:
Gutes Ex. - Wolfram Schwabhäuser gewidmet. - Dieser Band führt in Begriffe und Methoden der formalen Logik ein, wobei die Auswahl des Materials an Informatik-Anwendungen orientiert ist. Die Behandlung der Aussagenlogik und darauf aufbauend der Prädikatenlogik erfolgt mit dem Ziel, den Grundstock zu legen für das Verständnis moderner Anwendungen der Logik in der Informatik, wie z.B. Resolution, Automatisches Beweisen und Logik-Programmierung. (Verlagstext) ISBN 9783411031641.
Jetzt bei Ebay: