Podcasts by Theoretische Grundlagen der Informatik, Vorlesung, WS14/15
Theoretische Grundlagen der Informatik, Vorlesung, WS14/15
Further podcasts by Karlsruher Institut für Technologie (KIT)
Podcast on the topic Kurse
All episodes
Theoretische Grundlagen der Informatik, WS 2014/15, gehalten am 21.10.2014, Lektion 01 from 2021-01-31T22:10:42.023393
01: Vorlesung: Organisatorisches und Literaturempfehlungen
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 23.10.2014, Lektion 02 from 2021-01-31T22:10:42.023393
02: Vorlesung: Endliche Automaten und Reguläre Sprachen
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 28.10.2014, Lektion 03 from 2021-01-31T22:10:42.023393
03: Vorlesung: Endliche Automaten und reguläre Sprachen
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 30.10.2014, Lektion 04 from 2021-01-31T22:10:42.023393
04: Vorlesung: Minimierung von Automaten, Äquivalenzklassenautomat
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 04.11.2014, Übung 1 from 2021-01-31T22:10:42.023393
Übung 1: Organisatorisches (Übungsbetrieb, Tutorien) | Formale Sprachen und reguläre Ausdrücke | Nicht-deterministische endliche Automaten | Pumping-Lemma | Eigenschaften von endlichen Automaten | ...
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 06.11.2014, Lektion 05 from 2021-01-31T22:10:42.023393
05: Vorlesung: Organisatorisches | Definitionen: Rechtsinvarianz und Index | Nerode-Relation | Satz von Nerode | Beweis zu Satz von Nerode | Korollar | Minimalität des Äquivalenzklassenautomats | Z...
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 13.11.2014, Lektion 07 from 2021-01-31T22:10:42.023393
07: Vorlesung: Definition | Die Diagonalsprache | Die Diagonalsprache - Veranschaulichung | Unentschuldbarkeit der Diagonalsprache | Korollar | Das Halteproblem | Die Universelle Sprache | Satz von...
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 11.11.2014, Lektion 06 from 2021-01-31T22:10:42.023393
06: Vorlesung: Turing-Maschinen und Berechenbarkeit
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 18.11.2014, Übung 2 from 2021-01-31T22:10:42.023393
Übung 2: Formale Sprachen und reguläre Ausdrücke | Nicht deterministische endliche Automaten | Pumping-Lemma | Eigenschaften von endlichen Automaten | Potenzmengenkonstruktion
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 20.11.2014, Lektion 08 from 2021-01-31T22:10:42.023393
08: Vorlesung: Sprachen, Probleme und Zeitkomplexität | Nichtdeterministische Turingmaschinen und die Klasse NP
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 25.11.2014, Lektion 09 from 2021-01-31T22:10:42.023393
09: Vorlesung: NP-vollständige Probleme
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 27.11.2014, Übung 3 from 2021-01-31T22:10:42.023393
Übung 3: Minimierung von Automaten | Nerode-Relation | Turing-Maschinen | Erweiterte Turingmaschinen | Universelle Turingmaschine
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 04.12.2014, Lektion 10 from 2021-01-31T22:10:42.023393
10: Vorlesung: NP-Vollständigkeit | Das Problem 3-SAT | Beweis: NP-Vollständigkeit von 3-SAT | Das Problem 2SAT | Das Problem MAX2SAT | Das Problem CLIEQUE | Beweis: NP-Vollständigkeit von CLIQUE |...
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 09.12.2014, Lektion 11 from 2021-01-31T22:10:42.023393
11: Vorlesung: Das Problem COLOR
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 11.12.2014, Übung 4 from 2021-01-31T22:10:42.023393
Übung 4: Turingmaschinen und Berechenbarkeit | Komplexitätsklassen
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 16.12.2014, Lektion 12 from 2021-01-31T22:10:42.023393
12: Vorlesung: Das Problem Subgraphisomorphie | Suchprobleme | Beispiel: TSP-Suchproblem | Beispiel: Hamilton-Kries Suchproblem | Aufzählungsprobleme | Reduzierbarkeit für Suchprobleme | Orakel-Tur...
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 18.12.2014, Lektion 13 from 2021-01-31T22:10:42.023393
13: Vorlesung: Komlexitätsklassen
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 08.01.2015, Übung 5 from 2021-01-31T22:10:42.023393
Übung 5: Optimierungsproblem, Optimalwertproblem, Entscheidungsproblem | NP-vollständige Probleme
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 13.01.2015, Lektion 14 from 2021-01-31T22:10:42.023393
14: Vorlesung: Grammatiken
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 15.01.2015, Lektion 15 from 2021-01-31T22:10:42.023393
15: Vorlesung: Grammatiken
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 20.01.2015, Übung 6 from 2021-01-31T22:10:42.023393
Übung 6: NP und co-NP | Pseudopolynomielle Algorithmen | Approximationsalgorithmen |Ganzzahlige Programme
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 22.01.2015, Lektion 16 from 2021-01-31T22:10:42.023393
16: Vorlesung: Kontextfreie Sprachen
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 27.01.2015, Lektion 17 from 2021-01-31T22:10:42.023393
17: Vorlesung: Kontextfreie Sprachen
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 03.02.2015, Lektion 19 from 2021-01-31T22:10:42.023393
19: Vorlesung: Kontextfreie Sprachen
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 05.02.2015, Lektion 19 from 2021-01-31T22:10:42.023393
19: Vorlesung: Informationstheorie
ListenTheoretische Grundlagen der Informatik, WS 2014/15, gehalten am 12.02.2015, Übung 8 from 2021-01-31T22:10:42.023393
Übung 8: Kellerautomaten
Listen