Podcasts by Theoretische Grundlagen der Informatik, Vorlesung, WS19/20
Theoretische Grundlagen der Informatik, Vorlesung, WS19/20
Further podcasts by Karlsruher Institut für Technologie (KIT)
Podcast on the topic Kurse
All episodes
01: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 15.10.2019 from 2021-01-31T22:10:42.023393
01 | 0:00:00 Start 0:03:28 Ziele der Vorlesung TGI 0:10:29 Wörter 0:20:06 Formale Sprachen 0:33:42 Reguläre Sprachen 0:38:59 Reguläre Ausdrücke 0:44:55 Reguläre Ausdrücke -Beispiele 0:53:09 Endlic...
Listen02: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 17.10.2019 from 2021-01-31T22:10:42.023393
02 | 0:00:00 Start 0:00:41 Kontextfreie Grammatiken 0:06:34 Kontextfreie Grammatiken - Beispiele 0:14:35 Endliche Automaten und Reguläre Sprachen 0:23:43 Nichtderterministische endliche Automaten ...
Listen03: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 22.10.2019 from 2021-01-31T22:10:42.023393
03 | 0:00:00 Start 0:00:00 Start 0:00:20 Nichtdeterministische endliche Automaten 0:05:09 Zwischenstand 0:10:45 Entfernen von ??-Übergängen 0:21:09 EA -> Regularität 0:41:31 Beispiel 0:47:34 Sa...
Listen04: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 29.10.2019 from 2021-01-31T22:10:42.023393
04 | 0:00:00 Start 0:00:41 Satz (Pumping-Lemma für reguläre Sprachen) 0:03:23 Satz (Verallgemeinertes Pumping-Lemma) 0:13:22 Beispiel (3) - Anwendung Verallgemeinertes PL 0:21:54 Finden nicht überf...
Listen05: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 31.10.2019 from 2021-01-31T22:10:42.023393
05 | 0:00:00 Start 0:00:39 Kapitel 2 0:07:31 Alternative Sicht – Beispiel 0:16:52 Wiederholung Äquivalemzklassenautomat 0:19:38 Rechtsinvarianz und Index 0:26:04 Nerode-Relation 0:29:50 Satz von Ne...
Listen06: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 07.11.2019 from 2021-01-31T22:10:42.023393
06 | 0:00:00 Start 0:01:05 (deterministische) Turing-Maschine 0:06:34 Beispiel-Turing-Maschine 0:16:35 Definitionen zur TM 0:19:46 Notation: Konfiguration 0:29:18 Definition: berechenbar/ totalrek...
Listen07: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 12.11.2019 from 2021-01-31T22:10:42.023393
07 | 0:00:00 Start 0:00:29 Letzte Vorlesung 0:04:12 Halteproblem 0:10:25 Die universelle Sprache 0:16:34 Satz von Rice - Motivation 0:20:52 Bemerkungen zum Satz von Rice 0:22:30 Das Post´sche Korre...
Listen08: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 19.11.2019 from 2021-01-31T22:10:42.023393
08 | 0:00:00 Start 0:07:42 Bemerkungen zur NTM 0:11:20 Zeitkomplexität für NTM 0:14:40 Die Klasse NP 0:18:28 P vs NP 0:24:03 Polynomiale Transformation 0:34:35 Das Problem SAT 0:39:55 Satz von Cook...
Listen09: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 26.11.2019 from 2021-01-31T22:10:42.023393
09 | 0:00:00 Start 0:00:08 Letzte Vorlesung 0:08:16 Plan für heute 0:10:46 Das Problem 3SAT 0:12:53 Beweis: NP-Vollständigkeit von 3SAT 0:31:50 Das Problem 2SAT 0:34:00 Das Problem MAX2SAT 0:36:49 ...
Listen10: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 28.11.2019 from 2021-01-31T22:10:42.023393
10 | 0:00:00 Start 0:00:27 Letzte/Diese Vorlesung 0:04:04 Das Problem SUBSET SUM 0:05:37 NP-Vollständigkeit von SUBSET SUM 0:21:39 Das Problem PARTITION 0:22:29 Beweis: NP-Vollständigkeit von PARTI...
Listen11: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 05.12.2019 from 2021-01-31T22:10:42.023393
11 | 0:00:00 Start 0:01:57 Verallgemeinerte NP-Schwere 0:04:05 Das Problem INTEGER PROGRAMMING 0:07:55 INTEGER PROGRAMMING ist NP-schwer 0:16:21 Bemerkungen 0:21:18 Kapitel 0:24:34 Pseudopolynomial...
Listen12: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 10.12.2019 from 2021-01-31T22:10:42.023393
12 | 0:00:00 Start 0:00:42 Wiederholung letzte Vorlesung 0:08:12 Definition 0:14:31 Metrisches TSP 0:16:07 Approximation von min-METRIC-TSP 0:27:08 Bemerkungen zur Approximierbarkeit 0:31:25 Approx...
Listen13: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 17.12.2019 from 2021-01-31T22:10:42.023393
13 | 0:00:00 Start 0:01:20 Beispiele 0:04:40 Grammatiken 0:06:42 Bemerkungen 0:11:29 Die Chomsky-Hierarchie 0:24:56 Chomsky-0-Grammatiken und Semientscheidbarkeit 0:30:11 Beweis – Beschreibung der ...
Listen14: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 09.01.2020 from 2021-01-31T22:10:42.023393
14 | 0:00:00 Start 0:00:31 Übersicht 0:04:47 Das Pumping-Lemma für kontextfreie Sprachen 0:13:52 Ogden´s Lemma für kontextfreie Sprachen 0:15:48 Beweis von Ogden´s Lemma 0:28:07 Echtheit der Chomsk...
Listen15: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 14.01.2020 from 2021-01-31T22:10:42.023393
15 | 0:00:00 Start 0:00:19 Letzte Vorlesung 0:01:21 Heutige Vorlesung 0:03:24 Weiere Eigenschaften kontextfreier Sprachen 0:17:59 Ein Maschinenmodell für Chomsky-2 0:23:18 Greibach-Normalform 0:26:...
Listen16: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 23.01.2020 from 2021-01-31T22:10:42.023393
16 | 0:00:00 Start 0:00:21 Letzte Vorlesung 0:07:22 Wdh.: Greibach-Normalform, Kellerautomat 0:11:54 Kellerautomaten 0:15:10 Beispiel - Greibach-Normalform 0:18:13 Beipiel - Kellerautomat 0:21:23 B...
Listen17: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 28.01.2020 from 2021-01-31T22:10:42.023393
17 | 0:00:00 Start 0:03:24 Material für Informationstheorie 0:03:57 Information 0:12:08 Wiederholung: Rechenregeln Logarithmus 0:17:45 Entropie 0:24:46 Entropie zu einer Münze 0:26:09 (Platzsparend...
Listen18: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 04.02.2020 from 2021-01-31T22:10:42.023393
18 | 0:00:00 Start 0:00:11 Kodierung zum Schutz gegen Übertragungsfehler 0:01:42 Paritätscodes - Einfach binär 0:04:45 Kreuzsicherung 0:10:05 Paritätscodes 0:16:27 Block-Codes 0:17:03 Hamming-Dista...
Listen