Logik und Logikprogrammierung: Aufgaben und Lösungen

From korrekt.org


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.

LLPAuL.jpg

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

Remarks

This is a German language book with about 400 textbook exercises and solutions on logic programming, propositional logic, and first-order logic.