Formale Grundlagen der Informatik 2 https://lecture2go.uni-hamburg.de/l2go/-/get/l/4401 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:37:11 +0100 Wed, 27 Feb 2019 11:37:11 +0100 Formale Grundlagen der Informatik 2 https://lecture2go.uni-hamburg.de/l2go/-/get/l/4401 https://lecture2go.uni-hamburg.de/images/64.060_Dr.DanielMoldt_2015-01-28_16-58_m.jpg 26 - Parallele Algorithmen https://lecture2go.uni-hamburg.de/l2go/-/get/v/17279 01:08:54 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17279 Wed, 28 Jan 2015 16:58:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17279 25 - Parallele Maschinen https://lecture2go.uni-hamburg.de/l2go/-/get/v/17244 01:21:11 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17244 Thu, 22 Jan 2015 16:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17244 24- Fairness/Parallele Maschinen https://lecture2go.uni-hamburg.de/l2go/-/get/v/17227 01:30:35 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17227 Wed, 21 Jan 2015 17:22:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17227 23 - Geschützte Rekursion https://lecture2go.uni-hamburg.de/l2go/-/get/v/17194 01:18:23 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17194 Fri, 16 Jan 2015 16:03:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17194 22 - Parallele Komposition/Rekursion https://lecture2go.uni-hamburg.de/l2go/-/get/v/17184 01:23:04 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17184 Wed, 14 Jan 2015 16:40:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17184 21 - Prozessalgebra https://lecture2go.uni-hamburg.de/l2go/-/get/v/17169 01:25:25 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17169 Fri, 09 Jan 2015 14:47:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17169 20 - Prozessalgebra und Bisimulation https://lecture2go.uni-hamburg.de/l2go/-/get/v/17150 01:30:40 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17150 Wed, 07 Jan 2015 16:35:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17150 19 - Bankiersproblem https://lecture2go.uni-hamburg.de/l2go/-/get/v/17130 01:17:15 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17130 Fri, 19 Dec 2014 14:52:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17130 18 - Bankiersproblem/ Renew https://lecture2go.uni-hamburg.de/l2go/-/get/v/17109 01:17:56 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17109 Wed, 17 Dec 2014 16:30:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17109 17 - Höhere Petrinetze https://lecture2go.uni-hamburg.de/l2go/-/get/v/17089 01:26:45 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17089 Fri, 12 Dec 2014 14:54:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17089 16 - CPN / Workflow https://lecture2go.uni-hamburg.de/l2go/-/get/v/17070 01:20:28 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17070 Wed, 10 Dec 2014 16:35:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17070 15 - Systemverifikation durch Petrinetze https://lecture2go.uni-hamburg.de/l2go/-/get/v/17047 01:28:37 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17047 Fri, 05 Dec 2014 15:31:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17047 14 - Zustandsraumexplosion https://lecture2go.uni-hamburg.de/l2go/-/get/v/17024 01:27:17 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17024 Wed, 03 Dec 2014 16:28:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17024 13 - Analyse endlicher Erreichbarkeitsgraphen https://lecture2go.uni-hamburg.de/l2go/-/get/v/17010 01:33:41 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17010 Fri, 28 Nov 2014 14:37:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/17010 12 - Entscheidbarkeitsproblem https://lecture2go.uni-hamburg.de/l2go/-/get/v/16991 01:29:43 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16991 Wed, 26 Nov 2014 16:27:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16991 11 - Kantenkonstante Netze (KKN) https://lecture2go.uni-hamburg.de/l2go/-/get/v/16975 01:29:12 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16975 Fri, 21 Nov 2014 15:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16975 10 - Verfeinerung/Vergröberung https://lecture2go.uni-hamburg.de/l2go/-/get/v/16966 01:25:47 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16966 Tue, 18 Nov 2014 12:15:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16966 9 - Partial order semantics https://lecture2go.uni-hamburg.de/l2go/-/get/v/16901 01:20:53 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16901 Fri, 14 Nov 2014 14:57:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16901 8 - Synchrone Produkte (Wdh.)/ Partial order semantics https://lecture2go.uni-hamburg.de/l2go/-/get/v/16883 01:16:50 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16883 Wed, 12 Nov 2014 16:35:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16883 7 - Computational Tree Logic (CTL) https://lecture2go.uni-hamburg.de/l2go/-/get/v/16843 01:26:13 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16843 Fri, 07 Nov 2014 14:27:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16843 6 - Temporale Logik https://lecture2go.uni-hamburg.de/l2go/-/get/v/16818 01:29:37 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16818 Fri, 31 Oct 2014 13:52:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16818 5 - Kripkestrukturen von Programmen https://lecture2go.uni-hamburg.de/l2go/-/get/v/16802 01:29:36 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16802 Wed, 29 Oct 2014 11:31:00 +0100 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16802 4 - Synchrone Produkte https://lecture2go.uni-hamburg.de/l2go/-/get/v/16773 01:30:27 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16773 Thu, 23 Oct 2014 14:11:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16773 3 - Büchi-Automaten https://lecture2go.uni-hamburg.de/l2go/-/get/v/16747 01:29:38 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16747 Tue, 21 Oct 2014 15:04:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16747 2 - Model-Checking https://lecture2go.uni-hamburg.de/l2go/-/get/v/16726 01:24:10 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16726 Thu, 16 Oct 2014 12:15:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16726 1 - Modellierung und Analyse von Informatiksystemen https://lecture2go.uni-hamburg.de/l2go/-/get/v/16710 01:29:35 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16710 Tue, 14 Oct 2014 13:36:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/16710