05: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 31.10.2018
Autor
Herausgeber
Beteiligtes Institut
Institut für Anthropomatik und Robotik (IAR)
Genre
Beschreibung
- 0:00:00 Start
- 0:10:20 Auswertung von Formeln - ein Beispiel
- 0:12:41 Auswertung einer Formel für alle Interpretation
- 0:15:46 Äquivalente Formeln
- 0:18:59 kleine Randbemerkung - Auffassung einer Formel als Abbildung
- 0:21:34 Modelle
- 0:25:59 Wichtige Spezialfälle aussagenlogischer Formeln
- 0:30:25 Tautologien - viele Beispiele auf ein Mal
- 0:32:18 Zwei Äquivalenz ,,Begriffe'' die zusammenpassen
- 0:33:51 Tautologien - konkreten Beispiele
- 0:34:22 Tautologien anderer Bauart
- 0:35:29 Beweisbarkeit
- 0:36:39 Kalkül
- 0:39:13 Aussagenkalkül
- 0:41:50 Ableitungen
- 0:46:40 Beweis
- 0:53:27 Modus Ponens ,,erhält Allgemeingültigkeit''
- 0:55:56 Alle Theoreme des Aussagenkalküls sind Tautologien
- 0:57:24 Die umgekehrte Richtung gilt auch
- 0:59:40 Ein Beispiel für die Nützlichkeit des Kalküls
- 1:02:07 Fortsetzung des Beweises
- 1:02:59 Was ist wichtig
- 1:08:31 Vollständige Induktion
- 1:08:45 Eine Erinnerung
- 1:10:12 Das Lemma über Wortlängen
Laufzeit (hh:mm:ss)
01:23:02
Serie
Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Publiziert am
02.11.2018
Fachgebiet
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 | 934200 bps |
| Farbraum | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Medientyp | video/mp4 |
| Dauer | 4982 s |
| Dateiname | DIVA-2018-792_hd.mp4 |
| Dateigröße | 581.751.712 byte |
| Bildwiederholfrequenz | 25 |
| Videobitrate | 800103 bps |
| Video Codec | h264 |
Mediathek-URL
Embed-Code
Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Folgen 1-26
von 26
