05: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 31.10.2019
Listen now
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
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
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