Formale Grundlagen der Informatik I http://lecture2go.uni-hamburg.de Lecture2Go RSS-Feeds DE ℗ & © 2010 University of Hamburg Lecture2Go 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! Tue , 11 Sep 2012 11:13:44 +2000 Tue , 11 Sep 2012 11:13:44 +2000 Zentrale Medienplattform der Universitaet Hamburg http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de//liferay-jedi-theme/images/l2go/l2go_logo_transp.png 27 - µ-rekursive Funktionen Vertr.-Prof. Dr. Michael Köhler-Bussmeier http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12441 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12441 Tue, 12 Jul 2011 08:19:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12441 26 - Berechenbarkeitsdefinitionen Vertr.-Prof. Dr. Michael Köhler-Bussmeier http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12440 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12440 Mon, 11 Jul 2011 12:17:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12440 24 - Komplexitätklassen Vertr.-Prof. Dr. Michael Köhler-Bussmeier http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12472 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12472 Mon, 04 Jul 2011 12:17:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12472 23 - Turingmaschinen und kontextsensitive Grammatiken III Vertr.-Prof. Dr. Michael Köhler-Bussmeier, Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12366 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12366 Tue, 28 Jun 2011 08:20:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12366 22 - Turingmaschinen und kontextsensitive Grammatiken II Vertr.-Prof. Dr. Michael Köhler-Bussmeier, Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12365 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12365 Mon, 27 Jun 2011 12:16:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12365 21 - Turingmaschinen und kontextsensitive Grammatiken Vertr.-Prof. Dr. Michael Köhler-Bussmeier, http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12332 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12332 Tue, 21 Jun 2011 08:18:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12332 20 - Typ-0 Grammatik nach Chomsky Vertr.-Prof. Dr. Michael Köhler-Bussmeier http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12300 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12300 Mon, 20 Jun 2011 12:15:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12300 19 - Deterministischer Kellerautomat, andere Chomsky Grammatiken Vertr.-Prof. Dr. Michael Köhler-Bussmeier, http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12281 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12281 Tue, 07 Jun 2011 08:19:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12281 18 - Prädikatenlogik V Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12280 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12280 Mon, 06 Jun 2011 12:15:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12280 17 - Prädikatenlogik IV Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12235 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12235 Tue, 31 May 2011 08:16:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12235 16 - Prädikatenlogik III Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12241 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12241 Mon, 30 May 2011 12:13:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12241 15 - Prädikatenlogik II Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12205 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12205 Tue, 24 May 2011 08:14:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12205 14 - Prädikatenlogik Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12204 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12204 Mon, 23 May 2011 12:14:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12204 13 - Aussagenlogik - Resolution Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12155 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12155 Tue, 17 May 2011 08:17:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12155 12 - Aussagenlogik - Hornformeln Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12154 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12154 Mon, 16 May 2011 12:22:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12154 11 - Aussagenlogik: Beweisbarkeit Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12129 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12129 Tue, 10 May 2011 08:16:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12129 10 - Aussagenlogik: Normalformen, Folgerung Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12128 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12128 Mon, 09 May 2011 12:12:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12128 09 - Aussagenlogik, Äquivalenz, Normalformen Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12087 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12087 Tue, 03 May 2011 08:16:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12087 08 - Ausagenlogik, Semantik Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12089 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12089 Mon, 02 May 2011 12:14:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12089 07 - Aussagenlogik, Syntax Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12060 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12060 Tue, 26 Apr 2011 08:16:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12060 06 - Pumping, Abschlusseigenschaften, Entscheidbarkeit und Kellerautomaten Vertr.-Prof. Dr. Michael Köhler-Bussmeier, Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12034 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12034 Tue, 19 Apr 2011 08:20:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12034 05 Normalformen kontextfreier Grammatiken Vertr.-Prof. Dr. Michael Köhler-Bussmeier, Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12033 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12033 Mon, 18 Apr 2011 12:21:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12033 04 - Automaten IV Vertr.-Prof. Dr. Michael Köhler-Bussmeier, Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12011 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12011 Tue, 12 Apr 2011 08:20:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12011 03 - Automaten III Vertr.-Prof. Dr. Michael Köhler-Bussmeier, Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12010 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12010 Mon, 11 Apr 2011 12:14:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/12010 02 - Automaten II Vertr.-Prof. Dr. Michael Köhler-Bussmeier, Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/11977 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/11977 Tue, 05 Apr 2011 08:17:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/11977 01 - Einführung, Automaten Vertr.-Prof. Dr. Michael Köhler-Bussmeier, Dr. Carola Eschenbach http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/11975 http://lecture2go.uni-hamburg.de/liferay-jedi-theme/images/l2go/itunesu/logo.jpg http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/11975 Mon, 04 Apr 2011 12:14:00 +0200 http://lecture2go.uni-hamburg.de/veranstaltungen/-/v/11975