05: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 31.10.2018
Author
Editor
Participating institute
Institut für Anthropomatik und Robotik (IAR)
Genre
Description
- 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
Duration (hh:mm:ss)
01:23:02
Series
Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Published on
02.11.2018
Subject area
License
| Resolution | 1280 x 720 Pixel |
| Aspect ratio | 16:9 |
| Audio bitrate | 128000 bps |
| Audio channels | 2 |
| Audio Codec | aac |
| Audio Sample Rate | 48000 Hz |
| Total Bitrate | 934200 bps |
| Color Space | yuv420p |
| Container | mov,mp4,m4a,3gp,3g2,mj2 |
| Media Type | video/mp4 |
| Duration | 4982 s |
| Filename | DIVA-2018-792_hd.mp4 |
| File Size | 581.751.712 byte |
| Frame Rate | 25 |
| Video Bitrate | 800103 bps |
| Video Codec | h264 |
Media URL
Embed Code
Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Episodes 1-26
of 26
