Thumbnail Thumbnail

Klausurvorbereitung

  • Untertitel   Teil 2
  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim, Jügelhaus HIII
  • Datum   23.02.2017

Thumbnail Thumbnail

Klausurvorbereitung

  • Untertitel   Teil 4
  • Sprecher   Prof.Dr. Georg Schnitger
  • Ort   Campus Bockenheim, Jügelhaus HIII
  • Datum   20.02.2017 @ 11:01
  • Beschreibung   Es tut uns sehr Leid, aber durch einen technischen Defekt fehlt ein Teil der Aufzeichnung

Thumbnail Thumbnail

Klausurvorbereitung

  • Untertitel   Teil 1
  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim, Jügelhaus HIII
  • Datum   20.02.2017 @ 10:21
  • Beschreibung   Es tut uns sehr Leid, aber durch einen technischen Defekt fehlt ein Teil der Aufzeichnung

Thumbnail Thumbnail

Klausurvorbereitung

  • Untertitel   Teil 3
  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim, Jügelhaus HIII
  • Datum   20.02.2017

Thumbnail Thumbnail

V30 Beispielkausur

  • Untertitel   1/2
  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim, H VI
  • Datum   09.02.2017
  • Beschreibung   Die Sitzung musste leider in zwei Teile geteilt werden. Wir bitten dies zu entschuldigen.

Thumbnail Thumbnail

V30 Beispielklausur

  • Untertitel   2/2
  • Sprecher   Prof. Dr. Georg Schntiger
  • Ort   Campus Bockenheim - Jügelhaus H VI
  • Datum   09.02.2017
  • Beschreibung   Die Sitzung musste leider in zwei Teile geteilt werden. Wir bitten dies zu entschuldigen.

Thumbnail Thumbnail

V29 - Die Prädikatenlogik

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

Thumbnail Thumbnail

V28 Logik erster Stufe (Prädikatenlogik) - Klausurthemenbereiche

  • Sprecher   Prof. Dr. Georg Schntiger
  • Ort   Campus Bockenheim - Jügelhaus H VI
  • Datum   02.02.2017

Thumbnail Thumbnail

V27 - Organisatorisches, Ableitungen, Ableitungsbäume, Arithmetische Ausdrücke, Kontextfreie Grammatiken und Sprachen

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

Thumbnail Thumbnail

V26 Kontextfreie Grammatiken, Kontextfreie Sprachen

  • Sprecher   Prof. Dr. Georg Schntiger
  • Ort   Campus Bockenheim - Jügelhaus H VI
  • Datum   26.01.2017

Thumbnail Thumbnail

V25 - Der Satz von Myhill-Nerode II; NFAs und die von einem NFA akzeptierte Sprache; Reguläre Ausdrücke; Reguläre Sprachen

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

Thumbnail Thumbnail

V24 Neroden-Automat, Reguläe Sprachen

  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim, H VI
  • Datum   19.01.2017

Thumbnail Thumbnail

V23 - Der Minimierungsalgorithmus; Die Nerode-Relation

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

Thumbnail Thumbnail

V20 Äquivalenzrelation und Zeugen

  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim, H VI
  • Datum   12.01.2017
  • Beschreibung   Leider konnte bei dieser Sitzung nicht die Präsentation aufgezeichnet werden. Wir bitten dies zu entschuldigen.

Thumbnail Thumbnail

V21 - Endliche Automaten; Wie arbeitet ein DFA? Die erweiterte Übergangsfunktion

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

Thumbnail Thumbnail

V20 Symetrische Ketten, Lässt sich der Page-Rank schnell und gut approximieren?

  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim, H VI
  • Datum   22.12.2016

Thumbnail Thumbnail

V19 - Ergodische Ketten: Schöne Markov- Ketten; Stationäre Verteilungen und Beispiele hierzu

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

Thumbnail Thumbnail

