Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 18.11.2016, 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
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 24.11.2016 |
| Erstellungsdatum | 18.11.2016 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2016-744 |
| Identifikator | KITopen-ID: 1000114313 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2016/17 |
| Folge | 9 |