Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 18.11.2016, 09 - a podcast by Karlsruher Institut für Technologie (KIT)

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

Further episodes of Grundbegriffe der Informatik, Vorlesung, WS16/17

Further podcasts by Karlsruher Institut für Technologie (KIT)

Website of Karlsruher Institut für Technologie (KIT)