Hasso-Plattner-Institut Design IT. Create Knowledge.

News

01.08.2016

openHPI Course "Internetworking 2016"

A new openHPI course about "Internetworking" starts on September 5, 2016. The course is held by Prof. Dr. Christoph Meinel ... [more]
19.05.2016

openHPI Workshop "Embedded Smart Home"

We are going to offer a new openHPI workshop "Embedded Smart Home" in German language. More Infocan be found here ... [more]
10.03.2016

New public demo

You can check out our public demo platform at https://tele-task-demo.hpi.uni-potsdam.de. Please let us know what you ...

Statistics

userclicks 35 M
lecture 6001
activelecturer 2330
series 490
Lecture-Feed of Series: Theoretische Informatik II Feed of Series: Theoretische Informatik II

Theoretische Informatik II

Image of
Not enough ratings.

Prof. Dr. Christoph Kreitz

Successor of this series: Theoretische Informatik II (SS 2007)

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

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

Berechenbarkeitstheorie

Not enough ratings.
Date: 25.04.2006
Lang.: de
Dur.: 01:23:48
Play full lecture
Not enough ratings.
Date: 02.05.2006
Lang.: de
Dur.: 01:20:35
Play full lecture
Not enough ratings.
Date: 09.05.2006
Lang.: de
Dur.: 01:21:20
Play full lecture
Not enough ratings.
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
Not enough ratings.
Date: 23.05.2006
Lang.: de
Dur.: 01:23:15

Elementare Berechenbarkeitstheorie I: Grundkonzepte

Prof. Dr. Christoph Kreitz

Elementare Berechenbarkeitstheorie I: Grundkonzepte

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

Not enough ratings.
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
Not enough ratings.
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
Not enough ratings.
Date: 20.06.2006
Lang.: de
Dur.: 01:25:10
Play full lecture
Not enough ratings.
Date: 27.06.2006
Lang.: de
Dur.: 01:29:33
Play full lecture
Not enough ratings.
Date: 04.07.2006
Lang.: de
Dur.: 01:21:25
Play full lecture
Not enough ratings.
Date: 11.07.2006
Lang.: de
Dur.: 01:17:55

Hierarchie von Komplexitätsklassen (Teil 2)

Prof. Dr. Christoph Kreitz

Hierarchie von Komplexitätsklassen (Teil 2)

Play full lecture
Not enough ratings.
Date: 18.07.2006
Lang.: de
Dur.: 01:25:05
Play full lecture
Not enough ratings.
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.