Videokatalog

Sortieren nach Titel Sortieren nach Datum

1 Informatik SoSe 12 OE Wahlpflichtvorstellung Prof. Dr. Michael Köhler-Bußmeier
28 Informatik WiSe 11/12 Formale Grundlagen der Informatik II Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 31.01.2012 27 - KKN, CPN, Datenbankmanager, Renew Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 19.01.2012 24 - Workflow, Bankiersproblem Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 17.01.2012 23 - Workflow, KKN Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 22.12.2011 20 - Fairness, partial order semantics Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 20.12.2011 19 - Verzweigungs-Bisimulation Prof. Dr. Michael Köhler-Bußmeier 15.12.2011 18 - Rekursion Prof. Dr. Michael Köhler-Bußmeier 13.12.2011 17 - Parallele Komposition Prof. Dr. Michael Köhler-Bußmeier 08.12.2011 16 - "Verträglichkeit" der Bisimulation mit BPA Prof. Dr. Michael Köhler-Bußmeier 06.12.2011 15 - Prozessalgebra Prof. Dr. Michael Köhler-Bußmeier 01.12.2011 14 - S-Inv-Vektor vs. S-Inv-Gleichung, Fairness Prof. Dr. Michael Köhler-Bußmeier 29.11.2011 13 - Zustandsraumexplosion Prof. Dr. Michael Köhler-Bußmeier 24.11.2011 12 - Algorithmus: Lebendigkeits-Invarianz Prof. Dr. Michael Köhler-Bußmeier 22.11.2011 11 - Unabhängigkeit von Beschränkheit, Lebendigkeit und Reversibilität Prof. Dr. Michael Köhler-Bußmeier 17.11.2011 10 - P/T Netze Prof. Dr. Michael Köhler-Bußmeier 15.11.2011 9 - Petrinetze Prof. Dr. Michael Köhler-Bußmeier 10.11.2011 8 - Komplexität: CTL-Model-Checking, Petrinetze, Entwicklung Prof. Dr. Michael Köhler-Bußmeier 08.11.2011 7 - Model Checking Prof. Dr. Michael Köhler-Bußmeier 03.11.2011 6 - CTL- Formeln, Fairness Prof. Dr. Michael Köhler-Bußmeier 01.11.2011 5 - Temporale Logik, LTL - Formeln Prof. Dr. Michael Köhler-Bußmeier 27.10.2011 4 - Kodierung von Kripkestrukturen, Mutual Exclusion, Temporale Logik Prof. Dr. Michael Köhler-Bußmeier 25.10.2011 3 - Äquivalenz von Systemen Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 20.10.2011 2 - Büchi Automaten Dr. Daniel Moldt, Prof. Dr. Michael Köhler-Bußmeier 18.10.2011 1 - Organisatorisches Prof. Dr. Michael Köhler-Bußmeier Alle Videos...
26 Informatik SoSe 11 Formale Grundlagen der Informatik I Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach 12.07.2011 27 - µ-rekursive Funktionen Prof. Dr. Michael Köhler-Bußmeier 11.07.2011 26 - Berechenbarkeitsdefinitionen Prof. Dr. Michael Köhler-Bußmeier 04.07.2011 24 - Komplexitätklassen Prof. Dr. Michael Köhler-Bußmeier 28.06.2011 23 - Turingmaschinen und kontextsensitive Grammatiken III Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach 27.06.2011 22 - Turingmaschinen und kontextsensitive Grammatiken II Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach 21.06.2011 21 - Turingmaschinen und kontextsensitive Grammatiken Prof. Dr. Michael Köhler-Bußmeier 20.06.2011 20 - Typ-0 Grammatik nach Chomsky Prof. Dr. Michael Köhler-Bußmeier 07.06.2011 19 - Deterministischer Kellerautomat, andere Chomsky Grammatiken Prof. Dr. Michael Köhler-Bußmeier 19.04.2011 06 - Pumping, Abschlusseigenschaften, Entscheidbarkeit und Kellerautomaten Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach 18.04.2011 05 Normalformen kontextfreier Grammatiken Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach 12.04.2011 04 - Automaten IV Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach 11.04.2011 03 - Automaten III Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach 05.04.2011 02 - Automaten II Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach 04.04.2011 01 - Einführung, Automaten Prof. Dr. Michael Köhler-Bußmeier, Dr. Carola Eschenbach Alle Videos...