Audio-/Videodatei publizieren
16: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 07.12.2018
Autor
Thomas Worsch, Augusto Modanese
Herausgeber
Beteiligtes Institut
Institut für Anthropomatik und Robotik (IAR)
Genre
Beschreibung
- 0:00:00 Start
- 0:00:05 Allgemeingültige Formeln
- 0:05:40 Vorkommen von Variablensymbolen in Formeln
- 0:07:33 freie und gebundene Vorkommen von Variablensymbolen
- 0:16:46 Substitutionen
- 0:30:50 Kollisionsfreie Substitutionen für Formeln
- 0:33:12 Logisch äquivalente Formeln
- 0:40:29 Weitere allgemeingültige Formeln
- 0:41:18 Großzügige Benutzung von Prädikatenlogik
- 0:44:02 Zusammenfassung
- 0:44:18 Übung 8: Prädikatenlogik
- 0:45:01 Prädikatenlogik: Syntax
- 0:48:48 Prädikatenlogik: Semantik
- 0:53:11 Formulierungen in Prädikatenlogik
- 0:57:52 Totalität und Eindeutigkeit
- 1:00:18 Logische Äquivalenz
- 1:06:33 Allgemeingültig- und Erfüllbarkeit
- 1:11:21 Trinker-Paradoxon
- 1:15:04 Beispiel unerfüllbar
- 1:17:23 Substitutionen
- 1:19:58 Kollisionen
- 1:22:44 Gebundene Umbenennung
Laufzeit (hh:mm:ss)
01:25:58
Serie
Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Publiziert am
10.12.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 | 933997 bps |
| Farbraum | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Medientyp | video/mp4 |
| Dauer | 5158 s |
| Dateiname | DIVA-2018-954_hd.mp4 |
| Dateigröße | 602.247.195 byte |
| Bildwiederholfrequenz | 25 |
| Videobitrate | 799898 bps |
| Video Codec | h264 |
Mediathek-URL
Embed-Code
Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Folgen 1-26
von 26
