| ||||||||||
Es führt in die Begriffe und Methoden der formalen Logik ein. Die Materialauswhl orientiert sich dabei an der Anwendbarkeit in der Informatik. Aussagenlogik und die darauf aufbauende Prädikatenlogik werden behandelt. Damit soll ein Verständnis für moderne Anwendungen der Logik in der Informatik vermittelt werden. Solche Anwendungen sind z.B. Resolution, automatisches Beweisen und Logik-programmierung. Ein Schwerpunkt der Darstellung ist der Resolutionskalkül, der die Grundlage der meisten Beweisverfahren und der Logikprogrammierung bildet, so auch im Rahmen der Programmiersprache PROLOG. Außerdem werden die für das Verständnis notwendigen Grundlagen vermittelt, etwa die Herbrand-Theorie. Das Buch enthält über 100 Aufgaben mit Lösungshinweisen. 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. In der vorliegenden vierten Auflage wurden die Übungsaufgaben und... |
Weitere Infos oder Bestellen bei Amazon