Theoretische Informatik II - tele-TASKhttps://www.tele-task.de/series/355/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.High quality e-learning content created with tele-TASK - more than video! Powered by Hasso Plattner Institute (HPI)Prof. Dr. Christoph KreitzDie 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.notele-TASKtele-task@hpi.dede℗; ©; tele-TASKSat, 24 Aug 2019 00:04:33 GMTPyRSS2Gen-1.1.0http://blogs.law.harvard.edu/tech/rssBerechenbarkeitstheoriehttps://www.tele-task.de/lecture/video/492/Jens Otten01:21:37tele-TASK, HPI, computer science, technology, Germany, PotsdamJens OttenBerechenbarkeitstheorieJens Ottenhttps://www.tele-task.de/lecture/video/492/Fri, 18 May 2007 00:00:00 GMTGrenzen überwinden (Teil 2)https://www.tele-task.de/lecture/video/303/Prof. Dr. Christoph Kreitz01:25:05tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph KreitzGrenzen überwinden (Teil 2)Prof. Dr. Christoph Kreitzhttps://www.tele-task.de/lecture/video/303/Tue, 18 Jul 2006 00:00:00 GMTHierarchie von Komplexitätsklassen (Teil 2)https://www.tele-task.de/lecture/video/302/Prof. Dr. Christoph Kreitz01:17:55tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph KreitzHierarchie von Komplexitätsklassen (Teil 2)Prof. Dr. Christoph Kreitzhttps://www.tele-task.de/lecture/video/302/Tue, 11 Jul 2006 00:00:00 GMTNP - vollständige Probleme (Teil 2)https://www.tele-task.de/lecture/video/301/Prof. Dr. Christoph Kreitz01:21:25tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph KreitzNP - vollständige Probleme (Teil 2)Prof. Dr. Christoph Kreitzhttps://www.tele-task.de/lecture/video/301/Tue, 04 Jul 2006 00:00:00 GMTDas P - NP Problem (Teil 2)https://www.tele-task.de/lecture/video/300/Prof. Dr. Christoph Kreitz01:29:33tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph KreitzDas P - NP Problem (Teil 2)Prof. Dr. Christoph Kreitzhttps://www.tele-task.de/lecture/video/300/Tue, 27 Jun 2006 00:00:00 GMTDas P - NP Problemhttps://www.tele-task.de/lecture/video/294/Prof. Dr. Christoph Kreitz01:25:10tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph KreitzDas P - NP ProblemProf. Dr. Christoph Kreitzhttps://www.tele-task.de/lecture/video/294/Tue, 20 Jun 2006 00:00:00 GMTKomplexitätstheorie - Konkrete Komplexitätsanalyse (Teil 2)https://www.tele-task.de/lecture/video/293/Prof. Dr. Christoph Kreitz01:17:09tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph KreitzKomplexitätstheorie - Konkrete Komplexitätsanalyse (Teil 2)Prof. Dr. Christoph Kreitzhttps://www.tele-task.de/lecture/video/293/Tue, 13 Jun 2006 00:00:00 GMTKomplexitätstheorie - Konkrete Komplexitätsanalysehttps://www.tele-task.de/lecture/video/291/Prof. Dr. Christoph Kreitz00:29:51tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph KreitzKomplexitätstheorie - Konkrete KomplexitätsanalyseProf. Dr. Christoph Kreitzhttps://www.tele-task.de/lecture/video/291/Tue, 06 Jun 2006 00:00:00 GMTElementare Berechenbarkeitstheorie II: Unlösbare Probleme (Teil 2)https://www.tele-task.de/lecture/video/290/Prof. Dr. Christoph Kreitz00:54:26tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph KreitzElementare Berechenbarkeitstheorie II: Unlösbare Probleme (Teil 2)Prof. Dr. Christoph Kreitzhttps://www.tele-task.de/lecture/video/290/Tue, 06 Jun 2006 00:00:00 GMTElementare Berechenbarkeitstheorie II: Unlösbare Problemehttps://www.tele-task.de/lecture/video/289/Prof. Dr. Christoph Kreitz01:23:22tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph KreitzElementare Berechenbarkeitstheorie II: Unlösbare ProblemeProf. Dr. Christoph Kreitzhttps://www.tele-task.de/lecture/video/289/Tue, 30 May 2006 00:00:00 GMTElementare Berechenbarkeitstheorie I: Grundkonzeptehttps://www.tele-task.de/lecture/video/288/Prof. Dr. Christoph Kreitz01:23:15tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph KreitzElementare Berechenbarkeitstheorie I: GrundkonzepteProf. Dr. Christoph Kreitzhttps://www.tele-task.de/lecture/video/288/Tue, 23 May 2006 00:00:00 GMTFunktionale und logische Programme (Teil 2), Elementare Berechenbarkeitstheorie I: Grundkonzeptehttps://www.tele-task.de/lecture/video/287/Prof. Dr. Christoph Kreitz01:25:22tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph KreitzFunktionale und logische Programme (Teil 2), Elementare Berechenbarkeitstheorie I: GrundkonzepteProf. Dr. Christoph Kreitzhttps://www.tele-task.de/lecture/video/287/Tue, 16 May 2006 00:00:00 GMTFunktionale und logische Programmehttps://www.tele-task.de/lecture/video/285/Prof. Dr. Christoph Kreitz01:21:20tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph KreitzFunktionale und logische ProgrammeProf. Dr. Christoph Kreitzhttps://www.tele-task.de/lecture/video/285/Tue, 09 May 2006 00:00:00 GMTRekursive Funktionenhttps://www.tele-task.de/lecture/video/284/Prof. Dr. Christoph Kreitz01:20:35tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph KreitzRekursive FunktionenProf. Dr. Christoph Kreitzhttps://www.tele-task.de/lecture/video/284/Tue, 02 May 2006 00:00:00 GMTRückblick: Turing Maschinenhttps://www.tele-task.de/lecture/video/283/Prof. Dr. Christoph Kreitz01:23:48tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph KreitzRückblick: Turing MaschinenProf. Dr. Christoph Kreitzhttps://www.tele-task.de/lecture/video/283/Tue, 25 Apr 2006 00:00:00 GMTEinführung und Wiederholunghttps://www.tele-task.de/lecture/video/280/Prof. Dr. Christoph Kreitz01:28:10tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Christoph KreitzEinführung und WiederholungProf. Dr. Christoph Kreitzhttps://www.tele-task.de/lecture/video/280/Tue, 18 Apr 2006 00:00:00 GMT