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

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column
Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen


  • 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
  • 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 SystemsWissensverarbeitungKnowledge 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}
}