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
Views: 254
Einführung und Wiederholung

Berechenbarkeitstheorie

Rückblick: Turing Maschinen

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

Rekursive Funktionen

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

Funktionale und logische Programme

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

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

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

Elementare Berechenbarkeitstheorie I: Grundkonzepte

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

Elementare Berechenbarkeitstheorie II: Unlösbare Probleme

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

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

Date: June 6, 2006
Language: German
Duration: 00:54:26
Views: 198
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
Views: 205
Komplexitätstheorie - Konkrete Komplexitätsanalyse

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

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

Das P - NP Problem

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

Das P - NP Problem (Teil 2)

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

NP - vollständige Probleme (Teil 2)

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

Hierarchie von Komplexitätsklassen (Teil 2)

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

Grenzen überwinden (Teil 2)

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

Berechenbarkeitstheorie

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