KIT-Bibliothek

03: Grundlagen der Informatik I, Vorlesung, SS 2019, 07.05.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 Logik 1-3 Aussagenlogik
  • 0:00:30 Apple - das wertvollste Unternehmen im Vergleich
  • 0:03:06 Übersicht
  • 0:03:28 2.1 Aussagenlogik: Satz
  • 0:05:06 Beispiel
  • 0:07:45 Algorithmus II: Wahrheitstafeln
  • 0:08:45 Bestimmung einer KNF
  • 0:08:58 Beispiel
  • 0:13:09 2.1 Aussagenlogik
  • 0:22:33 Resolutionslemma
  • 0:27:47 Resolution
  • 0:30:28 2.2 Prädikatenlogik
  • 0:30:30 2.2 Grenzen der Aussagenlogik
  • 0:32:44 2.2 Vokabular der Prädikatenlogik
  • 0:34:09 Syntax der Prädikatenlogik
  • 0:34:21 2.2 Bedeutung der Quantoren (informale Definition)
  • 0:35:20 2.2 Syntax der Prädikatenlogik
  • 0:36:40 2.2 Prädikatenlogik
  • 1:11:59 Resolution in der Prädikatenlogik
  • 1:12:41 2.2 Prädikatenlogik

Duration (hh:mm:ss)

01:23:52

Series

Grundlagen der Informatik I, Vorlesung, SS 2019

Published on

08.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 934155 bps
Color Space yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Media Type video/mp4
Duration 5032 s
Filename DIVA-2019-320_hd.mp4
File Size 587.561.066 byte
Frame Rate 25
Video Bitrate 800058 bps
Video Codec h264

Embed Code