午夜探花

Institut f眉r Theoretische Informatik

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

Prof. Dr. Enno Ohlebusch

Vorlesungszeiten

Die Vorlesung findet 眉ber statt.

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

Thomas B眉chler

 

Weitere Informationen

LSF-Eintrag (脺bung)