Formale Grundlagen der Informatik II https://lecture2go.uni-hamburg.de/l2go/-/get/l/4254 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:59 +0100 Wed, 27 Feb 2019 11:36:59 +0100 Formale Grundlagen der Informatik II https://lecture2go.uni-hamburg.de/l2go/-/get/l/4254 https://lecture2go.uni-hamburg.de/images/64.060_valk_2014-01-28_12-00_m.jpg 27 - PRAM https://lecture2go.uni-hamburg.de/l2go/-/get/v/15970 01:06:21 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15970 Tue, 28 Jan 2014 12:00:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15970 26 - Parallele Maschinen https://lecture2go.uni-hamburg.de/l2go/-/get/v/15955 01:26:44 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15955 Thu, 23 Jan 2014 12:03:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15955 25 - Abstraktion https://lecture2go.uni-hamburg.de/l2go/-/get/v/15942 01:32:16 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15942 Tue, 21 Jan 2014 12:03:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15942 24 - Rekursion https://lecture2go.uni-hamburg.de/l2go/-/get/v/15924 01:33:03 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15924 Thu, 16 Jan 2014 12:00:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15924 23 - ACP-Axiome https://lecture2go.uni-hamburg.de/l2go/-/get/v/15916 01:32:22 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15916 Tue, 14 Jan 2014 12:00:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15916 22 - Prozessalgebra https://lecture2go.uni-hamburg.de/l2go/-/get/v/15905 01:30:03 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15905 Thu, 09 Jan 2014 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15905 21 - Prozessalgebra https://lecture2go.uni-hamburg.de/l2go/-/get/v/15887 01:27:51 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15887 Tue, 07 Jan 2014 12:01:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15887 20 - Datenbank - Manager; Alternierprotokoll https://lecture2go.uni-hamburg.de/l2go/-/get/v/15859 01:19:04 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15859 Thu, 19 Dec 2013 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15859 19 - Renew (Wdh.); Bankiersproblem https://lecture2go.uni-hamburg.de/l2go/-/get/v/15848 01:27:01 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15848 Tue, 17 Dec 2013 12:00:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15848 18 - Renew; Workflow https://lecture2go.uni-hamburg.de/l2go/-/get/v/15815 01:27:03 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15815 Thu, 12 Dec 2013 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15815 17 - Strukturelle Eigenschaftem von Systemverifikationen https://lecture2go.uni-hamburg.de/l2go/-/get/v/15805 01:26:28 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15805 Tue, 10 Dec 2013 12:00:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15805 16 - Strukturelle Eigenschaften: Netzinvarianten, Fallen https://lecture2go.uni-hamburg.de/l2go/-/get/v/15759 01:31:42 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15759 Thu, 05 Dec 2013 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15759 15 - Fairness; Zustandsraumexplosion https://lecture2go.uni-hamburg.de/l2go/-/get/v/15745 01:26:39 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15745 Tue, 03 Dec 2013 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15745 14 - Entscheidbarkeitsproblem https://lecture2go.uni-hamburg.de/l2go/-/get/v/15756 01:31:35 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15756 Thu, 28 Nov 2013 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15756 13 - Elementare Systemeigenschaften von P/T - Netzen (Wdh.) https://lecture2go.uni-hamburg.de/l2go/-/get/v/15702 01:27:13 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15702 Tue, 26 Nov 2013 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15702 12 - Elementare Systemeigenschaften von P/T-Netzen https://lecture2go.uni-hamburg.de/l2go/-/get/v/15652 01:28:49 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15652 Thu, 21 Nov 2013 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15652 11 - Verfeinerung / Vergrößerung https://lecture2go.uni-hamburg.de/l2go/-/get/v/15651 01:31:18 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15651 Tue, 19 Nov 2013 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15651 10 - Partial order semantics / Petrinetze https://lecture2go.uni-hamburg.de/l2go/-/get/v/15621 01:33:12 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15621 Thu, 14 Nov 2013 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15621 9 - Synchrone Produkte https://lecture2go.uni-hamburg.de/l2go/-/get/v/15606 01:28:41 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15606 Tue, 12 Nov 2013 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15606 8 - Komplexität: CTL-Model-Checking https://lecture2go.uni-hamburg.de/l2go/-/get/v/15530 01:13:53 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15530 Thu, 07 Nov 2013 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15530 7 - Fairness https://lecture2go.uni-hamburg.de/l2go/-/get/v/15527 01:29:33 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15527 Tue, 05 Nov 2013 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15527 6- Linearzeit-Logik (LTL,CTL) https://lecture2go.uni-hamburg.de/l2go/-/get/v/15493 01:28:51 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15493 Thu, 31 Oct 2013 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15493 5 - Sequentielle Programme https://lecture2go.uni-hamburg.de/l2go/-/get/v/15477 01:29:23 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15477 Tue, 29 Oct 2013 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15477 4 - Synchrone Produkte: Kripkestrukturen; Wechselseitiger Ausschluss https://lecture2go.uni-hamburg.de/l2go/-/get/v/15449 01:31:41 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15449 Thu, 24 Oct 2013 12:15:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15449 3 - Büchi Automaten https://lecture2go.uni-hamburg.de/l2go/-/get/v/15441 01:29:47 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15441 Tue, 22 Oct 2013 12:15:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15441 2 - Büchi Automaten; Transitionssysteme https://lecture2go.uni-hamburg.de/l2go/-/get/v/15420 01:26:56 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15420 Thu, 17 Oct 2013 12:15:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15420 1 - Model Checking https://lecture2go.uni-hamburg.de/l2go/-/get/v/15418 01:28:34 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15418 Tue, 15 Oct 2013 12:15:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/15418