05: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 31.10.2019
Description
05 |
0:00:00 Start
0:00:39 Kapitel 2
0:07:31 Alternative Sicht – Beispiel
0:16:52 Wiederholung Äquivalemzklassenautomat
0:19:38 Rechtsinvarianz und Index
0:26:04 Nerode-Relation
0:29:50 Satz von Nerode
0:46:15 Korollar
0:52:35 Minimalität des Äquivalenzklassenautomats
0:55:26 Zusammenfassung
1:01:27 Turing-Maschinen und Berechenbarkeit
1:03:20 Die Registermaschine (RAM)
1:11:08 Formale Definition der Turingmaschine
1:18:14 Beispiel-Turing-Maschine
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