KIT-Bibliothek

17: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 13.12.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:05 Übung
  • 0:00:42 Allgemeingültig- und Erfüllbarkeit
  • 0:07:12 Trinker-Paradoxon
  • 0:11:25 Beispiel unerfüllbar
  • 0:13:44 Substitutionen
  • 0:17:01 Kollisionen
  • 0:20:54 Gebundene Umbenennung
  • 0:23:23 Beginn der Vorlesung
  • 0:25:57 Überblick
  • 0:27:29 Gerichteter Graph
  • 0:31:16 Bäume
  • 0:32:45 de Bruijn-Graphen
  • 0:38:18 Pfade
  • 0:40:49 Zyklen
  • 0:51:05 Eindeutigkeit der Wurzel
  • 0:54:42 Knotengrad bei gerichteten Graphen
  • 0:59:51 ""Struktur"" eines Graphen
  • 1:14:43 Ungerichtete Graphen
  • 1:24:35 Ungerichtete Bäume
  • 1:26:33 Knotengrad in ungerichteten Graphen

Duration (hh:mm:ss)

01:27:56

Series

Grundbegriffe der Informatik, Vorlesung, WS 2019/20

Published on

17.12.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 497754 bps
Color Space yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Media Type video/mp4
Duration 5276 s
Filename DIVA-2019-996_hd.mp4
File Size 328.265.465 byte
Frame Rate 25
Video Bitrate 363652 bps
Video Codec h264

Media URL

Embed Code

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