KIT-Bibliothek

02: Grundlagen der Informatik I, Vorlesung, SS 2019, 30.04.2019

This audio or video file is copyrighted. Access is only allowed via computers of the Karlsruhe Institute of Technology (KIT).

Author

York Sure-Vetter, Michael Färber

Participating institute

Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)

Genre

Vorlesung

Description

  • 0:00:00 Start
  • 0:00:05 Start
  • 0:03:23 Logische Ausdrücke im Business Process Engineering
  • 0:05:23 Logische Ausdrücke im Datenbankbereich
  • 0:07:50 Logische Ausdrücke im Software Engineering
  • 0:13:32 Aussagenlogik: Atomare Aussagen
  • 0:15:51 Aussagenlogik: Aussagezeichen
  • 0:19:12 Aussagenlogik: Syntax
  • 0:24:41 Aussagenlogik: Wahrheitsgehalt von atomaren Aussagen
  • 0:30:19 Aussagenlogik: Beispiel
  • 0:34:46 Aussagenlogik: Beispiel Wahrheitstafel
  • 0:38:12 Aussagenlogik: Definition
  • 0:41:33 Beispiel
  • 0:53:08 Bemerkungen
  • 0:56:43 Beispiel (Tautologie)
  • 1:05:24 Satz
  • 1:09:54 Definition (Normalformen)

Duration (hh:mm:ss)

01:17:26

Series

Grundlagen der Informatik I, Vorlesung, SS 2019

Published on

02.05.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 934075 bps
Color Space yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Media Type video/mp4
Duration 4646 s
Filename DIVA-2019-293_hd.mp4
File Size 542.440.733 byte
Frame Rate 25
Video Bitrate 799982 bps
Video Codec h264

Embed Code