KIT Library
suchen
KIT-Bibliothek
KIT Library Media Portal

14: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 04.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:18 Wiederholung
  • 0:01:51 Kontextfreie Grammatiken
  • 0:04:21 Ableitungen
  • 0:08:36 Grammatiken - In der Praxis
  • 0:11:12 Ableitungsbaum
  • 0:22:24 Beginn Vorlesung
  • 0:24:54 Plan für das weitere Vorgehen
  • 0:45:36 Zusammenfassung
  • 0:46:36 Kapitel 13: Prädikatenlogik erster Stufe
  • 0:49:07 Prädikatenlogische Formeln
  • 0:50:29 Terme
  • 0:57:36 Atomare Formeln
  • 1:03:08 Prädikatenlogische Formeln
  • 1:09:26 Interpretationen

Duration (hh:mm:ss)

01:28:41

Series

Grundbegriffe der Informatik, Vorlesung, WS 2019/20

Published on

04.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 372419 bps
Color Space yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Media Type video/mp4
Duration 5322 s
Filename DIVA-2019-945_hd.mp4
File Size 247.730.921 byte
Frame Rate 25
Video Bitrate 238316 bps
Video Codec h264

Media URL

Embed Code

Grundbegriffe der Informatik, Vorlesung, WS 2019/20 Episodes 1-28 of 28
19: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 20.12.2019
19: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 20.12.2019
28: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 07.02.2020
28: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 07.02.2020
27: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 05.02.2020
27: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 05.02.2020
26: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 29.01.2020
26: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 29.01.2020
25: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 24.01.2020
25: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 24.01.2020
24: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 22.01.2020
24: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 22.01.2020
23: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 17.01.2020
23: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 17.01.2020
22: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 15.01.2020
22: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 15.01.2020
21: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 10.01.2020
21: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 10.01.2020
20: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 08.01.2020
20: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 08.01.2020
18: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 18.12.2019
18: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 18.12.2019
17: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 13.12.2019
17: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 13.12.2019
16: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 11.12.2019
16: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 11.12.2019
15: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 06.12.2019
15: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 06.12.2019
14: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 04.12.2019
14: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 04.12.2019
13: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 29.11.2019
13: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 29.11.2019
12: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2019/20, 27.11.2019
12: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2019/20, 27.11.2019
11: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 22.11.2019
11: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 22.11.2019
10: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 20.11.2019
10: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 20.11.2019
09: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 15.11.2019
09: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 15.11.2019
08: Grundbegriffe der Informatik, Übung, WS 2019/20, 13.11.2019
08: Grundbegriffe der Informatik, Übung, WS 2019/20, 13.11.2019
07: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 08.11.2019
07: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 08.11.2019
06: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 06.11.2019
06: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 06.11.2019
05: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 30.10.2019
05: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 30.10.2019
04: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 25.10.2019
04: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 25.10.2019
03: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 23.10.2019
03: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 23.10.2019
02: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 18.10.2019
02: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 18.10.2019
01: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 16.10.2019
01: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 16.10.2019