show episodes
Loading …
show series
 
In dieser Episode spreche ich mit der Autorin Veronika Kracher über das Buch, das sie gerade zum Thema »Incels« schreibt und was es mit ihr macht, sich dafür durch die ekelerregendsten Abgründe des Internets zu wühlen. Außerdem reden wir über den Gegenwind, der Frauen traditionsgemäß entgegenschlägt, wenn sie nicht schön brav die Klappe halten und …
 
Rassismus ist scheiße, darauf können wir uns leicht einigen – aber woher kommt er eigentlich? Diese Frage erörtere ich in diesem Podcast mit dem Negrophobie-Experten Dennis Schnittler. Zur Sprache kommt unter Anderem: was die heutigen Eigentumsverhältnisse mit der transatlantischen Sklaverei zu tun haben, welche Rolle die Unterdrückung der eigenen …
 
Es ist verständlich, sich angesichts der täglich grausiger werdenden Schlagzeilen verzweifelt abzuwenden und von dem ganzen Mist nichts mehr wissen zu wollen. Aber dann wird’s halt immer schlimmer, gell. In diesem Podcast widmen wir uns den Ursachen der globalen Klimakatastrophe und wie wir den Mißständen effektiv begegnen können. Dies ist keine Au…
 
Links, rechts – alles das selbe sobald es »extrem« wird? Nah, Quatsch mit Sauce. Warum, Wieso, Weshalb, erfährst du in meiner neuen Podcastepisode mit Tom Uhlig, Referent an der Bildungsstätte Anne Frank und Mitherausgeber des Buches »Extrem unbrauchbar. Über Gleichsetzungen von links und rechts.«. Außerdem lässt er uns an seiner Expertise über die…
 
19 |0:00:00 Starten0:01:39 Rückblick: Chomsky Typ 30:04:53 Rückblick: Chomsky-3 Verfahren0:22:29 Rückblick: Chomsky-20:35:13 Rückblick: Chomsky-0/10:40:32 Entscheidbarkeit0:47:05 Domino0:53:04 2-PLAYER COOPERATIVE DOMINOESVon Dr. Torsten Ueckerdt
 
18 |0:00:00 Starten0:03:53 Information0:12:40 Entropie0:18:49 (Platzsparende) Codierung0:20:33 Codierungsbäume0:25:54 Präfix-Codes0:28:27 Quellencodierungstheorem0:29:58 Beispiel: Shannon-Fano Codierung0:38:11 Beispiel: Huffman-Codierung0:46:53 Vorbereitendes Lemma0:56:09 Beweis - Induktionsschluss1:05:03 Lauflängenkodierung…
 
17 |0:00:00 Starten0:00:24 Übersicht Chomsky-20:03:13 WDh.: Greibach-Normalform, Kellerautomat0:09:07 Beweis0:47:57 Korollar0:48:46 Exkurs0:50:37 Zwischenfazit zu kontextfreien Grammatiken0:53:05 Unentscheidbare Probleme für kontextfreie Grammatiken0:55:26 Das Post'sche Korrespondenzproblem1:03:51 Eindeutigkeit von kontextfreien Grammatiken1:05:26 …
 
16 |0:00:00 Starten0:01:12 Chomsky Hierarchie0:15:28 Chomsky-0-Grammatiken und DTM's0:28:42 Konstruktion von Grammatiken0:46:58 Sprache der korrekten Klammerausdrücke0:57:09 Chomsky-Normalform1:08:19 Der Cocke-Younger-Kasami AlgorithmusVon Dr. Torsten Ueckerdt
 
15 |0:00:00 Starten0:00:19 Kontextfreie Sprachen, Kontextfreie Grammatiken0:06:01 Pumping-Lemma für kontextfreie Sprachen0:08:05 Ogden's Lemma für kontextfreie Sprachen0:23:12 Satz0:37:41 Nutzlose Variablen0:54:28 Korrolar0:58:14 BeispielgraphVon Prof. Dr. Dorothea Wagner
 
