Logik:Klausuren

Aus Tudwiki
Wechseln zu: Navigation, Suche

Logik-Klausuren[Bearbeiten]

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[Bearbeiten]

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[Bearbeiten]

Prolog[Bearbeiten]

  1. Prolog

Zur Aussagenlogik[Bearbeiten]

  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[Bearbeiten]

  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[Bearbeiten]

  1. Sonstiges

Nach Aufgabentyp[Bearbeiten]

  1. Induktion
  2. Rekursion