16: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 13.12.2017
Author
Editor
Participating institute
Institut für Theoretische Informatik (ITI)
Genre
Description
- 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
Duration (hh:mm:ss)
01:30:28
Series
Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Published on
14.12.2017
Subject area
License
| Resolution | 1280 x 720 Pixel |
| Aspect ratio | 16:9 |
| Audio bitrate | 102400 bps |
| Audio channels | 2 |
| Audio Codec | aac |
| Audio Sample Rate | 48000 Hz |
| Total Bitrate | 908273 bps |
| Color Space | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Media Type | video/mp4 |
| Duration | 5428 s |
| Filename | DIVA-2017-789_hd.mp4 |
| File Size | 4.096 byte |
| Frame Rate | 25 |
| Video Bitrate | 799782 bps |
| Video Codec | h264 |
Media URL
Embed Code
Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Episodes 1-26
of 26