14 |0:00:00 Starten0:00:22 Die Chomsky Hierarchie0:08:09 Typ-2/Kontextfrwiw Grammatiken0:08:51 Typ-2/ Grammatiken: Beispiel 10:09:25 Typ-2/ Grammatiken: Beispiel 20:11:56 Syntacbäume0:13:34 Syntaxbäume Beispiel0:18:27 Links/ Rechtsabteilung, Eindeutigkeit0:20:14 Beispiel0:23:08 Chomsky- Normalform0:30:41 Schritt 10:34:39 Schritt 20:38:44 Schritt 30…
 
12 | 0:00:00 Starten0:02:26 Approximation mit relativer Gütegarantie0:03:38 Beispiel: Greedy-Algorithmus für KNAPSACK0:04:51 Definition0:06:07 Approximierbarkeit von COLOR0:20:05 Approximierbarkeit von TSP0:35:12 Approximationsschemata0:45:02 Ein FPAS für KNAPSACK1:04:10 Ein allgemeineres ResultatVon Prof. Dr. Dorothea Wagner
 
13 | 0:00:00 Starten0:01:15 Grammatiken0:06:22 Bemerkungen0:09:12 Die Chomsky Hierarchie0:19:54 Chomsky-0 Grammatiken und Semientscheidbarkeit0:22:25 Beweis- Beschreibung der Grammatik G0:28:36 Chomsky-3-Grammatiken und reguläre Sprachen0:37:52 Chomsky-1-Grammatiken bzw. kontextsensitive Sprachen0:41:58 Wiederholung: Das Problem CLIQUE0:49:01 Typ-2…
 
11 | 0:00:00 Starten0:00:57 Nichtdeterministische Turingmaschine(n)0:06:41 Die Klassen NP und ANP0:11:10 A-NTMs sind nicht mächtiger als NTMs0:23:31 Polynomiale Transformation0:25:23 Polynomielle Transformation0:29:26 Komplexitätsklassen und Werkzeugkasten0:38:14 2SAT ∈ P0:54:26 NP-Vollständigkeit0:57:35 MAX2SAT1:11:27 Tipps für Reduktion auf Max2C…
 
10 | 0:00:00 Starten0:03:27 Das Problem SUBSET SUM0:04:50 NP-Vollständigkeit von SUBSET SUM0:18:59 Das Problem Partition0:25:38 Das Problem KNAPSACK0:28:21 Beweis: NP-Vollständigkeit von KNAPSACK0:32:43 Auswirkung auf die Frage P=NP0:37:29 Zusammenfassung0:41:47 Die Klassen NPI, co-P und co-NP0:45:07 Vermutete Situation0:50:03 Das TSP-Komplement-Pr…
 
09 | 0:00:00 Starten0:00:39 NP-Vollständigkeit0:02:03 Transitivität der poly. Transformation0:02:31 Korollar0:03:49 Das Problem 3-SAT0:05:37 Beweis: NP-Vollständigkeit von 3-SAT0:20:16 Das Problem 2SAT0:22:09 Das Problem MAX2SAT0:24:18 Das Problem CLIQUE0:27:48 Beweis: NP-Vollständigkeit von CLIQUE0:36:44 Das Problem COLOR0:37:57 Beweis: NP-Vollstä…
 
08 | 0:00:00 Starten0:00:17 Gliederung0:01:30 Turingmaschinen0:19:04 Erweiterung von Turingmaschinen0:19:18 Mehrere Spuren0:23:26 Mehrere Bänder0:25:01 Erweiterte Turingmaschinen0:31:56 Entscheidbarkeit0:32:09 Entscheidbarkeit - Definitionen0:36:34 Entscheidbarkeit - Zusammenhänge0:45:32 Entscheidbarkeit - Überblick0:46:31 Entscheidbarkeit - Komple…
 
