07: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 12.11.2019
Listen now
Description
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 Korrespondenzproblem
0:34:51 Eigenschaften von (semi-) entscheidbaren Sprachen
0:39:07 Komplexitätstheorie
0:42:09 Wie sieht das Problem aus?
0:47:37 Definition: Problem
0:49:42 Definition: Kodierungsschema
0:55:30 Äquivalenz von kodierungsschemata
0:57:11 Entscheidungsproblem
1:02:21 Zeitkomplexität
1:07:08 Schwierigkeit von Entscheidungs- und Optimierungsproblem
1:11:35 Algorithmus OPT-TOUR (als beweis) 1/2
1:16:27 Laufzeit des Algorithmus
1:18:26 Zwischenstand Komplexitätstheorie
1:21:56 Die Nichtdeterministische turing-Maschine
1:23:25 Die Orakel-Turing-Maschine
More Episodes
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-Distanz und Fehlerkorrektur
0:21:23 Beispiel
Published 02/06/20
Published 02/06/20
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 (Platzsparende) Kodierungen
0:28:48 Präfix-Codes
0:31:13 Kodierungsbäume
0:36:18 Beispiel: Morse-Alphabet
0:37:38...
Published 01/30/20
Links
Twitter
Facebook
Instagram
Patreon
Genres
Artwork or description wrong?
Request an update »
Updates may take a few minutes.
Do you host a podcast?
Track your ranks and reviews from Spotify, Apple Podcasts and more.
