Logik
Aktuelles
Inhalt
Aussagenlogik
- Syntax und Semantik
- Normalformen
- Resolution, Vollst盲ndigkeits- und Korrektheitsbeweise
笔谤盲诲颈办补迟别苍濒辞驳颈办
- Syntax und Semantik
- Normalformen
- Resolution, Vollst盲ndigkeits- und Korrektheitsbeweise
Grundlagen von PROLOG
Literatur
- Uwe Sch枚ning: Logik f眉r Informatiker, . Spektrum Verlag, 2000.
- Skript
脺产耻苍驳别苍
Die 脺产耻苍驳别苍 werden 眉ber verwaltet.
Dozent
Vorlesungszeiten
Mo. 12 - 14 Uhr, Raum H20 (O27)
脺产耻苍驳蝉濒别颈迟别谤
Weitere Informationen