KIT-Bibliothek
Audio-/Videodatei publizieren

07: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 07.11.2018

Autor

Thomas Worsch

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

  • 0:00:00 Start
  • 0:02:04 Erinnerung: formale Sprache
  • 0:05:28 Produkte formaler Sprachen – Beispiele
  • 0:10:38 Neutrales Element für Produkt formaler Sprachen
  • 0:13:22 Potenzen von Sprachen
  • 0:20:34 Potenzen mehrfach definiert
  • 0:22:39 Konkatenationsabschluss von L
  • 0:35:05 Zwei Warnungen
  • 0:44:49 Dezimaldarstellung von Zahlen
  • 0:50:22 Induktive Definitionen – ""über die Wortlänge""
  • 0:52:49 Binärdarstellung von Zahlen – Stellensystem zur Basis 2
  • 0:56:50 Ein kleines Problem
  • 1:00:13 k-äre Darstellung von Zahlen
  • 1:03:33 Operationen di und mod
  • 1:09:27 Die Definition von Reprk ist sinnvoll
  • 1:14:36 Numk ist linksinvers zu Reprk
  • 1:19:06 Unübliche Methode für negative Zahlen
  • 1:24:16 Rechnen in Zk

Laufzeit (hh:mm:ss)

01:26:59

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2018/19

Publiziert am

08.11.2018

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 934096 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 5219 s
Dateiname DIVA-2018-814_hd.mp4
Dateigröße 609.360.470 byte
Bildwiederholfrequenz 25
Videobitrate 799999 bps
Video Codec h264

Mediathek-URL

Embed-Code

Grundbegriffe der Informatik, Vorlesung, WS 2018/19 Folgen 1-26 von 26