07 | 0:00:00 Starten0:00:06 Definitionen zur TM0:01:15 Unentscheidbarkeit der Diagonalsprache0:02:42 Die Universelle Sprache0:09:51 Satz von Rice - Motivation0:17:10 Das Post'sche Korrespondenzproblem0:21:44 Eigenschaften von (semi-)entscheibaren Sprachen0:28:02 Komplexitätstheorie0:32:53 Wie sieht ein Problem aus?0:37:56 Definition: Problem0:39:34…
 
06 | 0:00:00 Starten0:01:54 Formale Definition der Tuting-Maschine0:04:18 Definition zur TM0:07:42 Motation: Konfiguration0:10:03 Beispiel: Konfiguration0:20:09 Definition: berechenbar/ totalrekursiv0:22:30 Beispiel0:30:39 Entscheidbarkeit und Berechenbarkeit0:32:46 Korollar0:34:56 Die Church'sche These0:39:00 Erweiterungen der Turing-Maschine0:44:…
 
05 | 0:00:00 Starten0:00:21 Frage0:04:24 Wiederholung Äquivalenzklassenautomat0:09:44 Definitionen: Rechtsinvarianz und Index0:17:24 Nerode- Relation0:22:12 Satz von Nerode0:25:40 Beweis zu Satz von Nerode: (1)-->(2)0:31:49 Beweis zu Satz von Nerode: (2)-->(3)0:37:57 Beweis zu Satz von Nerode: (3)-->(1)0:46:16 Korollar0:49:09 Minimalitäat des Äquiv…
 
04 | 0:00:00 Starten0:01:20 Pumping-Lemma für reguläre Sprachen0:08:08 Verallgemeintertes PL für reguläre Sprachen0:23:36 Beispiel0:31:37 Äquivalenz0:34:26 Der Äquivalenzklassenautomat0:44:21 Frage0:54:24 Vorgehensweise0:55:57 Beispiel zur VorgehensweiseVon Prof. Dr. Dorothea Wagner
 
03 | 0:00:00 Starten0:00:05 letzte Vorlesung...0:05:42 Entfernen von Epsilon-Übergängen0:16:09 EA-Regularität0:37:53 Beispiel0:52:18 Frage: Was können endliche Automaten nicht?0:55:53 Pumping-Lemma für reguläre Sprachen1:06:31 Bemerkung und BeispieleVon Prof. Dr. Dorothea Wagner
 
02 | 0:00:00 Starten0:00:38 Endliche Automaten und Reguläre Sprachen0:16:02 Nichtdeterministische endliche Automaten0:22:10 Beispiele für NEA's0:27:11 Äquivalenz von NEA's und DEA's0:28:54 Beispiel PotenzmengenkonstruktionVon Dr. Torsten Ueckerdt
 
01 | 0:00:00 Starten0:01:06 Ziel der Vorlesung TGI0:07:08 Wiederholung aus Grundbegriffe der Informatik0:09:11 Wörter0:13:56 Formale Sprachen0:25:28 Reguläre Sprachen0:32:09 Reguläre Ausdrücke0:41:42 Endliche Automaten0:48:57 Kontextfreie GrammatikenVon Prof. Dr. Dorothea Wagner
 
18 | 0:00:00 Starten0:00:07 Fortsetzung Informationstheorie0:01:06 Wiederholung Quellkodierung0:01:46 Kanalkodierung0:02:24 Codierung zum Schutz gegen Übertragungsfehler0:04:17 Paritätscodes - Einfach Binär0:07:27 Kreuzsicherung0:12:20 Paritätscodes0:13:33 Beweis0:15:09 Paritätscodes gegen Vertauschungsfehler0:18:42 Bsp: ISBN-100:18:56 ISBN0:19:59 …
 
17 | 0:00:00 Starten0:01:45 Thema dieses Kapitels0:04:52 Material für Informationstheorie0:05:32 Information0:12:45 Wiederholung: Rechenregeln Logarithmus0:13:53 Definition Information0:14:52 Entropie0:19:16 Bemerkung zur Entropie0:19:31 Entropie einer Münze mit Wkt p für Zahl0:20:44 (Platzsparende) Codierungen0:22:12 Codierungsbäume0:26:49 Präfix-…
 
