KIT-Bibliothek
suchen
KIT-Bibliothek
KIT-Bibliothek Medienportal

15: Grundbegriffe der Informatik, Übung und Vorlesung, WS 2019/20, 06.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:59 Kontextfreie Sprachen
  • 0:09:04 Schnitt kontextfreier Sprachen
  • 0:12:45 Produkt von Relationen
  • 0:18:09 Reflektiv, transitiv
  • 0:26:24 Interpretationen
  • 0:35:52 Allgemeingültige Formeln
  • 0:40:09 Modelle
  • 0:46:21 Vorkommen von Variablensymbolen in Formeln
  • 0:54:07 Substitution
  • 1:08:06 Logische äquivalente Formeln
  • 1:17:58 Großzügige Benutzung von Prädikatenlogik
  • 1:22:53 Eine Zeitreise

Laufzeit (hh:mm:ss)

01:27:02

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2019/20

Publiziert am

09.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 392316 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 5222 s
Dateiname DIVA-2019-959_hd.mp4
Dateigröße 256.097.149 byte
Bildwiederholfrequenz 25
Videobitrate 258212 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