Kapitel 9. Ausblick auf weitere Modellierungstechniken
Untertitel Petri-Netze und das Entity-Relationship-Modell
Sprecher Prof. Dr. Nicole Schweikardt
Ort Jügelhaus H H, Campus Bockenheim
Datum 08.02.2012
Kapitel 8: Kontextfreie Grammatiken zur Modellierung von Strukturen
Sprecher Prof. Dr. Nicole Schweikardt
Ort Jügelhaus, H V
Datum 01.02.2012
Kapitel 7: Endliche Automaten zur Modellierung von Abläufen
Untertitel Teil 3: Reguläre Sprachen, Pumping-Lemma, Reguläre Ausdrücke
Sprecher Prof. Dr. Nicole Schweikardt
Ort Jügelhaus, H V
Datum 01.02.2012
Kapitel 7: Endliche Automaten zur Modellierung von Abläufen
Untertitel Teil 2: Endliche Automaten: DFAs, NFAs, Potenzmengenkonstruktion, Pumping-Lemma
Sprecher Prof. Dr. Nicole Schweikardt
Ort Jügelhaus H V, Bockenheim
Datum 25.01.2012
Kapitel 7: Endliche Automaten zur Modellierung von Abläufen
Untertitel Teil 1: Endliche Automaten: Motivation und Beispiel
Sprecher Prof. Dr. Nicole Schweikardt
Ort Jügelhaus H V, Bockenheim
Datum 18.01.2012
Kapitel 6: Logik erster Stufe (Prädikatenlogik)
Untertitel Teil 2: Formale Semantik der Logik erster Stufe; Formeln zur Beschreibung von Datenbankanfragen; Erfüllbarkeit und Äquivalenz; die Grenzen der Ausdrucksstärke
Sprecher Prof. Dr. Nicole Schweikardt
Ort Jügelhaus H V, Bockenheim
Datum 18.01.2012
Kapitel 6: Logik erster Stufe (Prädikatenlogik)
Untertitel Teil 1: Einführung in die Syntax und Semantik der Logik erster Stufe
Sprecher Prof. Dr. Nicole Schweikardt
Ort Jügelhaus H V, Campus Bockenheim
Datum 11.01.2012
Kapitel 5: Markov-Ketten
Untertitel Teil 2: Markov-Ketten; Existenz und Eindeutigkeit eines Tupels, das die Page-Rank-Eigenschaft besitzt; die effiziente Berechnung des Page-Ranks
Sprecher Prof. Dr. Nicole Schweikardt
Ort Jügelhaus H V, Bockenheim
Datum 21.12.2011 @ 08:16
Kapitel 5: Markov-Ketten als Grundlage der Funktionsweise von Suchmaschinen im Internet
Untertitel Teil 1: die Architektur von Suchmaschinen; der Page-Rank einer Webseite; der Zufalls-Surfer
Sprecher Prof. Dr. Nicole Schweikardt
Ort Jügelhaus H V, Bockenheim
Datum 14.12.2011
Kapitel 4: Graphen und Bäume (Abschluß)
Untertitel Teil 4: Äquivalenzrelationen; Ordnungsrelationen; der reflexive und transitive Abschluss
Sprecher Prof. Dr. Nicole Schweikardt
Ort Jügelhaus H V, Bockenheim
Datum 14.12.2011
Kapitel 4: Graphen und Bäume
Untertitel Teil 3: Ungerichtete bzw. gerichtete Bäume; einige spezielle Arten von Graphen
Untertitel Teil 1: Grundlegende Definitionen; Darstellung von Graphen (abstrakt, graphisch, Adjazenzliste, Adjazenzmatrix)
Sprecher Prof. Dr. Nicole Schweikardt
Ort Jügelhaus, H V
Datum 23.11.2011
Kapitel 3: Aussagenlogik - Abschluss
Untertitel Wahrheitswert; Intuitive Bedeutung der Semantik; Graphische Darstellung von Formeln
Sprecher Prof. Dr. Nicole Schweikardt
Ort Jügelhaus, H V
Datum 23.11.2011
Kapitel 3: Aussagenlogik - Teil 1c
Untertitel Wahrheitstafeln; Erfüllbarkeit und Allgemeingültigkeit
Sprecher Prof. Dr. Nicole Schweikardt
Ort Jügelhaus H V, Campus Bockenheim
Datum 16.11.2011
Kapitel 3: Aussagenlogik - Teil 1b
Untertitel Wahrheitswert; Intuitive Bedeutung der Semantik; Graphische Darstellung von Formeln
Sprecher Prof. Dr. Nicole Schweikardt
Ort Jügelhaus H V, Campus Bockenheim
Datum 16.11.2011
Kapitel 3: Aussagenlogik - Teil 1a
Untertitel Anwendungsbereiche der Logik in der Informatik; Syntax und Semantik der Aussagenlogik
Sprecher Prof. Dr. Nicole Schweikardt
Ort Jügelhaus H V, Campus Bockenheim
Datum 16.11.2011
Kapitel 2: Mathematische Grundlagen und Beweistechniken - Teil 4
Untertitel Induktion und Rekursion
Sprecher Prof. Dr. Nicole Schweikardt
Ort Jügelhaus H V, Campus Bockenheim
Datum 09.11.2011
Kapitel 2: Mathematische Grundlagen und Beweistechniken - Teil 3
Untertitel Funktionen; Modellierung mit Wertebereichen;"Sätze" und "Beweise"; Beweistechniken "direkter Beweis", "Beweis durch Kontraposition", "Beweis durch Widerspruch"
Sprecher Prof. Dr. Nicole Schweikardt
Ort Jügelhaus H V, Campus Bockenheim
Datum 02.11.2011
Kapitel 2: Mathematische Grundlagen und Beweistechniken - Teil 2
