Podcasts by Theoretische Grundlagen der Informatik, Vorlesung, WS18/19
Theoretische Grundlagen der Informatik, Vorlesung, WS18/19
Further podcasts by Karlsruher Institut für Technologie (KIT)
Podcast on the topic Kurse
All episodes
01: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 18.10.2018 from 2021-01-31T22:10:42.023393
01 | 0:00:00 Start 0:00:11 Endliche Automaten und Reguläre Sprachen 0:14:38 Nichtdeterministische endliche Automaten 0:21:06 Beispiel für NEA's 0:27:09 Äquivalenz von NEA's und DEA's 0:28:57 Beisp...
Listen02: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 23.10.2018 from 2021-01-31T22:10:42.023393
02 | 0:00:00 Start 0:00:07 Letzte Vorlesung 0:04:01 Entfernen von e-Übergängen 0:15:37 EA - Regularität 0:15:51 Beweis 0:33:04 Beispiel 0:39:16 Satz von Kleene 0:40:27 Frage: Was können endliche A...
Listen03: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 30.10.2018 from 2021-01-31T22:10:42.023393
03 | 0:00:00 Start 0:00:03 Rückblick 0:04:19 Verallgemeinertes PL für reguläre Sprachen 0:16:10 Beispiel (3) - Anwendung Verallgemeinertes PL 0:24:06 Minimierung von Automaten - Äquivalenzklassena...
Listen04: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 06.11.2018 from 2021-01-31T22:10:42.023393
04 | 0:00:00 Start 0:00:03 letzte Vorlesung - alternative Sicht 0:04:48 Alternative Sicht - Beispiel 0:13:20 Heutiges Thema (Frage, Antwort) 0:20:21 Definitionen: Rechtsinvarianz und Index 0:27:56...
Listen05: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 13.11.2018 from 2021-01-31T22:10:42.023393
05 | 0:00:00 Start 0:00:10 Letzte Vorlesung 0:09:00 Beispiel - Turing Maschine 0:13:57 Bemerkungen zur TM 0:15:23 Definition zur TM 0:18:43 Notation: Konfiguration 0:19:54 Beispiel: Konfiguration ...
Listen06: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 15.11.2018 from 2021-01-31T22:10:42.023393
06 | 0:00:00 Start 0:00:09 Letzte Vorlesung 0:03:24 Die Universelle Sprache 0:14:02 Satz von Rice – Motivation 0:17:55 Bemerkungen zum Satz von Rice 0:22:13 Das Post'sche Korrespondenzproblem 0:31...
Listen07: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 22.11.2018 from 2021-01-31T22:10:42.023393
07 | 0:00:00 Start 0:00:03 NP-Vollständigkeit für Sprachen 0:03:38 NP-Vollständigkeit für Entscheidungsprobleme 0:05:28 Transitivität der poly. Transformation 0:06:59 Beobachtung 0:10:58 Das Proble...
Listen08: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 27.11.2018 from 2021-01-31T22:10:42.023393
08 | 0:00:00 Start 0:00:22 Letzte Vorlesung 0:06:59 Plan für heute 0:09:46 Pas Problem 3SAT 0:11:29 Beweis: NP-Vollständigkeit von 3SAT 0:30:58 Das Problem 2SAT 0:31:54 Das Problem MAX2SAT 0:33...
Listen09: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 04.12.2018 from 2021-01-31T22:10:42.023393
09 | 0:00:00 Start 0:00:57 Letzte Vorlesung 0:20:50 Diese Vorlesung 0:20:57 Das Problem PARTITION 0:28:58 Das Problem KNAPSACK 0:40:03 Zusammenfasung 0:59:24 Das Problem Subgraphisomorphie 1:00:45...
Listen10: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 11.12.2018 from 2021-01-31T22:10:42.023393
10 | 0:00:00 Start 0:01:01 Verallgemeinerte NP-Schwere 0:03:38 Das Problem INTEGER PROGRAMMING 0:07:18 INTEGER PROGRAMMING ist NP-schwer 0:15:12 Bemerkungen 0:23:00 Pseudopolynomiale Algorithmen 0...
Listen11: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 13.12.2018 from 2021-01-31T22:10:42.023393
11 | 0:00:00 Start 0:00:15 Letzte Vorlesung 0:03:09 Definition 0:09:54 Metrisches TSP 0:20:53 Bemerkungen zur Approximierbarkeit 0:23:46 Approximationsschemata 0:29:50 Ein FPTAS für max-KNAPSACK 0...
Listen12: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 20.12.2018 from 2021-01-31T22:10:42.023393
12 | 0:00:00 Start 0:00:31 Grammatiken, Beispiele 0:09:52 Grammatiken, Bemerkungen 0:16:13 Die Chomsky Hierarchie 0:29:17 Chomsky-0 Grammatiken und Semientscheidbarkeit 0:36:03 Beweis - Beschreibu...
Listen13: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 08.01.2019 from 2021-01-31T22:10:42.023393
13 | 0:00:00 Start 0:00:09 Letzte Vorlesung 0:08:30 heutige Themen 0:09:05 Syntaxbäume 0:13:44 Eindeutigkeit 0:19:08 Chomsky-Normalform 0:52:24 CYK-Algorithmus
Listen14: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 17.01.2019 from 2021-01-31T22:10:42.023393
14 | 0:00:00 Start 0:06:36 Das Pumping-Lemma für kontextfreie Sprachen 0:10:42 Ogden´s Lemma für kontextfreie Sprachen 0:14:06 Beweis von Odgen´s Lemma 0:29:34 Bemerkung 0:30:52 Echtheit der Ch...
Listen15: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 22.01.2019 from 2021-01-31T22:10:42.023393
15 | 0:00:00 Start 0:02:19 weitere Eigenschaften kontextfreier Sprachen 0:12:03 Ein maschinellmodell für Chomsky-2 0:18:04 Greibach-Normalform 0:21:01 Beweis - Ersetzung 0:29:08 Beweis - Definiti...
Listen16: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 29.01.2019 from 2021-01-31T22:10:42.023393
16 | 0:00:00 Start 0:00:32 Letzte Vorlesung 0:02:51 Wdh.: Greibach-Normalform, Kellerautomat 0:06:32 Beispiel - Greibach-Normalform 0:12:41 Beispiel - Kellerautomat 0:17:47 Beweis: Greibach-Normal...
Listen17: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 31.01.2019 from 2021-01-31T22:10:42.023393
17 | 0:00:00 Start 0:00:05 Thema dieses Kapitels 0:05:25 Material für Informationstheorie 0:06:28 Information 0:08:45 Beispiel 0:16:13 Wiederholung: Rechenregeln Logarithmus 0:17:53 Beispiel 2 0:...
Listen18: Theoretische Grundlagen der Informatik, Vorlesung, WS 2018/19, 07.02.2019 from 2021-01-31T22:10:42.023393
18 | 0:00:00 Start 0:00:26 Werbung 0:01:14 Vorlesung ,,Algorithmen für planare Graphen"" 0:02:53 Proseminar ,,Algorithmen für NP-schwere Probleme"" 0:05:28 ICPC Praktikum 0:07...
Listen