16: Grundbegriffe der Informatik, Vorlesung, WS 2017/18, 13.12.2017
Autor
Herausgeber
Beteiligtes Institut
Institut für Theoretische Informatik (ITI)
Genre
Beschreibung
- 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 |
Mediathek-URL
Embed-Code
Grundbegriffe der Informatik, Vorlesung, WS 2017/18
Folgen 1-26
von 26
