Thumbnail Thumbnail

V09 - Das KNF-Erfüllbarkeitsproblem, Resolution, Was sind „Sätze“ und „Beweise“?, Beweistechniken

  • Sprecher   Prof. Dr. Schnitger
  • Ort   Campus Bockenheim, Jügelhaus, H VI
  • Datum   13.11.2018 @ 12:15

Thumbnail Thumbnail

V08 - Fragestunde (DNF, KNF; Marry Moddler)

  • Sprecher   Prof. Dr. Schnitger
  • Ort   Campus Bockenheim, Jüggelhaus, HVI
  • Datum   08.11.2018
  • Beschreibung   Wegen technischer Fehler konnte leider nur die letzte halbe Stunde aufgezeichnet werden.

Thumbnail Thumbnail

V07 - SymPy, Fundamentale Äquivalenzen, Wie groß sind Wahrheitstafeln?, Wir bauen eine disjunktive Normalform aus einer Wahrheitstafel!, Literale, Konjunktionsterme, konjunktive Normalform

  • Sprecher   Prof. Dr. Schnitger
  • Ort   Campus Bockenheim, Jügelhaus, HVI
  • Datum   06.11.2018 @ 12:16

Thumbnail Thumbnail

V06 - Semantische Folgerung und Äquivalenz

  • Sprecher   Prof. Dr. Schnitger
  • Ort   Campus Bockenheim, Jüggelhaus, HVI
  • Datum   01.11.2018

Thumbnail Thumbnail

V05 - Aussagenlogik

  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim, Jügelhaus, H VI
  • Datum   30.10.2018 @ 12:14

Thumbnail Thumbnail

V04 - Funktionen, Mengen

  • Sprecher   Prof. Dr. Schnitger
  • Ort   Campus Bockenheim, Jüggelhaus, H VI
  • Datum   25.10.2018

Thumbnail Thumbnail

V03 - Komplementbildung, Potenzmengen, Kartesisches Produkt, Relationen, Funktionen

  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim, Jügelhaus, H VI
  • Datum   23.10.2018 @ 12:17

Thumbnail Thumbnail

V02 - Mengen

  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim, Jügelhaus, H VI
  • Datum   18.10.2018

Thumbnail Thumbnail

V01-Teil II - Organisatorisches und Einführung

  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim, Jügelhaus, H VI
  • Datum   16.10.2018 @ 12:19
  • Beschreibung   Aufgrund eines technischen Fehlers liegt die Vorlesung in zwei Teilen vor.

Thumbnail Thumbnail

V01-Teil I - Organisatorisches und Einführung

  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim, Jügelhaus, H VI
  • Datum   16.10.2018 @ 12:15
  • Beschreibung   Aufgrund eines technischen Fehlers liegt die Vorlesung in zwei Teilen vor.