Thumbnail Thumbnail

V21 - Alphabete, Worte und Sprachen; Deterministische endliche Automaten; Minimierung

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

Thumbnail Thumbnail

V20 (3/3) - Rechnen von Beispielen von Markov-Ketten

  • Sprecher   Prof. Dr. Schnitger
  • Ort   Campus Bockenheim, Jügelhaus, H VI
  • Datum   20.12.2018
  • Beschreibung   Die Vorlesung ist aufgrund einer technischen Störung in drei Teile geteilt. Die Störung konnte nicht behoben werden. Deshalb sind die Folien nicht übertragen worden. Stattdessen wurden diese bestmöglich abgefilmt. Wir bitten um Entschuldigung und wünschen schöne Feiertage sowie einen guten Rutsch.

Thumbnail Thumbnail

V20 (2/3) - Rechnen von Beispielen von Markov-Ketten

  • Sprecher   Prof. Dr. Schnitger
  • Ort   Campus Bockenheim, Jügelhaus, H VI
  • Datum   20.12.2018
  • Beschreibung   Die Vorlesung ist aufgrund einer technischen Störung in drei Teile geteilt. Die Störung konnte nicht behoben werden. Deshalb sind die Folien nicht übertragen worden. Stattdessen wurden diese bestmöglich abgefilmt. Wir bitten um Entschuldigung und wünschen schöne Feiertage sowie einen guten Rutsch.

Thumbnail Thumbnail

V20 (1/3) - Rechnen von Beispielen von Markov-Ketten

  • Sprecher   Professor Dr. Schnitger
  • Ort   Campus Bockenheim, Jügelhaus, H VI
  • Datum   20.12.2018
  • Beschreibung   Die Vorlesung ist aufgrund einer technischen Störung in drei Teile geteilt. Die Störung konnte nicht behoben werden. Deshalb sind die Folien nicht übertragen worden. Stattdessen wurden diese bestmöglich abgefilmt. Wir bitten um Entschuldigung und wünschen schöne Feiertage sowie einen guten Rutsch.

Thumbnail Thumbnail

V19 - Die Grenzverteilung einer ergodischen Kette; Stationäre Verteilungen

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

Thumbnail Thumbnail

V18 - Markov-Ketten

  • Sprecher   Prof. Dr. Schnitger
  • Ort   Campus Bockenheim, Jügelhaus HVI
  • Datum   13.12.2018

Thumbnail Thumbnail

V17 - Der Page-Rank einer Webseite; Beginn Markov-Ketten

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

Thumbnail Thumbnail

V16 - Entscheidungsbäume: Bäume für die Darstellung von Entscheidungsfolgen

  • Sprecher   Prof. Dr. Schnitger
  • Ort   Campus Bockenheim, Jügelhaus, H VI
  • Datum   06.12.2018
  • Beschreibung   Leider fehlt die Begrüßung.

Thumbnail Thumbnail

V15 - Spannbäume, Gewurzelte Bäume, exklusive Entscheidungsbäume

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

Thumbnail Thumbnail

V14 - Gleichheit und Isomorphie von Graphen + Übungsblatt 7

  • Sprecher   Prof. Dr. Schnitger
  • Ort   Campus Bockenheim, Jügelhaus, HVI
  • Datum   29.11.2018
  • Beschreibung   Da unser VGA Kabel einen Defekt hat, sind die Folien blau getönt. Wir bitten um Entschuldigung! Das Problem wird baldmöglichst behoben.

Thumbnail Thumbnail

V13 - Schnell lösbare Probleme für Graphen, Schwierige Graph-Probleme

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

Thumbnail Thumbnail

V12 - Graphen

  • Sprecher   Prof. Dr. Schnitger
  • Ort   Campus Bockenheim, Jügelhaus HVI
  • Datum   22.11.2018
  • Beschreibung   Wir bitten um Entschuldigung dafür, dass das Bild zeitweise nicht den Anforderung genügen könnte.

Thumbnail Thumbnail

V11 - Vollständige Induktion

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

Thumbnail Thumbnail

V10 - Diagonalisierung - Übungen und Fragen

  • Sprecher   Prof. Dr. Schnitger
  • Ort   Campus Bockenheim, Jügelhaus, HVI
  • Datum   15.11.2018

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.