09 | 0:00:00 Starten 0:00:05 Einheit 8: Codierungen 0:00:20 Übersetzungen – bedeutungserhaltende Abbildungen 0:00:30 Homomorphismen – mit Konkatenation verträgliche Abbildungen 0:01:15 Homomorphismen lassen das leere Wort unverändert 0:01:37 Homomorphismen – die Bilder einzelner Symbole legen alles fest 0:04:01 Homomorphismen – die Bilder einzelner Symbole legen alles fest (2) 0:07:17 Präfixfreie Codes 0:09:09 Präfixfreie Codes: Decodierung 0:14:23 Präfixfreie Codes: Decodierung (2) 0:15:35 Präfixfreie Codes: Decodierung (3) 0:16:23 Präfixfreie Codes: Decodierung (4) 0:17:51 Wo sind wir? 0:18:11 UTF-8 Coderung von Unicode – ein Homomorphismus 0:19:59 UTF-8 – Auszug aus RFC 3629 0:23:02 Beispiel: UTF-8 Codierung des Integralzeichens 0:24:49 Das ist wichtig 0:25:37 Huffmann-Codierung 0:26:43 Huffmann-Codierung – ein Überblick 0:28:03 Voraussetzungen 0:30:01 Algorithmus für Huffmann-Codes 0:32:22 Konstruktion des Huffmann-Baumes (1) 0:33:14 Konstruktion des Huffmann-Baumes (2) 0:34:00 Konstruktion des Huffmann-Baumes (3) 0:35:08 Konstruktion des Huffmann-Baumes (4) 0:37:44 Konstruktion des Huffmann-Baumes (5) 0:37:59 Konstruktion des Huffmann-Baumes (6) 0:38:12 Konstruktion des Huffmann-Baumes (8) 0:38:28 Beschriftung der Kanten 0:39:47 Eigenschaften von Huffmann-Codes 0:40:39 Block-Codierungen 0:41:52 Das ist wichtig 0:44:02 Einheit 9: Speicher 0:44:49 Überblick 0:47:20 Bit und Byte 0:47:39 Wo sind wir? 0:47:59 Kleiner und großer Speicher 0:49:49 Dezimale Größenpräfixe 0:52:41 Binäre Größenpräfixe 0:54:31 Wir halten fest 0:54:48 Formalisierungen sind Spezifikationen – auch im Zusammenhang mit Speicher... 0:57:08 Gesamtzustand eines Speichers 0:59:07 Formalisierung von Speicher 1:01:26 Lesen aus dem Speicher – Formalisierung als Abbildung 1:02:45 Bemerkunbg zu memread 1:04:09 Schreiben in den Speicher – ein wenig komplizierter 1:09:11 Eigenschaften von Speicher 1:09:45 Wozu diese Formalisierungen? 1:10:04 Was ist wichtig