Podcasts by Theoretische Grundlagen der Informatik, Vorlesung, WS16/17
Theoretische Grundlagen der Informatik, Vorlesung, WS16/17
Further podcasts by Karlsruher Institut für Technologie (KIT)
Podcast on the topic Kurse
All episodes
Theoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 18.10.2016, 01 from 2021-01-31T22:10:42.023393
01 | 0:00:00 Starten 0:00:30 Ziele der Vorlesung TGI 0:13:46 Wiederholung aus Grundbegriffe der Informatik 0:17:17 Wörter 0:21:24 Formale Sprachen 0:31:12 Reguläre Sprachen 0:36:04 Reguläre Ausdrü...
ListenTheoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 27.10.2016, 02 from 2021-01-31T22:10:42.023393
02 | 0:00:00 Starten 0:00:24 Letzte Vorlesung 0:09:53 Entfernen von e-Übergängen 0:20:42 EA – Regulärität 0:22:44 Beweis: EA – Regulärität 0:44:02 Beispiel 0:54:15 Satz von Kleene 0:55:54 Frage: W...
ListenTheoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 03.11.2016, 03 from 2021-01-31T22:10:42.023393
03 | 0:00:00 Starten 0:00:25 Verallgemeinertes PL für reguläre Sprachen 0:17:18 Kapitel Minimierung von Automaten und Äquivalenzklassenautomat 0:20:14 Frage: Kann man konstruktiv die Anzahl der Zu...
ListenTheoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 10.11.2016, 04 from 2021-01-31T22:10:42.023393
04 | 0:00:00 Starten 0:00:12 Endliche Automaten, reguläre Sprachen 0:00:57 Frage 0:01:40 Äquivalenz 0:04:24 Der Äquivalenzklassenautomat 0:06:29 Vorgehensweise 0:08:44 Frage 0:10:29 Antwort 0:13:4...
ListenTheoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 17.11.2016, 05 from 2021-01-31T22:10:42.023393
05 | 0:00:00 Starten 0:00:54 Definitionen zur TM 0:05:56 Notation: Konfiguration 0:07:50 Beispiel: Konfiguration 0:20:37 Definition: berechenbar / totalrekursiv 0:23:01 Beispiel 0:27:27 Entscheidb...
ListenTheoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 22.11.2016, 06 from 2021-01-31T22:10:42.023393
06 | 0:00:00 Starten 0:00:54 Definitionen zur TM 0:05:21 Notation: Konfiguration 0:07:49 Beispiel: Konfiguration 0:20:00 Definition: berechenbar / totalrekursiv 0:22:30 Beispiel 0:26:57 Entscheidb...
ListenTheoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 24.11.2016, 07 from 2021-01-31T22:10:42.023393
07 | 0:00:00 Starten 0:01:06 Die Klasse P 0:03:19 Die Klasse NP 0:04:47 Die Nichtdeterministische Turingmaschine 0:05:17 Zeitkomplexität für NTM 0:08:55 Große Frage der Theoretischen Informatik 0:...
ListenTheoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 01.12.2016, 08 from 2021-01-31T22:10:42.023393
08 | 0:00:00 Starten 0:00:37 Wiederholung: NP-Vollständigkeit 0:06:10 Wiederholung: Transitivität der poly. Transformation 0:06:40 Wiederholung: Korollar 0:07:37 Wiederholung: Das Problem SAT (sat...
ListenTheoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 06.12.2016, 09 from 2021-01-31T22:10:42.023393
09 | 0:00:00 Starten 0:06:41 Das Problem SUBSET SUM 0:07:46 NP-Vollständigkeit von SUBSET SUM 0:24:03 Das Problem PARTITION 0:31:06 Das Problem KNAPSACK 0:37:32 Auswirkungen auf die Frage P=NP 0:4...
ListenTheoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 13.12.2016, 10 from 2021-01-31T22:10:42.023393
10 | 0:00:00 Starten 0:03:37 VerallgemeinerteNP-Schwere 0:07:17 Das Problem INTEGER PROGRAMMING 0:26:15 Pseudopolynomiale Algorithmen 0:29:56 Beispiel: Problem KNAPSACK 0:40:20 Starke NP-Vollständ...
ListenTheoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 15.12.2016, 11 from 2021-01-31T22:10:42.023393
11 | 0:00:00 Starten 0:02:50 Approximation mit relativer Gütegarantie 0:03:31 Definition 0:04:49 Approximierbarkeit von COLOR 0:18:45 Approximierbarkeit von TSP 0:28:12 Approximationsschemata 0:38...
ListenTheoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 22.12.2016, 12 from 2021-01-31T22:10:42.023393
12 | 0:00:00 Starten 0:00:28 Grammatiken 0:01:26 Beispiele 0:05:33 Grammatiken 0:07:12 Bemerkungen 0:08:32 Beispiel 0:09:22 Die Chomsky Hierarchie 0:20:09 Chomsky-0 Grammatiken und Semientscheidba...
ListenTheoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 10.01.2017, 13 from 2021-01-31T22:10:42.023393
13 | 0:00:00 Starten 0:00:31 Wiederholung 0:02:13 Die Chmosky Hierarchie 0:08:16 Syntaxbäume 0:10:28 Syntaxbäume - Beispiel 0:15:54 Links/Rechtsabteilung, Eindeutigkeit 0:17:31 Beispiel 0:19:37 Ch...
ListenTheoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 12.01.2017, 14 from 2021-01-31T22:10:42.023393
14 | 0:00:00 Starten 0:00:07 Wiederholung 0:12:03 Ogden´s Lemma für kontextfreie Sprachen 0:14:31 Beweis 0:29:20 Beweis - Teil 1 0:30:23 Beweis - Teil 2 0:39:23 Beweis - Teil 3 0:41:58 Nutzlose Va...
ListenTheoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 24.01.2017, 15 from 2021-01-31T22:10:42.023393
15 | 0:00:00 Starten 0:00:07 Beweis 0:03:26 Kellerautomaten 0:09:17 Kellerautomaten - Visualisierung 0:10:09 Kellerautomaten - Arbeitsweise 0:18:33 Kellerautomaten - Beispiel 0:27:20 Kellerautomat...
ListenTheoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 26.01.2017, 16 from 2021-01-31T22:10:42.023393
16 | 0:00:00 Starten 0:00:37 Kellerautomaten 0:03:49 Satz 0:05:15 Satz (2) 0:06:09 Beweis 0:30:19 Korollar 0:30:41 Übersicht Chomsky-2 0:32:46 Exkurs 0:34:16 Zwischenfazit zu kontextfreien Grammat...
ListenTheoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 02.02.2017, 17 from 2021-01-31T22:10:42.023393
17 | 0:00:00 Starten 0:01:45 Thema dieses Kapitels 0:04:52 Material für Informationstheorie 0:05:32 Information 0:12:45 Wiederholung: Rechenregeln Logarithmus 0:13:53 Definition Information 0:14:5...
ListenTheoretische Grundlagen der Informatik, Vorlesung, WS 2016/17, 07.02.2017, 18 from 2021-01-31T22:10:42.023393
18 | 0:00:00 Starten 0:00:07 Fortsetzung Informationstheorie 0:01:06 Wiederholung Quellkodierung 0:01:46 Kanalkodierung 0:02:24 Codierung zum Schutz gegen Übertragungsfehler 0:04:17 Paritätscodes ...
Listen