Zur AGRW Seite

SS 1995

Vorlesung im Grundstudium

Die Vorlesung hat im SS 95 in der Vorlesungsumfrage der Fachschaft Informatik als beste Vorlesung im Grundstudium abgeschnitten.

• Korrektheit von Programmen (Theorie II)
  • Inhalt: Aussagenlogik, Normalformen, Horn-Formeln, Resolution, Prädikatenlogik.

Lehrveranstaltungen - SS1995 - letzte Änderung: 28.08.2004 15:36 | Kontakt: sysagrw@informatik.uni-kl.de