15: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 05.12.2018
Author
Editor
Participating institute
Institut für Anthropomatik und Robotik (IAR)
Genre
Description
- 0:00:00 Start
- 0:01:42 Kapitel 13: Prädikatenlogik erster Stufe
- 0:02:09 Eine Grenze kontextfreier Grammatiken
- 0:03:50 Lvv - Beispielwörter
- 0:04:22 Lvv ist nicht kontextfrei
- 0:29:01 Überblick
- 0:30:15 Prädikatenlogische Formeln
- 0:32:10 Prädikatenlogische Formeln - der Aufwand lohnt sich
- 0:33:10 Terme - benötigte Alphabete
- 0:35:22 Terme - Syntax
- 0:37:41 Terme - Beispiel
- 0:42:11 Atomare Formeln - Syntax
- 0:45:53 Atomare Forlmeln - Beispiele
- 0:48:31 Prädikatenlogische Formeln - Syntax
- 0:50:51 Prädikatenlogische Formeln - Beispiele
- 0:51:56 Was ist wichtig
- 0:52:48 Interpretetaion
- 0:58:02 val - ein Wert für jeden Term und ein Wahrheitswert für jede Formel
- 0:59:15 val - ein Wert in D für jeden Term
- 1:03:22 val - ein Wahrheitswert für jede atomare Formel
- 1:05:31 val - Bespiel für atomare Formeln
- 1:09:28 val - Wahrheitswert für quantifizierte Formeln
- 1:11:08 val - Beispiel für quantifizierte Formeln
- 1:14:01 Allgemeingültige Formeln
- 1:15:51 Allgemeingültige Formeln - aber keine Tautologien
- 1:18:38 Modelle
- 1:20:32 Modelle - Beispiel
- 1:22:55 Was ist wichtig
Duration (hh:mm:ss)
01:24:09
Series
Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Published on
06.12.2018
Subject area
License
| 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 | 934008 bps |
| Color Space | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Media Type | video/mp4 |
| Duration | 5049 s |
| Filename | DIVA-2018-939_hd.mp4 |
| File Size | 589.490.862 byte |
| Frame Rate | 25 |
| Video Bitrate | 799908 bps |
| Video Codec | h264 |
Media URL
Embed Code
Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Episodes 1-26
of 26
