16: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 23.01.2020
Description
16 |
0:00:00 Start
0:00:21 Letzte Vorlesung
0:07:22 Wdh.: Greibach-Normalform, Kellerautomat
0:11:54 Kellerautomaten
0:15:10 Beispiel - Greibach-Normalform
0:18:13 Beipiel - Kellerautomat
0:21:23 Beweis: Greibach-Normalform -> NPDA
0:27:20 Beweis: NPDA -> Kontextfreie Grammatik
0:52:53 Zwischenfazit zu kontextfreien Grammatiken
0:59:24 Das Post´sche Korrespondenzproblem
1:06:53 Eindeutigkeit von kontextfreien Grammatiken
1:10:13 Sprache der Korrekten Rechenwege
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
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