Grundbegriffe der Informatik, Vorlesung, WS 2016/17, 07.12.2016, 14
- 0:00:00 Starten
- 0:04:48 Neutrale Elemente
- 0:14:29 Prädikatenlogische Formeln – Beispiele
- 0:17:15 Interpretationen
- 0:23:47 val (D,I,ß) - ein Wert für jeden Term und ein Wahrheitswert für jede Formel
- 0:40:58 Allgemeingültige Formeln
- 0:46:57 Modelle
- 0:52:34 Was ist wichtig
- 0:54:45 Vorkommen von Variablensymbolen in Formeln
- 1:02:17 Substitutionen
- 1:14:20 Weitere allgemeingültige Formeln
- 1:15:42 Kalküle
- 1:17:43 Axiome
- 1:21:12 Schlussregeln
- 1:22:30 Ableitungen – formal gefasst
- 1:24:49 Beweis – formal gefasst
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 20.12.2016 |
| Erstellungsdatum | 07.12.2016 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2016-825 |
| Identifikator | KITopen-ID: 1000114388 |
| Lizenz | KITopen-Lizenz |
| Serie | Grundbegriffe der Informatik, Vorlesung, WS 2016/17 |
| Folge | 14 |