Beschreibung Die heutige Vorlesung zum Valentinstag wurde Ihnen von der Telekom präsentiert - entschuldigen Sie bitte das Rosa. Es fehlen zudem leider die ersten fünf Minuten. Viel Erfolg bei der Klausur!
V29 - Logik erster Stufe
Sprecher Prof. Dr. Schnitger
Ort Campus Bockenheim, Jügelhaus, H VI
Datum 12.02.2019 @ 12:15
V28 - kontextfreie Sprachen
Sprecher Prof. Dr. Schnitger
Ort Campus Bockenheim, Jügelhaus, HVI
Datum 07.02.2019
Beschreibung Aufgrund schwerer technischer Fehler fehlen zwanzig Minuten der Vorlesung.
V27 - Produktionen: Die Semantik von KFGs; Beispiele; Die Chomsky-Hierarchie
Beschreibung Heute mit falschem Format (16:9 statt 4:3) und falscher Auflösung für die Folien. Wir hoffen bald Lösungen für ALLE Fehler parat zu haben und bitten, wie so oft, um Entschuldigung.
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
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.
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.
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.
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
V18 - Markov-Ketten
Sprecher Prof. Dr. Schnitger
Ort Campus Bockenheim, Jügelhaus HVI
Datum 13.12.2018
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
V16 - Entscheidungsbäume: Bäume für die Darstellung von Entscheidungsfolgen
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.
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
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.
V11 - Vollständige Induktion
Sprecher Prof. Dr. Schnitger
Ort Campus Bockenheim, Jügelhaus, H VI
Datum 20.11.2018 @ 12:15
V10 - Diagonalisierung - Übungen und Fragen
Sprecher Prof. Dr. Schnitger
Ort Campus Bockenheim, Jügelhaus, HVI
Datum 15.11.2018
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
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.
V07 - SymPy, Fundamentale Äquivalenzen, Wie groß sind Wahrheitstafeln?, Wir bauen eine disjunktive Normalform aus einer Wahrheitstafel!, Literale, Konjunktionsterme, konjunktive Normalform