Podcasts by Theoretische Grundlagen der Informatik, Vorlesung, WS15/16
Theoretische Grundlagen der Informatik, Vorlesung, WS15/16
Further podcasts by Karlsruher Institut für Technologie (KIT)
Podcast on the topic Kurse
All episodes
Theoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 20.10.2015, Vorlesung und Übung - 01 from 2021-01-31T22:10:42.023393
01 | 0:00:00 Starten 0:00:10 Begrüßung 0:01:02 Organisatorisches 0:02:42 Materialien 0:09:46 Einordnung 0:10:52 Einführung 0:19:06 Formale Sprachen - Notation 0:33:00 Typische Fragestellungen 0:35:...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 22.10.2015, Vorlesung und Übung - 02 from 2021-01-31T22:10:42.023393
02 : Vorlesung und Übung | 0:00:00 Starten 0:00:11 Wdh. Grammatiken 0:01:21 Wdh. Übergangsrelation 0:03:09 Chomsky-Hierarchie 0:13:20 Beweis, Ansatz 0:13:46 Beweis, ausführlich 0:48:06 Beweisskizz...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 29.10.2015, Vorlesung und Übung - 03 from 2021-01-31T22:10:42.023393
03: Vorlesung und Übung | 0:00:00 Starten 0:00:16 Wiederholung: Nichtdeterministische endliche Automaten NFA 0:01:36 NFA - DFA 0:03:18 Potenzmengenkonstruktion 0:03:44 Beispiel 0:10:54 Implementie...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 03.11.2015, Vorlesung - 04 from 2021-01-31T22:10:42.023393
04: Vorlesung | 0:00:00 Starten 0:00:07 Wiederholung: Reguläre Ausdrücke 0:01:46 Satz: Reguläre Ausdrücke - Typ-3 Sprachen 0:02:25 Regulärer Ausdruck - NFA 0:02:53 RegExp - NFA 0:08:05 Beweis 0:19...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 05.11.2015, Vorlesung und Übung - 05 from 2021-01-31T22:10:42.023393
05: Vorlesung und Übung | 0:00:00 Starten 0:00:08 Wiederholung: DFA - RegExp 0:02:19 Zur Erinnerung: Äquivalenzrelationen 0:05:18 Verfeinerung 0:08:02 Nerode Relation 0:11:01 DEAs induzieren Äquiv...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 10.11.2015, Vorlesung - 06 from 2021-01-31T22:10:42.023393
06: Vorlesung | 0:00:00 Starten 0:00:07 Satz von Nerode 0:07:43 Gegenbeispiel NFA 0:08:33 Konstruktion eines zustandsminimalen Automaten 0:09:08 Vorverarbeitung - Beispiel 0:09:42 Äquivalente Zustä...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 12.11.2015, Vorlesung und Übung - 07 from 2021-01-31T22:10:42.023393
07: Vorlesung und Übung | 0:00:00 Starten 0:00:07 1.3 Kontextfreie Sprachen 0:01:15 Chomsky Hierarchie 0:02:06 Überblick 0:03:39 1.3.1 Normalformen 0:04:46 Epsilon-Eliminiation 0:05:27 Epsilon elim...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 17.11.2015, Vorlesung - 08 from 2021-01-31T22:10:42.023393
08: Vorlesung | 0:00:00 Starten 0:00:07 Wiederholung 0:01:05 1.3.2 Das Pumping Lemma 0:03:48 Beweis Pumping Lemma 0:13:10 Hilfs Lemma 0:14:39 Anwendung Pumping Lemma 0:22:02 Faustregeln für Beweise...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 17.11.2015, Vorlesung - 08-02 from 2021-01-31T22:10:42.023393
08-02: Vorlesung | 0:00:00 Starten 0:00:07 1.3.2 Das Pumping Lemma 0:00:41 Beweis Pumping Lemma 0:01:03 Konsturktion von Wiederholungen: 0:01:24 Faustregeln für Beweise mit dem Pumping Lemma 0:01:4...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 24.11.2015, Vorlesung - 09 from 2021-01-31T22:10:42.023393
09: Vorlesung | 0:00:00 Starten 0:00:08 1.4 Kontextsensitive und Typ 0-Sprachen 0:00:35 Kuroda Normalform 0:02:10 Turing Maschine 0:03:32 Deterministische Einband-Turingmaschine 0:06:23 Nichtdeterm...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 26.11.2015, Vorlesung - 10 from 2021-01-31T22:10:42.023393
10: Vorlesung | 0:00:00 Starten 0:00:08 Abschlusseigenschaften Typ 1 0:01:39 Abschluss Vereinigung Typ 0/1 0:03:19 Abschluss Produkt Typ 0/1 0:05:11 Abschluss Komplement Typ 1 0:12:39 Berechnung 0:...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 01.12.2015, Vorlesung - 11 from 2021-01-31T22:10:42.023393
11: Vorlesung | 0:00:00 Starten 0:00:09 2.1 Intuitiver Berechenbarkeitsbegriff und Churchsche These 0:00:43 2.2 Intuitiver Berechenbarkeitsbegriff 0:02:41 Beispiel 0:04:51 Exkurs: einige Nährungen ...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 03.12.2015, Vorlesung und Übung - 12 from 2021-01-31T22:10:42.023393
12: Vorlesung und Übung | 0:00:00 Starten 0:00:10 2.3 LOOP-, WHILE-, GOTO (=Registermaschinen) und RAM-Berechenbarkeit 0:01:04 LOOP-Programme 0:09:28 While-Programm 0:11:26 Äquivalenz von Maschinen...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 08.12.2015, Vorlesung - 13 from 2021-01-31T22:10:42.023393
13: Vorlesung| 0:00:00 Starten 0:00:10 LOOP-Programme 0:01:22 2.5 Die Ackermannfunktion 0:04:23 Totalität der Ackermannfunktion 0:07:53 Wie große Zahlen berechnet ein Loop Programm? 0:10:35 Die Ack...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 10.12.2015, Vorlesung und Übung - 14 from 2021-01-31T22:10:42.023393
14: Vorlesung und Übung| 0:00:00 Starten 0:00:10 2.6 Halteproblem, Unentscheidbarkeit, Reduzierbarkeit 0:00:44 Paradoxien und Selbstbezüglichkeit 0:01:28 Entscheidbarkeit 0:01:47 Äquivalente Aussag...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 15.12.2015, Vorlesung - 15 from 2021-01-31T22:10:42.023393
15: Vorlesung| 0:00:00 Starten 0:01:24 Halteproblem 0:02:27 Das beschränkte Halteproblem 0:02:57 Mehr unentscheidbare Probleme 0:03:15 Unentscheidbarkeit von Leerheit 0:09:13 Unentscheidbarkeit von...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 17.12.2015, Vorlesung und Übung - 16 from 2021-01-31T22:10:42.023393
16: Übung und Vorlesung| 0:00:00 Starten 0:00:56 Rückblick: Chomsky-3 0:05:29 Rückblick: Chomsky-3 Verfahren 0:16:18 Rückblick: Chomsky-2 0:19:33 Rückblick: Chomsky-2 Verfahren 0:27:23 Rückblick: C...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 12.01.2016, Vorlesung - 17 from 2021-01-31T22:10:42.023393
17: Vorlesung| 0:00:00 Starten 0:00:53 Wiederholung Komplexitätstheorie 0:08:54 Polynominale Reduzierbarkeit 0:09:55 Beispiel 0:10:57 NP-harte und Np-Vollständige Probleme 0:13:22 Ein einfacher Weg...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 14.01.2016, Vorlesung und Übung - 18 from 2021-01-31T22:10:42.023393
18: Vorlesung und Übung| 0:00:00 Starten 0:00:10 Wiederholung: Satz: 3SAT ist NP-vollständig 0:02:06 Wiederholung: Beweis ""3SAT ist NP-hart"" 0:02:47 Wiederholung: Negationen i...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 19.01.2016, Vorlesung - 19 from 2021-01-31T22:10:42.023393
19: Vorlesung | 0:00:00 Starten 0:03:08 Beweis SUBSET SUM 0:03:31 Beweis ""SUBSET SUM ist NP-hart"" 0:03:34 SUBSET SUM 0:06:04 Die SUBSET SUM Instanz 0:10:08 Beispiel 0:13:55 B...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 21.01.2016, Vorlesung und Übung - 20 from 2021-01-31T22:10:42.023393
20: Vorlesung und Übung | 0:00:00 Starten 0:00:11 Directed Hamilton Cycle (DHC) 0:01:35 Beweis von »DHC ist NP-hart« 0:02:03 Reduktionen 0:02:43 DHC 0:03:34 Beweis von »DHC ist NP-hart« 0:05:07 Ein...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 26.01.2016, Vorlesung - 21 from 2021-01-31T22:10:42.023393
21: Vorlesung | 0:00:00 Starten 0:03:23 1.1 Allgemeines 0:04:18 1.1.1 Grammatiken 0:05:19 1.1.2 Chomsky-Hierachie 0:11:12 1.1.3 Wortproblem 0:12:17 1.1.4 Syntaxbäume 0:13:02 1.2 Reguläre Sprachen 0...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 28.01.2016, Vorlesung und Übung - 22 from 2021-01-31T22:10:42.023393
22: Vorlesung und Übung| 0:00:00 Starten 0:00:10 2: Berechenbarkeitstheorie | 2.1 Intuitiver Berechenbarkeitsbegriff und Churchsche These 0:00:41 Berechenbarkeit Hauptergebnis 0:01:26 2.2 Intuitive...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 02.02.2016, Vorlesung - 23 from 2021-01-31T22:10:42.023393
23: Vorlesung| 0:00:00 Starten 0:00:42 Thema dieses Kapitels 0:04:32 Information 0:09:03 Wiederholung: Rechenregeln Logarithmus 0:11:49 Entropie 0:13:45 Bemerkungen zur Entropie 0:15:22 Entropie ei...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 04.02.2016, Vorlesung und Übung - 24 from 2021-01-31T22:10:42.023393
24: Vorlesung und Übung | 0:00:00 Starten 0:00:18 Übung: Gedächtnislose Quellen 0:02:16 Übung: Entropiemaximierung 0:06:59 Übung: Decodierbarkeit 0:11:32 Übung: Theoretische Grenzen der Kompression...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 09.02.2016, Vorlesung und Übung - 25 from 2021-01-31T22:10:42.023393
25: Vorlesung und Übung | 0:00:00 Starten 0:02:07 Caesar-Chiffre 0:05:07 Monoalphabetische Verschiebungschiffre 0:06:57 Vigenère-Verschlüsselung 0:20:34 Set Cover 0:27:01 Set Cover Beispiel 1 0:2...
ListenTheoretische Grundlagen der Informatik, WS 2015/2016, gehalten am 11.02.2016, Übung - 26 from 2021-01-31T22:10:42.023393
26: Übung| 0:00:00 Starten 0:00:12 Vorbereitung Klausur: 1. Übungsblatt 0:05:44 2. Übungsblatt 0:06:34 3. Übungsblatt 0:08:49 4. Übungsblatt 0:18:32 5. Übungslbatt 0:25:58 6. Übungsblatt 0:30:05 7....
Listen