午夜探花

Institut f眉r Theoretische Informatik

Logik

Aktuelles

[26.10.2016] Die Klausureinsicht findet am Mittwoch, den 02.11.16, in Raum O27/531 von 10 bis 10:30 Uhr statt.

[26.10.2016] Die Ergebnisse der zweiten Klausur wurden im LSF eingetragen.

Inhalt

Aussagenlogik

Syntax und Semantik
Normalformen
Resolution, Vollst盲ndigkeits- und Korrektheitsbeweise

笔谤盲诲颈办补迟别苍濒辞驳颈办

Syntax und Semantik
Normalformen
Resolution, Vollst盲ndigkeits- und Korrektheitsbeweise

Skript

Vorlesungsmitschrieb

脺产耻苍驳蝉产濒盲迟迟别谤

Literatur

Uwe Sch枚ning: Logik f眉r Informatiker, . Spektrum Verlag, 2000.
Skript

脺产耻苍驳别苍

Der Ablauf der 脺产耻苍驳别苍 wird in der ersten Vorlesung vorgestellt.

Dozent

Prof. Dr. Uwe Sch枚ning

Vorlesungszeiten

Mo. 12 - 14 Uhr, Raum H20 (O27)

脺产耻苍驳蝉濒别颈迟别谤

Dominikus Kr眉ger

Jan-Hendrik Lorenz

Aktuelles

Die zweite Klausur findet am Dienstag, den 18.10. von 16-17 Uhr ausschlie脽lich im H20 statt.

Weitere Informationen