KIT | KIT-Bibliothek | Impressum | Datenschutz

Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 18.11.2016, 09

Stüker, Sebastian; KIT | Webcast [Hrsg.]

  • 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
DOI 10.5445/DIVA/2016-744
Identifikator KITopen-ID: 1000114313
Serie Grundbegriffe der Informatik, Vorlesung, WS 2016/17
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page