KIT-Bibliothek

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

Autor

Sebastian Stüker

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

  • 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

Laufzeit (hh:mm:ss)

01:10:59

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2016/17

Publiziert am

24.11.2016

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 98088 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 905259 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 4259 s
Dateiname DIVA-2016-744_hd.mp4
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Videobitrate 801074 bps
Video Codec h264

Mediathek-URL

Embed-Code

Grundbegriffe der Informatik, Vorlesung, WS 2016/17 Folgen 1-27 von 27