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 |
Berechenbarkeitstheorie
| Date: | 25.04.2006 |
| Lang.: | de |
| Dur.: | 01:23:48 |
| Date: | 02.05.2006 |
| Lang.: | de |
| Dur.: | 01:20:35 |
| Date: | 09.05.2006 |
| Lang.: | de |
| Dur.: | 01:21:20 |
| 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
| Date: | 23.05.2006 |
| Lang.: | de |
| Dur.: | 01:23:15 |
Elementare Berechenbarkeitstheorie I: Grundkonzepte
Prof. Dr. Christoph Kreitz
Elementare Berechenbarkeitstheorie I: Grundkonzepte
| 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
| 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)
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

| 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)
| Date: | 20.06.2006 |
| Lang.: | de |
| Dur.: | 01:25:10 |
| Date: | 27.06.2006 |
| Lang.: | de |
| Dur.: | 01:29:33 |
| Date: | 04.07.2006 |
| Lang.: | de |
| Dur.: | 01:21:25 |

| 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)
| Date: | 18.07.2006 |
| Lang.: | de |
| Dur.: | 01:25:05 |
| Date: | 18.05.2007 |
| Lang.: | de |
| Dur.: | 01:21:37 |
No tags have been added to this content so far.
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.
No links have been added to this content so far.
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.