16 | 0:00:00 Starten0:00:37 Kellerautomaten0:03:49 Satz0:05:15 Satz (2)0:06:09 Beweis0:30:19 Korollar0:30:41 Übersicht Chomsky-20:32:46 Exkurs0:34:16 Zwischenfazit zu kontextfreien Grammatiken0:36:10 Satz (3)0:38:18 Das Post'sche Korrespondenzproblem0:39:47 Beweis (2)0:43:33 Beweisskizze0:44:07 Beweis (3)0:45:50 Sprache der korrekten Rechenwege0:51…
 
15 | 0:00:00 Starten0:00:07 Beweis0:03:26 Kellerautomaten0:09:17 Kellerautomaten - Visualisierung0:10:09 Kellerautomaten - Arbeitsweise0:18:33 Kellerautomaten - Beispiel0:27:20 Kellerautomaten - Beispiel 20:31:02 Satz (1)0:35:44 Satz (2)0:39:19 Satz (3)Von Prof. Dr. Dorothea Wagner
 
14 | 0:00:00 Starten0:00:07 Wiederholung0:12:03 Ogden´s Lemma für kontextfreie Sprachen0:14:31 Beweis0:29:20 Beweis - Teil 10:30:23 Beweis - Teil 20:39:23 Beweis - Teil 30:41:58 Nutzlose Variablen0:43:38 Schritt 10:47:24 Beispiel: Schritt 10:51:28 Schritt 20:53:16 Beispiel: Schritt 20:56:45 Korollar0:59:27 Beispielgraph…
 
13 | 0:00:00 Starten0:00:31 Wiederholung0:02:13 Die Chmosky Hierarchie0:08:16 Syntaxbäume0:10:28 Syntaxbäume - Beispiel0:15:54 Links/Rechtsabteilung, Eindeutigkeit0:17:31 Beispiel0:19:37 Chomsky-Normalform0:20:56 Die Chomsky Hierarchie0:21:21 Chomsky-Normalform0:31:01 Schritt 10:34:21 Schritt 20:38:20 Schritt 30:49:34 Schritt 40:53:36 Abhängigkeits…
 
12 | 0:00:00 Starten0:00:28 Grammatiken0:01:26 Beispiele0:05:33 Grammatiken0:07:12 Bemerkungen0:08:32 Beispiel0:09:22 Die Chomsky Hierarchie0:20:09 Chomsky-0 Grammatiken und Semientscheidbarkeit0:24:58 Beweis - Beschreibung der Grammatik G0:28:28 Beweis - Zusammenfassung0:29:42 Chomsky-0 Grammatiken und Semientscheidbarkeit0:32:04 Zwischenfazit0:34…
 
11 | 0:00:00 Starten0:02:50 Approximation mit relativer Gütegarantie0:03:31 Definition0:04:49 Approximierbarkeit von COLOR0:18:45 Approximierbarkeit von TSP0:28:12 Approximationsschemata0:38:45 Ein FPAS für KNAPSACK (1)0:40:02 Ein pseudopolynomialer, optimaler Algorithmus für KNAPSACK0:43:49 Ein FPAS für KNAPSACK (2)0:58:51 Ein allgemeineres Result…
 
10 | 0:00:00 Starten0:03:37 VerallgemeinerteNP-Schwere0:07:17 Das Problem INTEGER PROGRAMMING0:26:15 Pseudopolynomiale Algorithmen0:29:56 Beispiel: Problem KNAPSACK0:40:20 Starke NP-Vollständigkeit0:44:14 Absolute Approximationsalgorithmen0:46:31 Das allgemeine KNAPSACK-Suchproblem0:57:09 Approximation mit relativer Gütegarantie0:59:53 Beispiel: Gr…
 
