05: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 31.10.2018
- 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
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 02.11.2018 |
| Erstellungsdatum | 31.10.2018 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2018-792 |
| Identifikator | KITopen-ID: 1000115977 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2018/19 |
| Folge | 5 |