KIT-Bibliothek

03: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 23.10.2019

Author

Thomas Worsch

Editor

Zentrum für Mediales Lernen (ZML)

Participating institute

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Description

  • 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

Duration (hh:mm:ss)

01:21:38

Series

Grundbegriffe der Informatik, Vorlesung, WS 2019/20

Published on

24.10.2019

Subject area

Computer science

License

KITopen Licence

Resolution 1280 x 720 Pixel
Aspect ratio 16:9
Audio bitrate 128000 bps
Audio channels 2
Audio Codec aac
Audio Sample Rate 48000 Hz
Total Bitrate 360190 bps
Color Space yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Media Type video/mp4
Duration 4898 s
Filename DIVA-2019-785_hd.mp4
File Size 220.518.584 byte
Frame Rate 25
Video Bitrate 226084 bps
Video Codec h264

Media URL

Embed Code

Grundbegriffe der Informatik, Vorlesung, WS 2019/20 Episodes 1-28 of 28