09 | 0:00:00 Starten0:06:41 Das Problem SUBSET SUM0:07:46 NP-Vollständigkeit von SUBSET SUM0:24:03 Das Problem PARTITION0:31:06 Das Problem KNAPSACK0:37:32 Auswirkungen auf die Frage P=NP0:45:42 Zusammenfassung0:47:57 Die Klassen NPI, co-P und co-NP0:54:22 Das TSP-Komplement-Problem0:57:40 Lemma1:00:00 Bemerkung1:01:25 Das Problem Subgraphisomorphi…
 
08 | 0:00:00 Starten0:00:37 Wiederholung: NP-Vollständigkeit0:06:10 Wiederholung: Transitivität der poly. Transformation0:06:40 Wiederholung: Korollar0:07:37 Wiederholung: Das Problem SAT (satisfiability)0:12:17 Das Problem 3-SAT0:13:13 Beweis: NP-Vollständigkeit von 3-SAT0:30:07 Das Problem 2SAT0:34:40 Das Problem MAX2SAT0:38:02 Das Problem CLIQUE…
 
07 | 0:00:00 Starten0:01:06 Die Klasse P0:03:19 Die Klasse NP0:04:47 Die Nichtdeterministische Turingmaschine0:05:17 Zeitkomplexität für NTM0:08:55 Große Frage der Theoretischen Informatik0:11:38 NP-Vollständigkeit0:24:35 Transitivität der poly. Transformation0:25:46 Korollar0:28:28 Das Problem SAT (satisfiability)0:31:05 Weitere Beispiele für SAT-…
 
06 | 0:00:00 Starten0:00:54 Definitionen zur TM0:05:21 Notation: Konfiguration0:07:49 Beispiel: Konfiguration0:20:00 Definition: berechenbar / totalrekursiv0:22:30 Beispiel0:26:57 Entscheidbarkeit und Berechenbarkeit0:30:18 Korollar0:33:13 Die Church´sche These0:36:20 Erweiterungen der Turing-Maschine0:39:17 Die universelle Turing-Maschine0:45:24 D…
 
05 | 0:00:00 Starten0:00:54 Definitionen zur TM0:05:56 Notation: Konfiguration0:07:50 Beispiel: Konfiguration0:20:37 Definition: berechenbar / totalrekursiv0:23:01 Beispiel0:27:27 Entscheidbarkeit und Berechenbarkeit0:30:19 Korollar0:33:21 Die Church´sche These0:36:38 Ertweiterungen der Turing-Maschine0:39:39 Die universelle Turing-Maschine0:44:35 …
 
04 | 0:00:00 Starten0:00:12 Endliche Automaten, reguläre Sprachen0:00:57 Frage0:01:40 Äquivalenz0:04:24 Der Äquivalenzklassenautomat0:06:29 Vorgehensweise0:08:44 Frage0:10:29 Antwort0:13:49 Definitionen: Rechtsinvarianz und Index0:17:08 Nerode-Relation0:20:55 Satz von Nerode0:24:06 Beweis zu Satz von Nerode: (1) – (2)0:28:54 Beweis zu Satz von Nero…
 
02 | 0:00:00 Starten0:00:24 Letzte Vorlesung0:09:53 Entfernen von e-Übergängen0:20:42 EA – Regulärität0:22:44 Beweis: EA – Regulärität0:44:02 Beispiel0:54:15 Satz von Kleene0:55:54 Frage: Was können endliche Automaten nicht?0:59:14 Pumping-Lemma für reguläre Sprachen1:10:10 Bemerkung1:11:49 Beispiel (1) zum PL1:14:18 Beispiel (2) zum PL1:18:31 Beis…
 
03 | 0:00:00 Starten0:00:25 Verallgemeinertes PL für reguläre Sprachen0:17:18 Kapitel Minimierung von Automaten und Äquivalenzklassenautomat0:20:14 Frage: Kann man konstruktiv die Anzahl der Zustände eines deterministischen endlichen Automatens erheblich verringern?0:22:04 Beispiel0:34:34 Äquivalenz0:37:22 Der Äquivalenzklassenautomat0:48:03 Frage:…
 
Loading …

Kurzanleitung

Google login Twitter login Classic login