14WS - FB12 - Schnitger - Diskrete Modellierung
V 30 2/2
- Speaker: Prof. Dr. Georg Schnitger
- Location: Magnushörsaal, Bockenheim
- Date: 24.02.2015
- Description:
V 30
- Speaker: Prof. Dr. Georg Schnitger
- Location: Magnushörsaal, Bockenheim
- Date: 23.02.2015
- Description:
V29 Klausuraufgaben
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim - Jügelhaus H VI
- Date: 02.03.2015
- Description:
V28 - Semantik, Relationale Datenbanken, Grenzen der Prädikatenlogik, Addition und Multiplikation in den natürlichen Zahlen, Zermelo-Fränkel Mengenlehre
- Speaker: Prof Dr.Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 28.02.2015 @ 08:37
- Description:
Verspätete Aufnahme, sorry!!
V27
- Speaker: Prof Dr.Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 05.02.2015
- Description:
V26 - Menüs in Benutzungsoberflächen, KFG zur Erzeugung von HTML-Tabellen, Grammatiken, Reguläre Sprachen und kontextfreie Sprachen, Kellerautomaten, Deterministisch kontextfreie Sprachen, Prädikatenlogik
- Speaker: Prof Dr.Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 03.02.2015 @ 08:16
- Description:
V25 - Ableitungen
- Speaker: Prof Dr.Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 29.01.2015
- Description:
V24 - Teil II - Potenzmengenkonstruktion, Reguläre Ausdrücke und Sprachen, Kontextfreie Grammatiken
- Speaker: Prof. Dr. Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 27.01.2015 @ 08:34
- Description:
V24 - Teil I - Potenzmengenkonstruktion, Reguläre Ausdrücke und Sprachen, Kontextfreie Grammatiken
- Speaker: Prof. Dr. Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 27.01.2015 @ 08:20
- Description:
Aufgrund eines Defekts konnten in Teil I nicht die Folien aufgezeichnet werden, sorry
V23 - Reguläre Sprachen
- Speaker: Prof. Dr. Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 22.01.2015 @ 08:15
- Description:
V 22 Endliche Automaten 2
- Subtitle: Teil 1/2
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus HVI
- Date: 15.01.2015
- Description:
V22 Endliche Automaten
- Subtitle: Teil 2/2
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus HVI
- Date: 15.01.2015
- Description:
V21 - Zustandszahl, Zustandsminimierung, Relationen
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus HVI
- Date: 13.01.2015 @ 08:40
- Description:
V20 - Endliche Automaten
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus HVI
- Date: 18.12.2014
- Description:
V19 - Zusammenfassungen und Endlicher Automat
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 16.12.2014 @ 08:19
- Description:
V18 - Markov-Ketten
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 11.12.2014
- Description:
V17 - Entscheidungsbäume, Spielbäume, Suchmaschinen, Page-Rank mittels Peer Review und mittels Zufalls-Surfer
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim - Jügelhaus HVI
- Date: 09.12.2014 @ 08:16
- Description:
V16 - Blätter, innere Knoten und Kinder
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim - Jügelhaus HVI
- Date: 04.12.2014
- Description:
V15 - Fortsetzung Graphen
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 02.12.2014 @ 08:17
- Description:
V14 - Zuordnungsprobleme
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 27.11.2014
- Description:
V13 - Graphen
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 25.11.2014
- Description:
V12 - Vollständige Induktion
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 20.11.2014
- Description:
V11 - Erfüllbarkeitsproblem, Beweise, Beweis durch Diagonalisierung
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 18.11.2014 @ 08:16
- Description:
V10 - Disjunktionsterme, KNF's und Boolsche Funktion
- Speaker: Prof. Dr. Georg Schntiger
- Location: Campus Bockenheim, Jügelhaus HVI
- Date: 13.11.2014
- Description:
V09 - Boolesche Algebra, DNF, KNF, Minterm
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 11.11.2014 @ 08:18
- Description:
Aufgrund eines technischen Problems konnte der Ton leider nicht aufgezeichnet werden
V08 - Semantische Folgerung und Äquivalenz
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 06.11.2014
- Description:
V07 - Geburtstagsproblem, Semantik, Syntax, Formeln, Wahrheitswerte
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 04.11.2014 @ 08:27
- Description:
V06 - Funktionen und endliche Mengen
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 30.10.2014 @ 08:13
- Description:
V05 - Kartesische Produkt/Paare/Tupel, Alphabete/Worte/Sprachen, Relationen, Funktionen
- Speaker: Prof. Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus H VI
- Date: 28.10.2014 @ 08:15
- Description:
V04 - Komplementbildung und Erstes Übungsblatt
- Speaker: Prof. Dr. Georg Schnitger
- Location: Campus Bockenheim, Jügelhaus HVI
- Date: 23.10.2014
- Description:
V03 - Einführung in die Mengenlehre und ihrer Definitionen
- Speaker: Prof. Dr. Georg Schnitger
- Location: H VI (Jügelhaus)
- Date: 21.10.2014 @ 08:24
- Description:
V02 - Das Murmel Spiel - Mengen - Das Problem der Flußüberquerung
- Speaker: Prof. Dr. Georg Schnitger
- Location: Jügelhaus HVI
- Date: 16.10.2014 @ 08:14
- Description: