Logik:Klausuren

Logik-Klausuren

Auch die Lehrveranstaltung Logik wird mit einer Klausur abgeschlossen.

Da es (leider) keine offiziellen Lösungen der Klausuren gibt, können hier eigene Mitschriften aus dem Vorrechnen und Lösungen aus dem offiziellen Logik-Forum gesammelt werden.

Lösungen allein sind kein Garant für das erfolgreiche Bestehen der Klausur!

Keine Gewähr auf Korrektheit der hier veröffentlichten Lösungen!

Original-Klausuren vom Lehrstuhl

Es werden noch Helfer fuer das Einpflegen der Klausur-Loesungen gesucht. Bei Interesse Mail an ng

Nach Datum

Achtung: Aufgrund der neuen Prüfungsordnung für die ab dem WS 2004/05 immatrikulierten Studenten werden die zukünftigen Klausuren unter anderen Bedingungen (und mit anderen Aufgaben) geschrieben.

* = Klausuren sind komplett

Inf / IST - Prüfungen	Minf - Scheine
Prolog-Testat 04.11.2004 WS 2004/05 *
10.08.2004 SS 2004 19.06.2004 SS 2004 (Wiederholung vom 27.02.2004) 27.02.2004 WS 2003/04 25.07.2003 SS 2003 28.02.2003 WS 2002/03 24.07.2002 SS 2002 20.02.2002 WS 2001/02 16.06.2001 SS 2001	17.07.2004 SS 2004 07.02.2004 WS 2003/04 * 05.07.2003 SS 2003 08.02.2003 WS 2002/03 * 15.06.2002 SS 2002 01.02.2002 WS 2001/02 11.07.2001 SS 2001 28.02.2001 WS 2000/01

Nach Themen

Prolog

1. Prolog

Zur Aussagenlogik

1. Semantik: Interpretationen und Modelle
2. Äquivalenz und Normalformen
3. Beweisverfahren: Resolution
4. Beweisverfahren: Kalkül des natürlichen Schließens
5. Eigenschaften

Zur Prädikatenlogik

1. Syntax
2. Substitutionen
3. Semantik: Interpretationen und Modelle
4. Semantik: Herbrand-Interpretationen
5. Äquivalenz und Normalformen
6. Unifikation
7. Beweisverfahren: Resolution
8. Beweisverfahren: Kalkül des natürlichen Schließens
9. Eigenschaften

Sonstiges

1. Sonstiges

Nach Aufgabentyp

1. Induktion
2. Rekursion