Formale Grundlagen der Informatik I https://lecture2go.uni-hamburg.de/l2go/-/get/l/3883 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:31 +0100 Wed, 27 Feb 2019 11:36:31 +0100 Formale Grundlagen der Informatik I https://lecture2go.uni-hamburg.de/l2go/-/get/l/3883 https://lecture2go.uni-hamburg.de/images/00.000_koehler-bussmeier_2011-07-12_08-19_m.jpg 27 - µ-rekursive Funktionen https://lecture2go.uni-hamburg.de/l2go/-/get/v/12441 01:28:47 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12441 Tue, 12 Jul 2011 08:19:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12441 26 - Berechenbarkeitsdefinitionen https://lecture2go.uni-hamburg.de/l2go/-/get/v/12440 01:29:45 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12440 Mon, 11 Jul 2011 12:17:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12440 24 - Komplexitätklassen https://lecture2go.uni-hamburg.de/l2go/-/get/v/12472 01:31:30 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12472 Mon, 04 Jul 2011 12:17:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12472 23 - Turingmaschinen und kontextsensitive Grammatiken III https://lecture2go.uni-hamburg.de/l2go/-/get/v/12366 01:28:52 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12366 Tue, 28 Jun 2011 08:20:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12366 22 - Turingmaschinen und kontextsensitive Grammatiken II https://lecture2go.uni-hamburg.de/l2go/-/get/v/12365 01:29:47 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12365 Mon, 27 Jun 2011 12:16:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12365 21 - Turingmaschinen und kontextsensitive Grammatiken https://lecture2go.uni-hamburg.de/l2go/-/get/v/12332 01:28:15 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12332 Tue, 21 Jun 2011 08:18:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12332 20 - Typ-0 Grammatik nach Chomsky https://lecture2go.uni-hamburg.de/l2go/-/get/v/12300 01:29:33 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12300 Mon, 20 Jun 2011 12:15:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12300 19 - Deterministischer Kellerautomat, andere Chomsky Grammatiken https://lecture2go.uni-hamburg.de/l2go/-/get/v/12281 01:29:37 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12281 Tue, 07 Jun 2011 08:19:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12281 18 - Prädikatenlogik V https://lecture2go.uni-hamburg.de/l2go/-/get/v/12280 01:28:04 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12280 Mon, 06 Jun 2011 12:15:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12280 17 - Prädikatenlogik IV https://lecture2go.uni-hamburg.de/l2go/-/get/v/12235 01:31:56 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12235 Tue, 31 May 2011 08:16:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12235 16 - Prädikatenlogik III https://lecture2go.uni-hamburg.de/l2go/-/get/v/12241 01:27:10 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12241 Mon, 30 May 2011 12:13:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12241 15 - Prädikatenlogik II https://lecture2go.uni-hamburg.de/l2go/-/get/v/12205 01:32:14 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12205 Tue, 24 May 2011 08:14:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12205 14 - Prädikatenlogik https://lecture2go.uni-hamburg.de/l2go/-/get/v/12204 01:29:03 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12204 Mon, 23 May 2011 12:14:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12204 13 - Aussagenlogik - Resolution https://lecture2go.uni-hamburg.de/l2go/-/get/v/12155 01:29:41 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12155 Tue, 17 May 2011 08:17:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12155 12 - Aussagenlogik - Hornformeln https://lecture2go.uni-hamburg.de/l2go/-/get/v/12154 01:19:02 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12154 Mon, 16 May 2011 12:22:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12154 11 - Aussagenlogik: Beweisbarkeit https://lecture2go.uni-hamburg.de/l2go/-/get/v/12129 01:31:39 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12129 Tue, 10 May 2011 08:16:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12129 10 - Aussagenlogik: Normalformen, Folgerung https://lecture2go.uni-hamburg.de/l2go/-/get/v/12128 01:20:58 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12128 Mon, 09 May 2011 12:12:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12128 09 - Aussagenlogik, Äquivalenz, Normalformen https://lecture2go.uni-hamburg.de/l2go/-/get/v/12087 01:30:32 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12087 Tue, 03 May 2011 08:16:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12087 08 - Ausagenlogik, Semantik https://lecture2go.uni-hamburg.de/l2go/-/get/v/12089 01:22:44 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12089 Mon, 02 May 2011 12:14:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12089 07 - Aussagenlogik, Syntax https://lecture2go.uni-hamburg.de/l2go/-/get/v/12060 01:28:06 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12060 Tue, 26 Apr 2011 08:16:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12060 06 - Pumping, Abschlusseigenschaften, Entscheidbarkeit und Kellerautomaten https://lecture2go.uni-hamburg.de/l2go/-/get/v/12034 01:31:09 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12034 Tue, 19 Apr 2011 08:20:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12034 05 Normalformen kontextfreier Grammatiken https://lecture2go.uni-hamburg.de/l2go/-/get/v/12033 01:28:33 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12033 Mon, 18 Apr 2011 12:21:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12033 04 - Automaten IV https://lecture2go.uni-hamburg.de/l2go/-/get/v/12011 01:28:13 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12011 Tue, 12 Apr 2011 08:20:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12011 03 - Automaten III https://lecture2go.uni-hamburg.de/l2go/-/get/v/12010 01:29:20 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12010 Mon, 11 Apr 2011 12:14:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/12010 02 - Automaten II https://lecture2go.uni-hamburg.de/l2go/-/get/v/11977 01:11:38 https://lecture2go.uni-hamburg.de/l2go/-/get/v/11977 Tue, 05 Apr 2011 08:17:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/11977 01 - Einführung, Automaten https://lecture2go.uni-hamburg.de/l2go/-/get/v/11975 01:27:55 https://lecture2go.uni-hamburg.de/l2go/-/get/v/11975 Mon, 04 Apr 2011 12:14:00 +0200 https://lecture2go.uni-hamburg.de/l2go/-/get/v/11975