KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

15: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 05.12.2018

Autor

Thomas Worsch

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Anthropomatik und Robotik (IAR)

Genre

Vorlesung

Beschreibung

15 |
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

Laufzeit (hh:mm:ss)

01:24:09

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2018/19

Publiziert am

06.12.2018

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 934008 kbps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 5049 s
Dateiname DIVA-2018-939_hd.mp4
Dateigröße 589.490.862 byte
Bildwiederholfrequenz 25
Videobitrate 799908 kbps
Video Codec h264

Embed-Code

Grundbegriffe der Informatik, Vorlesung, WS 2018/19 Folgen 1-26 von 26