V18 - Markov-Ketten, Vektor-Matrix und Matrizenprodukt

  • Sprecher   Prof. Dr. Georg Schntiger
  • Ort   Campus Bockenheim - Jügelhaus H VI
  • Datum   15.12.2016

Thumbnail Thumbnail

V17 - Der Page-Rank einer Webseite; Die Übergangsmatrix; Markov-Ketten, das mathematische Modell für Irrfahrten

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

Thumbnail Thumbnail

V16 - Entscheidungsbäume: Spielbäume. Markov Ketten

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

Thumbnail Thumbnail

V15 - Spannbäume; Gewurzelte Bäume ("gerichtete Bäume"); Blätter, innere Knoten, Tiefe, Höhe, Eltern und Kinder; Rekursive Programme und ihre Rekursionsbäume; Binärsuche

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

Thumbnail Thumbnail

V14 - Färbung von Knoten

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

Thumbnail Thumbnail

V13 - Graphen, Zuordnungsprobleme

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

Thumbnail Thumbnail

V12 Rekursive Programme

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

Thumbnail Thumbnail

V11 - Vollständige Induktion, Rekursive Definitionen

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

Thumbnail Thumbnail

V10 Beweis durch Kontraposition

  • Sprecher   Prof. Dr. Georg Schnittger
  • Ort   Campus Bockenheim, Jügelhaus H VI
  • Datum   17.11.2016
  • Beschreibung   Leider können wir auf Grund eines technischen Defekts nicht die Präsentation wiedergeben. Wir bitten dies zu entschuldigen

Thumbnail Thumbnail

V09 - Erfüllbarkeitsproblem, Beweisverfahren der Resolution, Boolesche Funktionen und Formeln

  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim, Jügelhaus H VI
  • Datum   15.11.2016 @ 12:18
  • Beschreibung   Am Anfang gibt es kurz ein technisches Problem bzgl. des Tons. Bitte dies zu entschuldigen.

Thumbnail Thumbnail

V08 Disjunktionsterme und KNFs

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

Thumbnail Thumbnail

V07 Teil II - Erinnerung (Aussagenlogik), Wahrheitstafel, DNF, Implikant und Primimplikant

  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim, Jügelhaus H VI
  • Datum   08.11.2016 @ 12:24
  • Beschreibung   Aufgrund eines Fehlers liegt die Vorlesung in zwei Teilen vor. Der erste Teil betrifft nur den Anfang und ist kurz.

Thumbnail Thumbnail

V07 Teil I - Erinnerung (Aussagenlogik), Wahrheitstafel, DNF, Implikant und Primimplikant

  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim, Jügelhaus H VI
  • Datum   08.11.2016 @ 12:17
  • Beschreibung   Aufgrund eines Fehlers liegt die Vorlesung in zwei Teilen vor. Der erste Teil betrifft nur den Anfang und ist kurz.

Thumbnail Thumbnail

V06 Kommutativität und Assoziativität

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

Thumbnail Thumbnail

V05 - Syntax und Semantik, Wahrheitswerte

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

Thumbnail Thumbnail

V03 - Potenzmenge, Paare, Tupel, kart. Produkt, Worte, Sprache, Relationen, Funktionen

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

Thumbnail Thumbnail

V02 - Mengenbildung und Operationen auf Mengen

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

Thumbnail Thumbnail

V01 - Organisatorisches; Ziele, Begriffsklärung und Anwendungen der Diskreten Modellierung; Aussagen (Wahr oder falsch?); Berry-Paradox; Russellsche Antinomie

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

Thumbnail Thumbnail

V04 - Notation, Mächtigkeit und Kardinalität,

  • Sprecher   Prof. Dr. Georg Schnitger
  • Ort   Campus Bockenheim, Jügelhaus HVI
  • Datum   22.10.2015
  • Beschreibung   Hierbei handelt es sich um eine Aufzeichnung aus dem WS15/16