
04: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 26.10.2018
Autor
Thomas Worsch, Augusto Modanese
Herausgeber
Beteiligtes Institut
Institut für Anthropomatik und Robotik (IAR)
Genre
Beschreibung
04 |
0:00:00 Starten
0:00:03 Kapitel 5: Aussagenlogik
0:02:21 Alphabet der Aussagenlogik
0:04:29 Konstruktionsabbildungen
0:07:24 Lesearten
0:08:09 Syntax Konstruktion immer größerer Formeln
0:19:33 Boolesche Funktionen
0:29:37 Semantik aussagenlogischer Formeln
0:35:14 Übung 2: Wörter, binäre Operationen und Aussagenlogik
0:35:37 Wörter
0:38:10 Das leere Wort
0:39:25 Mengen von Wörtern
0:42:30 Unterscheidung Symbol / Wort
0:44:26 Konkatenation
0:49:58 Kommutativität
0:52:36 Assoziativität
0:55:21 Wörter ""spiegeln""
0:58:27 Berechnung von f
1:00:10 Als binäre Operation
1:01:55 Aussagenlogik: Syntax
1:03:58 Aufbau einer Formel
1:08:08 Formale Sprachen
Laufzeit (hh:mm:ss)
01:12:10
Serie
Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Publiziert am
30.10.2018
Fachgebiet
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 | 934038 bps |
Farbraum | yuv420p |
Container | mov,mp4,m4a,3gp,3g2,mj2 |
Medientyp | video/mp4 |
Dauer | 4330 s |
Dateiname | DIVA-2018-770_hd.mp4 |
Dateigröße | 505.541.310 byte |
Bildwiederholfrequenz | 25 |
Videobitrate | 799942 bps |
Video Codec | h264 |
Embed-Code