News

03.06.2013

openHPI-Kurs "WWW"

Start des openHPI-Kurses "Einführung in die Web-Technologien" (in deutscher Sprache) bei openHPI. Anmelden können Sie sich hier.
08.04.2013

openHPI-Kurs SQL

Start des Kurses "Datenmanagement mit SQL" auf openHPI. Einschreiben in den Kurs können Sie sich noch jederzeit unter der Adresse ... [more]
05.03.2013

tele-TASK auf der CeBIT 2013

Auch dieses Jahr wird das Projekt tele-TASK wieder auf der CeBIT vertreten sein. Ihr findet uns am Stand des Hasso-Plattner-Instituts ... [more]
all news ...

Statistics

userclicks~31 Mio.
lecture4440
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)
Bewertung nach Login möglich

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
Nicht genügend Bewertungen
Bewertung nach Login möglich
Datum:21.10.2011
Sprache: de
Dauer:01:19:11

Einführung

Prof. Dr. Christoph Kreitz

Vorlesung abspielen
• 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
Bewertung nach Login möglich
Datum:28.10.2011
Sprache: de
Dauer:01:19:21

Deterministische endliche Automaten

Prof. Dr. Christoph Kreitz

Vorlesung abspielen
• 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
Nicht genügend Bewertungen
Bewertung nach Login möglich
Datum:18.11.2011
Sprache: de
Dauer:01:21:40

Reguläre Ausdrücke

Prof. Dr. Christoph Kreitz

Vorlesung abspielen
• 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
Nicht genügend Bewertungen
Bewertung nach Login möglich
Datum:25.11.2011
Sprache: de
Dauer:01:23:38

Umwandlung regulärer Ausdrücke

Prof. Dr. Christoph Kreitz

Vorlesung abspielen
• 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
Nicht genügend Bewertungen
Bewertung nach Login möglich
Datum:02.12.2011
Sprache: de
Dauer:01:18:01

Sprachklassen

Prof. Dr. Christoph Kreitz

Vorlesung abspielen
• 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
Nicht genügend Bewertungen
Bewertung nach Login möglich
Datum:09.12.2011
Sprache: de
Dauer:01:23:48

Eigenschaften regulärer Sprachen

Prof. Dr. Christoph Kreitz

Vorlesung abspielen
• 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
Nicht genügend Bewertungen
Bewertung nach Login möglich
Datum:16.12.2011
Sprache: de
Dauer:01:20:01

Kontextfreie Sprachen

Prof. Dr. Christoph Kreitz

Vorlesung abspielen
• 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
Nicht genügend Bewertungen
Bewertung nach Login möglich
Datum:06.01.2012
Sprache: de
Dauer:01:13:12

Pushdown Automaten

Prof. Dr. Christoph Kreitz

Vorlesung abspielen
• 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
Nicht genügend Bewertungen
Bewertung nach Login möglich
Datum:13.01.2012
Sprache: de
Dauer:01:20:47

Pushdown Automaten und Grammatiken

Prof. Dr. Christoph Kreitz

Vorlesung abspielen
• 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
Nicht genügend Bewertungen
Bewertung nach Login möglich
Datum:20.01.2012
Sprache: de
Dauer:01:25:40

Die Chomsky Normalform

Prof. Dr. Christoph Kreitz

Vorlesung abspielen
• 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
Nicht genügend Bewertungen
Bewertung nach Login möglich
Datum:27.01.2012
Sprache: de
Dauer:01:18:39

Touringmaschinen

Prof. Dr. Christoph Kreitz

Vorlesung abspielen
• 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
Nicht genügend Bewertungen
Bewertung nach Login möglich
Datum:03.02.2012
Sprache: de
Dauer:01:12:41

Nichtdeterministische Touringmaschinen

Prof. Dr. Christoph Kreitz

Vorlesung abspielen
• 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
Nicht genügend Bewertungen
Bewertung nach Login möglich
Datum:10.02.2012
Sprache: de
Dauer:00:51:31

Abschlusseigenschaften von Touringmaschinen

Prof. Dr. Christoph Kreitz

Vorlesung abspielen
• 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.