KIT-Bibliothek
Audio-/Videodatei publizieren

03: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 23.10.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:00:21 Relationen
  • 0:01:42 Mehr zu Mengen
  • 0:03:25 Menge aller Funktionen von A nach B
  • 0:07:37 Potenzmenge einer Menge M
  • 0:10:35 ""Große"" Vereinigung und Durchschnitte
  • 0:13:23 Kapitelzusammenfassung Mengen
  • 0:14:33 Kapitel 4: Wörter
  • 0:15:25 Themenübersicht
  • 0:18:33 Wort über einem Alphabet
  • 0:19:29 Rolle des Leerzeichen
  • 0:21:20 Definition Wort
  • 0:26:16 Menge aller Wörter
  • 0:28:46 Das leere Wort
  • 0:33:01 Das leere Wort als Element von Mengen
  • 0:36:29 Konkatenation – anschaulich
  • 0:38:24 Konkatenation – formal
  • 0:42:05 Umgehen mit Definitionen
  • 0:48:42 Das leere Wort bezüglich Konkatenation
  • 0:58:55 Eigenschaften der Konkatenation
  • 1:02:15 Übung 1: Mengenlehre
  • 1:02:29 Inhaltsübersicht
  • 1:04:17 Mathematik (in der Informatik)
  • 1:07:11 Mengenlehre
  • 1:09:13 Mengeninklusion
  • 1:11:17 Kardinilität
  • 1:12:37 Kartesisches Produkt
  • 1:14:47 Potenzmenge
  • 1:16:51 (Unendliche) Vereinigungen
  • 1:18:21 Beweisschema: Gleichheit von Mengen
  • 1:19:59 Beispielbeweis

Laufzeit (hh:mm:ss)

01:21:38

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2019/20

Publiziert am

24.10.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 360190 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 4898 s
Dateiname DIVA-2019-785_hd.mp4
Dateigröße 220.518.584 byte
Bildwiederholfrequenz 25
Videobitrate 226084 bps
Video Codec h264

Mediathek-URL

Embed-Code

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