Logik
Aktuelles
[29.09.2014]
Die Klausureinsicht ist am Montag, 06. Oktober, 09.30-10.30 Uhr, im Raum o27/531.
[23.09.2014]
Die Logikpr眉fung findet am 26. September, 10-11 Uhr, im H1 statt.
Inhalt
Aussagenlogik
- Syntax und Semantik
- Normalformen
- Resolution, Vollst盲ndigkeits- und Korrektheitsbeweise
笔谤盲诲颈办补迟别苍濒辞驳颈办
- Syntax und Semantik
- Normalformen
- Resolution, Vollst盲ndigkeits- und Korrektheitsbeweise
Literatur
- Uwe Sch枚ning: Logik f眉r Informatiker, 5. Auflage. Spektrum Verlag, 2000.
- Skript
- Folien: Aussagenlogik
- 笔谤盲诲颈办补迟别苍濒辞驳颈办
脺产耻苍驳别苍
Der Ablauf der 脺产耻苍驳别苍 wird in der ersten Vorlesung vorgestellt. Die Anmeldung zu den Tutorien wird anschlie脽end 眉ber m枚glich sein.
Dozent
Vorlesungszeiten
Mo 12:00 - 14:00 Uhr, Raum H20
脺产耻苍驳蝉濒别颈迟别谤
Weitere Informationen