Theoretische Informatik II

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.

Die Automatentheorie und die Theorie der formalen Sprachen (Thema des ersten Semesters) ist grundlegend für die Entwicklung von Programmiersprachen und Compilern. Sie untersucht, mit welchen Techniken welche Arten von Sprachen effizient analysiert werden können.

Die Berechenbarkeitstheorie befasst sich mit den prinzipiellen Grenzen des Berechenbaren und der Relation zwischen verschiedenen Computer- und Programmiermodellen.

Die Komplexitätstheorie untersucht Effizienz von Algorithmen im Hinblick auf Platz- und Zeitbedarf und kümmert sich insbesondere um die Frage, wie effizient man bestimmte Probleme lösen kann.

Einführung

Einführung und Wiederholung

Date: April 18, 2006
Language: German
Duration: 01:28:10
Einführung und Wiederholung

Berechenbarkeitstheorie

Rückblick: Turing Maschinen

Date: April 25, 2006
Language: German
Duration: 01:23:48
Rückblick: Turing Maschinen

Rekursive Funktionen

Date: May 2, 2006
Language: German
Duration: 01:20:35
Rekursive Funktionen

Funktionale und logische Programme

Date: May 9, 2006
Language: German
Duration: 01:21:20
Funktionale und logische Programme

Funktionale und logische Programme (Teil 2), Elementare Berechenbarkeitstheorie I: Grundkonzepte

Date: May 16, 2006
Language: German
Duration: 01:25:22
Funktionale und logische Programme (Teil 2), Elementare Berechenbarkeitstheorie I: Grundkonzepte

Elementare Berechenbarkeitstheorie I: Grundkonzepte

Date: May 23, 2006
Language: German
Duration: 01:23:15
Elementare Berechenbarkeitstheorie I: Grundkonzepte

Elementare Berechenbarkeitstheorie II: Unlösbare Probleme

Date: May 30, 2006
Language: German
Duration: 01:23:22
Elementare Berechenbarkeitstheorie II: Unlösbare Probleme

Elementare Berechenbarkeitstheorie II: Unlösbare Probleme (Teil 2)

Date: June 6, 2006
Language: German
Duration: 00:54:26
Elementare Berechenbarkeitstheorie II: Unlösbare Probleme (Teil 2)

Komplexitätstheorie

Komplexitätstheorie - Konkrete Komplexitätsanalyse

Date: June 6, 2006
Language: German
Duration: 00:29:51
Komplexitätstheorie - Konkrete Komplexitätsanalyse

Komplexitätstheorie - Konkrete Komplexitätsanalyse (Teil 2)

Date: June 13, 2006
Language: German
Duration: 01:17:09
Komplexitätstheorie - Konkrete Komplexitätsanalyse (Teil 2)

Das P - NP Problem

Date: June 20, 2006
Language: German
Duration: 01:25:10
Das P - NP Problem

Das P - NP Problem (Teil 2)

Date: June 27, 2006
Language: German
Duration: 01:29:33
Das P - NP Problem (Teil 2)

NP - vollständige Probleme (Teil 2)

Date: July 4, 2006
Language: German
Duration: 01:21:25
NP - vollständige Probleme (Teil 2)

Hierarchie von Komplexitätsklassen (Teil 2)

Date: July 11, 2006
Language: German
Duration: 01:17:55
Hierarchie von Komplexitätsklassen (Teil 2)

Grenzen überwinden (Teil 2)

Date: July 18, 2006
Language: German
Duration: 01:25:05
Grenzen überwinden (Teil 2)

Berechenbarkeitstheorie

Date: May 18, 2007
Language: German
Duration: 01:21:37
Berechenbarkeitstheorie