Formale Grundlagen der Informatik II https://lecture2go.uni-hamburg.de/l2go/-/get/l/3956 de-DE University of Hamburg Lecture2Go 2019 University of Hamburg - Lecture2Go The University of Hamburg offers a steadily growing portion of its lectures online and similar to a take-away. For further information and more video lectures visit the central media platform of the University of Hamburg at http://lecture2go.uni-hamburg.de! Wed, 27 Feb 2019 11:36:37 +0100 Wed, 27 Feb 2019 11:36:37 +0100 Formale Grundlagen der Informatik II https://lecture2go.uni-hamburg.de/l2go/-/get/l/3956 https://lecture2go.uni-hamburg.de/images/64.060_moldt_2012-01-31_12-15_m.jpg 27 - KKN, CPN, Datenbankmanager, Renew https://lecture2go.uni-hamburg.de/l2go/-/get/v/13205 01:26:08 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13205 Tue, 31 Jan 2012 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13205 26 - Parallele Algorithmen, Paralleles Suchen und Mischen https://lecture2go.uni-hamburg.de/l2go/-/get/v/13194 01:20:36 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13194 Thu, 26 Jan 2012 12:37:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13194 25 - Parallele Maschinen https://lecture2go.uni-hamburg.de/l2go/-/get/v/13182 01:18:56 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13182 Tue, 24 Jan 2012 12:38:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13182 24 - Workflow, Bankiersproblem https://lecture2go.uni-hamburg.de/l2go/-/get/v/13140 01:26:20 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13140 Thu, 19 Jan 2012 12:34:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13140 23 - Workflow, KKN https://lecture2go.uni-hamburg.de/l2go/-/get/v/13139 01:30:15 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13139 Tue, 17 Jan 2012 12:28:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13139 22 - Die Vorlesung konnte aufgrund technischer Problemen nicht aufgezeichnet werden. https://lecture2go.uni-hamburg.de/l2go/-/get/v/13119 00:00:15 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13119 Thu, 12 Jan 2012 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13119 21 - Petrinetzprozesse, Zeitstempel in verteilten Systemen Teil 2 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13118 00:34:29 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13118 Tue, 10 Jan 2012 13:27:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13118 21 - Petrinetzprozesse, Zeitstempel in verteilten Systemen Teil 1 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13117 00:50:22 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13117 Tue, 10 Jan 2012 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13117 20 - Fairness, partial order semantics https://lecture2go.uni-hamburg.de/l2go/-/get/v/13158 01:32:56 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13158 Thu, 22 Dec 2011 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13158 19 - Verzweigungs-Bisimulation https://lecture2go.uni-hamburg.de/l2go/-/get/v/13124 00:58:07 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13124 Tue, 20 Dec 2011 12:57:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13124 18 - Rekursion https://lecture2go.uni-hamburg.de/l2go/-/get/v/13055 01:29:17 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13055 Thu, 15 Dec 2011 12:24:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13055 17 - Parallele Komposition https://lecture2go.uni-hamburg.de/l2go/-/get/v/13054 01:29:27 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13054 Tue, 13 Dec 2011 12:24:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13054 16 - "Verträglichkeit" der Bisimulation mit BPA https://lecture2go.uni-hamburg.de/l2go/-/get/v/13021 01:30:23 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13021 Thu, 08 Dec 2011 12:24:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13021 15 - Prozessalgebra https://lecture2go.uni-hamburg.de/l2go/-/get/v/13020 01:27:02 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13020 Tue, 06 Dec 2011 12:28:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13020 14 - S-Inv-Vektor vs. S-Inv-Gleichung, Fairness https://lecture2go.uni-hamburg.de/l2go/-/get/v/12931 01:31:17 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12931 Thu, 01 Dec 2011 12:23:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12931 13 - Zustandsraumexplosion https://lecture2go.uni-hamburg.de/l2go/-/get/v/12874 01:30:08 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12874 Tue, 29 Nov 2011 12:25:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12874 12 - Algorithmus: Lebendigkeits-Invarianz https://lecture2go.uni-hamburg.de/l2go/-/get/v/12850 01:18:02 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12850 Thu, 24 Nov 2011 12:32:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12850 11 - Unabhängigkeit von Beschränkheit, Lebendigkeit und Reversibilität https://lecture2go.uni-hamburg.de/l2go/-/get/v/12824 01:19:58 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12824 Tue, 22 Nov 2011 12:35:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12824 10 - P/T Netze https://lecture2go.uni-hamburg.de/l2go/-/get/v/12813 01:30:20 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12813 Thu, 17 Nov 2011 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12813 9 - Petrinetze https://lecture2go.uni-hamburg.de/l2go/-/get/v/12812 01:25:55 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12812 Tue, 15 Nov 2011 12:27:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12812 8 - Komplexität: CTL-Model-Checking, Petrinetze, Entwicklung https://lecture2go.uni-hamburg.de/l2go/-/get/v/12772 01:30:36 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12772 Thu, 10 Nov 2011 12:21:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12772 7 - Model Checking https://lecture2go.uni-hamburg.de/l2go/-/get/v/12784 01:12:09 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12784 Tue, 08 Nov 2011 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12784 6 - CTL- Formeln, Fairness https://lecture2go.uni-hamburg.de/l2go/-/get/v/12769 01:23:06 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12769 Thu, 03 Nov 2011 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12769 5 - Temporale Logik, LTL - Formeln https://lecture2go.uni-hamburg.de/l2go/-/get/v/12718 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12718 Tue, 01 Nov 2011 12:28:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12718 4 - Kodierung von Kripkestrukturen, Mutual Exclusion, Temporale Logik https://lecture2go.uni-hamburg.de/l2go/-/get/v/12703 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12703 Thu, 27 Oct 2011 12:23:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12703 3 - Äquivalenz von Systemen https://lecture2go.uni-hamburg.de/l2go/-/get/v/13195 01:28:15 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13195 Tue, 25 Oct 2011 12:24:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13195 2 - Büchi Automaten https://lecture2go.uni-hamburg.de/l2go/-/get/v/13247 00:57:01 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13247 Thu, 20 Oct 2011 12:15:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/13247 1 - Organisatorisches https://lecture2go.uni-hamburg.de/l2go/-/get/v/12676 01:29:25 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12676 Tue, 18 Oct 2011 12:22:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12676