KIT-Bibliothek

08: Grundbegriffe der Informatik, Übung, WS 2019/20, 13.11.2019

Autor

Thomas Worsch

Herausgeber

Zentrum für Mediales Lernen (ZML)

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

  • 0:00:00 Start
  • 0:01:29 Charakteristische Funktion
  • 0:03:36 Wozu braucht man formale Sprachen?
  • 0:06:14 Konkatenation formaler Sprachen
  • 0:12:26 Konkatenationsabschluss
  • 0:13:29 Konkatenationsabschluss: pathologische Fälle
  • 0:16:16 Konkatenationsabschluss vom Konkatenationsabschluss
  • 0:17:42 L* und L+
  • 0:19:54 Beschreibung formaler Sprachen
  • 0:23:39 Vorlesung 8
  • 0:23:48 Division mit Rest: Operationen div und mod
  • 0:25:34 k-äre Darstellung von Zahlen (2)
  • 0:26:42 Unübliche Methode für negative Zahlen – mit der Ziffer ""meins""
  • 0:27:54 Rechnen in Zk (1)
  • 0:32:05 Rechnen in Zk (2) – graphisch: Zahlen als Pfeile
  • 0:34:41 Zahldarstellungen mit beschränkter fester Länge
  • 0:36:42 Negative Zahlen – Pfeile in die entgegengesetzte Richtung
  • 0:40:49 Darstellung auch negativer Zahlen
  • 0:43:14 Zweierkomplement-Darstellung mit l Bits – für negative und nichtnegative Zahlen
  • 0:47:04 Zweierkomplementdarstellung – Rechnen wie in der Schule
  • 0:49:53 Das is wichtig
  • 0:51:29 Komposition von Funktionen
  • 0:54:16 Identität – die neutralen Elemente bzgl. Komposition
  • 0:55:16 Umkehrfunktion
  • 0:57:21 Links- und Rechtsinverse
  • 1:00:12 Von Hexadezimal- zu Binärdarstellung
  • 1:03:17 Übersetzungen – bedeutungserhaltende Abbildungen von Wörtern auf Wörter
  • 1:08:03 Wozu Übersetzungen
  • 1:12:43 Codierungen – injektive Übersetzungen
  • 1:15:24 Wie spezifiziert man eine Übersetzung?
  • 1:17:13 Homomorphismen – mit Konkatenation verträgliche Abbildungen

Laufzeit (hh:mm:ss)

01:23:23

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2019/20

Publiziert am

14.11.2019

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 128000 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 364954 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 5004 s
Dateiname DIVA-2019-876_hd.mp4
Dateigröße 228.257.647 byte
Bildwiederholfrequenz 25
Videobitrate 230847 bps
Video Codec h264

Mediathek-URL

Embed-Code

Grundbegriffe der Informatik, Vorlesung, WS 2019/20 Folgen 1-28 von 28