KIT-Bibliothek
suchen
KIT-Bibliothek
KIT-Bibliothek Medienportal
FAQ Audio-/Videodatei publizieren

14: Grundbegriffe der Informatik, Vorlesung, WS 2019/20, 04.12.2019

Autor

Thomas Worsch

Herausgeber

Zentrum für Mediales Lernen (ZML)

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

  • 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

Laufzeit (hh:mm:ss)

01:28:41

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2019/20

Publiziert am

04.12.2019

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 128000 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 372419 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 5322 s
Dateiname DIVA-2019-945_hd.mp4
Dateigröße 247.730.921 byte
Bildwiederholfrequenz 25
Videobitrate 238316 bps
Video Codec h264

Mediathek-URL

Embed-Code

Grundbegriffe der Informatik, Vorlesung, WS 2019/20 Folgen 1-28 von 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