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]
all news ...

Statistics

userclicks~31 Mio.
lecture4444
activelecturer1665
series357

Lectures & Courses: WS 2011/12

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)

Image of Theoretische Informatik I (WS 2011/12)
You can rate here if you log in!

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

Einführung
Not enough ratings.
You can rate here if you log in!
Date:21.10.2011
Lang.: de
Dur.:01:19:11

Einführung

Prof. Dr. Christoph Kreitz

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

Deterministische endliche Automaten
You can rate here if you log in!
Date:28.10.2011
Lang.: de
Dur.:01:19:21

Deterministische endliche Automaten

Prof. Dr. Christoph Kreitz

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

Reguläre Ausdrücke
Not enough ratings.
You can rate here if you log in!
Date:18.11.2011
Lang.: de
Dur.:01:21:40

Reguläre Ausdrücke

Prof. Dr. Christoph Kreitz

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
Umwandlung regulärer Ausdrücke
Not enough ratings.
You can rate here if you log in!
Date:25.11.2011
Lang.: de
Dur.:01:23:38

Umwandlung regulärer Ausdrücke

Prof. Dr. Christoph Kreitz

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

Sprachklassen
Not enough ratings.
You can rate here if you log in!
Date:02.12.2011
Lang.: de
Dur.:01:18:01

Sprachklassen

Prof. Dr. Christoph Kreitz

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
Eigenschaften regulärer Sprachen
Not enough ratings.
You can rate here if you log in!
Date:09.12.2011
Lang.: de
Dur.:01:23:48

Eigenschaften regulärer Sprachen

Prof. Dr. Christoph Kreitz

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

Kontextfreie Sprachen
Not enough ratings.
You can rate here if you log in!
Date:16.12.2011
Lang.: de
Dur.:01:20:01

Kontextfreie Sprachen

Prof. Dr. Christoph Kreitz

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

Pushdown Automaten
Not enough ratings.
You can rate here if you log in!
Date:06.01.2012
Lang.: de
Dur.:01:13:12

Pushdown Automaten

Prof. Dr. Christoph Kreitz

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
Pushdown Automaten und Grammatiken
Not enough ratings.
You can rate here if you log in!
Date:13.01.2012
Lang.: de
Dur.:01:20:47

Pushdown Automaten und Grammatiken

Prof. Dr. Christoph Kreitz

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
Die Chomsky Normalform
Not enough ratings.
You can rate here if you log in!
Date:20.01.2012
Lang.: de
Dur.:01:25:40

Die Chomsky Normalform

Prof. Dr. Christoph Kreitz

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

Touringmaschinen
Not enough ratings.
You can rate here if you log in!
Date:27.01.2012
Lang.: de
Dur.:01:18:39

Touringmaschinen

Prof. Dr. Christoph Kreitz

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
Nichtdeterministische Touringmaschinen
Not enough ratings.
You can rate here if you log in!
Date:03.02.2012
Lang.: de
Dur.:01:12:41

Nichtdeterministische Touringmaschinen

Prof. Dr. Christoph Kreitz

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
Abschlusseigenschaften von Touringmaschinen
Not enough ratings.
You can rate here if you log in!
Date:10.02.2012
Lang.: de
Dur.:00:51:31

Abschlusseigenschaften von Touringmaschinen

Prof. Dr. Christoph Kreitz

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.