KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum Publizieren

16: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 13.12.2017

Autor

Thomas Worsch

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Beschreibung

16 |
0:00:00 Starten
0:00:10 Kap13: Prädikatenlogik erster Stufe
0:11:37 Vorkommen von Variablensymbolen in Formeln
0:13:24 freie und gebundene Vorkommen von Variablensymbolen
0:21:02 Substitutionen
0:36:51 Kollisionsfreie Substitutionen für Formeln
0:39:06 Logisch äquivalente Formeln
0:49:36 Weitere allgemeingültige Formeln
0:53:25 Kapitel 14: Der Begriff des Algorithmus (einige grundlegende Aspekte)
0:53:34 Kalkül
0:55:53 Aussagenkalkül
0:56:42 Hilbert-Kalkül
0:59:54 Axiome für Hilbert-Kalkül
1:03:12 Schlussregeln für den Hilbert-Kalkül
1:05:06 Ableitungen - formal gefasst
1:09:30 Beweis - formal gefasst
1:09:55 Hilbert-Kalkül - korrekt und vollständig
1:12:39 Deduktionstheorem - aber nur mit Einschränkungen
1:14:47 Skizze eines Beispiels
1:28:22 Großzügige Benutzung von Prädikatenlogik
1:29:26 Zusammenfassung

Laufzeit (hh:mm:ss)

01:30:28

Serie

Grundbegriffe der Informatik, Vorlesung, WS 2017/18

Publiziert am

14.12.2017

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 102400 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 908273 kbps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 5428 s
Dateiname DIVA-2017-789_hd.mp4
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Videobitrate 799782 kbps
Video Codec h264

Embed-Code

Grundbegriffe der Informatik, Vorlesung, WS 2017/18 Folgen 1-26 von 26