Logik und Logikprogrammierung: Aufgaben und Lösungen
Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch
Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen
Abstract.
Die vorliegende Aufgabensammlung ist eine Ergänzung zum Lehrbuch »Logik und Logikprogrammierung, Band 1: Grundlagen« von Steffen Hölldobler, das am Beispiel Prolog in die Logikprogrammierung einführt sowie grundlegende Kenntnisse und Methoden der Aussagen- und der Prädikatenlogik vermittelt. Für die universitäre Lehre wurden hierzu über viele Jahre hinweg gut 400 Übungsaufgaben entwickelt, die im vorliegenden Band gesammelt sind. Da sich die auf dem Lehrbuch basierenden Vorlesungen primär an Studenten im ersten Studienabschnitt richten, sind die Übungsaufgaben einerseits relativ elementar angelegt. So werden etwa Induktionsbeweise oder rekursive Funktionen vergleichsweise ausführlich behandelt, und die Lösungen werden meist sehr detailliert ausgearbeitet, wobei auf formale Genauigkeit besonderer Wert gelegt wird. Andererseits wurden mit Blick auf weiterführende Veranstaltungen für Masterstudenten auch anspruchsvollere und komplexere Aufgaben mit aufgenommen.
- 474 Seiten, zahlr. Abb. u. Schemata, Brosch.
- ISBN 978-3-935025-85-0
- Seite bei Amazon
Published at Synchron Publishers Heidelberg (Book)
Download PDF (last update: Jun 28 2011)
Citation details
- Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch. Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen. Synchron Publishers HeidelbergProperty "Publisher" has a restricted application area and cannot be used as annotation property by a user. 2011.
title = {Logik und Logikprogrammierung, Band 2: Aufgaben
und L\"{o}sungen},
author = {Steffen H\"{o}lldobler and Sebastian Bader and
Bertram Fronh\"{o}fer and Ursula Hans and
Pascal Hitzler and Markus Kr\"{o}tzsch and
Tobias Pietzsch},
publisher = {Synchron Publishers Heidelberg},
year = {2011}
}
Remarks
This is a German language book with about 400 textbook exercises and solutions on logic programming, propositional logic, and first-order logic.