Klausurvorbereitung
- Untertitel Teil 2
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim, Jügelhaus HIII
- Datum 23.02.2017
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
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
Klausurvorbereitung
- Untertitel Teil 3
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim, Jügelhaus HIII
- Datum 20.02.2017
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.
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.
V29 - Die Prädikatenlogik
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim, Jügelhaus H VI
- Datum 07.02.2017
V28 Logik erster Stufe (Prädikatenlogik) - Klausurthemenbereiche
- Sprecher Prof. Dr. Georg Schntiger
- Ort Campus Bockenheim - Jügelhaus H VI
- Datum 02.02.2017
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
V26 Kontextfreie Grammatiken, Kontextfreie Sprachen
- Sprecher Prof. Dr. Georg Schntiger
- Ort Campus Bockenheim - Jügelhaus H VI
- Datum 26.01.2017
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
V24 Neroden-Automat, Reguläe Sprachen
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim, H VI
- Datum 19.01.2017
V23 - Der Minimierungsalgorithmus; Die Nerode-Relation
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim, Jügelhaus H VI
- Datum 17.01.2017 @ 12:20
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.
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
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
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
V18 - Markov-Ketten, Vektor-Matrix und Matrizenprodukt
- Sprecher Prof. Dr. Georg Schntiger
- Ort Campus Bockenheim - Jügelhaus H VI
- Datum 15.12.2016
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
V16 - Entscheidungsbäume: Spielbäume. Markov Ketten
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim, Jügelhaus H VI
- Datum 08.12.2016
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
V14 - Färbung von Knoten
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim, Jügelhaus H VI
- Datum 01.12.2016
V13 - Graphen, Zuordnungsprobleme
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim, Jügelhaus H VI
- Datum 29.11.2016 @ 12:18
V12 Rekursive Programme
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Jügelhaus H VI
- Datum 24.11.2016
V11 - Vollständige Induktion, Rekursive Definitionen
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim, Jügelhaus H VI
- Datum 22.11.2016 @ 12:18
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
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.
V08 Disjunktionsterme und KNFs
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Jügelhaus H VI
- Datum 10.11.2016
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.
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.
V06 Kommutativität und Assoziativität
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Jügelhaus H VI
- Datum 03.11.2016
V05 - Syntax und Semantik, Wahrheitswerte
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim, Jügelhaus H VI
- Datum 01.11.2016
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
V02 - Mengenbildung und Operationen auf Mengen
- Sprecher Prof. Dr. Georg Schnitger
- Ort Campus Bockenheim - Jügelhaus H VI
- Datum 20.10.2016
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
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