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 IIFeed of Series: Theoretische Informatik II

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

Date:18.04.2006
Lang.: de
Dur.:01:28:10
Play full lecture

Berechenbarkeitstheorie

Date:25.04.2006
Lang.: de
Dur.:01:23:48
Play full lecture
Date:02.05.2006
Lang.: de
Dur.:01:20:35
Play full lecture
Date:09.05.2006
Lang.: de
Dur.:01:21:20
Play full lecture
Date:16.05.2006
Lang.: de
Dur.:01:25:22

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

Prof. Dr. Christoph Kreitz

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

Play full lecture
Date:23.05.2006
Lang.: de
Dur.:01:23:15
Play full lecture
Date:30.05.2006
Lang.: de
Dur.:01:23:22

Elementare Berechenbarkeitstheorie II: Unlösbare Probleme

Prof. Dr. Christoph Kreitz

Elementare Berechenbarkeitstheorie II: Unlösbare Probleme

Play full lecture
Date:06.06.2006
Lang.: de
Dur.:00:54:26

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

Prof. Dr. Christoph Kreitz

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

Play full lecture

Komplexitätstheorie

Date:06.06.2006
Lang.: de
Dur.:00:29:51

Komplexitätstheorie - Konkrete Komplexitätsanalyse

Prof. Dr. Christoph Kreitz

Komplexitätstheorie - Konkrete Komplexitätsanalyse

Play full lecture
Date:13.06.2006
Lang.: de
Dur.:01:17:09

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

Prof. Dr. Christoph Kreitz

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

Play full lecture
Date:20.06.2006
Lang.: de
Dur.:01:25:10
Play full lecture
Date:27.06.2006
Lang.: de
Dur.:01:29:33
Play full lecture
Date:04.07.2006
Lang.: de
Dur.:01:21:25
Play full lecture
Date:11.07.2006
Lang.: de
Dur.:01:17:55
Play full lecture
Date:18.07.2006
Lang.: de
Dur.:01:25:05
Play full lecture
Date:18.05.2007
Lang.: de
Dur.:01:21:37

Berechenbarkeitstheorie

Jens Otten

Berechenbarkeitstheorie

Play full lecture
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.