News

03.06.2013

openHPI course "WWW"

Start of the openHPI course "Introduction to Web Technologies" (in German) on openHPI. You can enroll here.
08.04.2013

openHPI course "SQL"

Start of the openHPI course "Data Management with SQL" (in German) on openHPI. You can still enroll in the course ... [more]
05.03.2013

tele-TASK at CeBIT 2013

Also this year the project tele-TASK will be at CeBIT. You can find us at the booth of Hasso Plattner ... [more]

Statistics

userclicks~31 Mio.
lecture4444
activelecturer1665
series357
Lecture-Feed of Series: Theoretische Informatik I (WS 2011/12)Feed of Series: Theoretische Informatik I (WS 2011/12)

Theoretische Informatik I (WS 2011/12)

Prof. Dr. Christoph Kreitz

Die Theoretische Informatik beschäftigt sich mit den grundlegenden Fragestellungen der Informatik. Hierzu werden Computer- und Automatenmodelle idealisiert und mathematisch untersucht.

Einführung

Date:21.10.2011
Lang.: de
Dur.:01:19:11
Play full lecture
• Einführung 00:18:00
• Organisatorisches 00:20:44
• Methodik der Beweisführung 00:19:07
• Induktive Beweise 00:21:20

Endliche Automaten & Reguläre Sprachen

Date:28.10.2011
Lang.: de
Dur.:01:19:21
Play full lecture
• Automaten: Das einfachste Maschinenmodell 00:21:25
• Erkennung von Wörtern mit Automaten 00:14:49
• Arbeitsweise von endlichen Automaten 00:11:36
• Entwurf und Analyse endlicher Automaten 00:18:07
• Alternative Beschreibung der Arbeitsweise von DEAs 00:13:24

Reguläre Ausdrücke

Date:18.11.2011
Lang.: de
Dur.:01:21:40
Play full lecture
• Optimierte Teilmengenkonstruktion 00:16:43
• Reguläre Ausdrücke 00:17:14
• Sprachen vs. Ausdrücke 00:15:01
• Bestimmung der Semantik 00:15:38
• Beweismethodik für weitere Äquivalenzen 00:17:04
Date:25.11.2011
Lang.: de
Dur.:01:23:38
Play full lecture
• Korrektheit der Umwandlungen 00:19:52
• Zustandselimination in VNEAs 00:20:28
• Reguläre Ausdrücke - Zusammenfassung 00:21:31
• Arbeitsweise von Grammatiken - präzisiert 00:21:47

Sprachklassen

Date:02.12.2011
Lang.: de
Dur.:01:18:01
Play full lecture
• Sprachklassen 00:20:48
• Umwandlung am Beispiel 00:08:55
• Ankündigung Probeklausur 00:03:32
• Eigenschaften regulärer Sprachen 00:17:28
• Produktkonstruktion am Beispiel 00:15:56
• Bild unter Homomorphismen 00:11:22
Date:09.12.2011
Lang.: de
Dur.:01:23:48
Play full lecture
• Test für Eigenschaften regulärer Sprachen 00:16:39
• Äquivalenz für Zustande 00:14:35
• Minimierung endlicher Automaten 00:18:24
• Inverse Homomorphismen 00:04:05
• Äquvalenzklassen der Sprache 00:18:50
• Beweis des Pumping Lemmas 00:11:15

Kontextfreie Sprachen

Date:16.12.2011
Lang.: de
Dur.:01:20:01
Play full lecture
• Anwendung des Pumping Lemmas 00:14:43
• Kontextfreie Sprachen 00:17:00
• Kontextfreie Grammatik für Palindrome 00:14:06
• Ableitungsbäume 00:15:28
• Mehrdeutigkeit 00:18:44

Pushdown Automaten

Date:06.01.2012
Lang.: de
Dur.:01:13:12
Play full lecture
• Maschinenmodell für Typ-2 Sprachen 00:21:03
• Pushdown Automat Beispiel 00:14:22
• Akzeptierte Sprache eines Pushdown Automaten 00:18:27
• Erkennen mit leerem Stack ist oft einfacher 00:19:20
Date:13.01.2012
Lang.: de
Dur.:01:20:47
Play full lecture
• Sind PDAs Maschinen für Typ-2 Sprachen? 00:15:09
• Von Pusdown Automat zu Grammatik 00:20:32
• Brauchen wir Nichtdeterministische Automaten 00:19:40
• Eigenschaften kontextfreier Sprachen 00:11:57
• Abgeschlossenheit unter Substitution 00:13:29
Date:20.01.2012
Lang.: de
Dur.:01:25:40
Play full lecture
• Durchschnitt, Komplement und Differenz 00:14:42
• Die Chomsky Normalform 00:19:37
• Unnütze Symbole eliminieren 00:16:08
• Tests für Eigenschaften kontextfreier Sprachen 00:18:52
• Unentscheidbare Probleme für Typ-2 Sprachen 00:16:21

Touringmaschinen

Date:27.01.2012
Lang.: de
Dur.:01:18:39
Play full lecture
• Beweis des Pumping Lemmas 00:17:38
• Beschreibung von Touringmaschinen 00:19:02
• Erkannte Sprache einer Touringmaschine 00:20:00
• Simulation einer Maschine mit Registern 01:18:39
Date:03.02.2012
Lang.: de
Dur.:01:12:41
Play full lecture
• Nichtderministische Touringmaschine 00:23:00
• Touringmaschinen als Maschinenmodell für L0 00:18:26
• Automat für Typ1 Sprachen 00:14:54
• Abschlusseigenschaften 00:16:21
Date:10.02.2012
Lang.: de
Dur.:00:51:31
Play full lecture
• Nachweis der Abschlusseigenschaften 00:19:58
• Prüfen von Eigenschaften summarisch 00:11:48
• Zusammenfassung der Modelle 00:19:45
Tags added to this content

No tags have been added to this content so far.

Tag this content

Please enable javascript to use this function.

Dear user,
with the tagging function you'll be able to add taggs to videos.
However, in order to link all your tags with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Links added to this content

No links have been added to this content so far.

Add Link to this content

Please enable javascript to use this function.

Dear user,
with the links function you'll be able to add links to other resources to this content.
However, in order to link all your links with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.