Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen

Steffen HölldoblerSteffen Hölldobler, Sebastian BaderSebastian Bader, Bertram FronhöferBertram Fronhöfer, Ursula HansUrsula Hans, Pascal HitzlerPascal Hitzler, Markus KrötzschMarkus Krötzsch, Tobias PietzschTobias Pietzsch

ISBN: 978-3-935025-85-0

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 Heidelberg, 2011

Details
Bibtex

KurzfassungAbstract
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.
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems, WissensverarbeitungKnowledge Representation and Reasoning

@book{HBFHHKP2011,
  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},
  title     = {Logik und Logikprogrammierung, Band 2: Aufgaben und
               L{\"{o}}sungen},
  publisher = {Synchron Publishers Heidelberg},
  year      = {2011}
}