16: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 13.12.2017
Autor
Herausgeber
Beteiligtes Institut
Institut für Theoretische Informatik (ITI)
Genre
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
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 bps |
| 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 bps |
| Video Codec | h264 |
Embed-Code
