KIT | KIT-Bibliothek | Impressum | Datenschutz

16: Grundbegriffe der Informatik, Vorlesung und Übung, WS 2018/19, 07.12.2018

Worsch, Thomas; Modanese, Augusto; KIT | Webcast [Hrsg.]

  • 0:00:00 Start
  • 0:00:05 Allgemeingültige Formeln
  • 0:05:40 Vorkommen von Variablensymbolen in Formeln
  • 0:07:33 freie und gebundene Vorkommen von Variablensymbolen
  • 0:16:46 Substitutionen
  • 0:30:50 Kollisionsfreie Substitutionen für Formeln
  • 0:33:12 Logisch äquivalente Formeln
  • 0:40:29 Weitere allgemeingültige Formeln
  • 0:41:18 Großzügige Benutzung von Prädikatenlogik
  • 0:44:02 Zusammenfassung
  • 0:44:18 Übung 8: Prädikatenlogik
  • 0:45:01 Prädikatenlogik: Syntax
  • 0:48:48 Prädikatenlogik: Semantik
  • 0:53:11 Formulierungen in Prädikatenlogik
  • 0:57:52 Totalität und Eindeutigkeit
  • 1:00:18 Logische Äquivalenz
  • 1:06:33 Allgemeingültig- und Erfüllbarkeit
  • 1:11:21 Trinker-Paradoxon
  • 1:15:04 Beispiel unerfüllbar
  • 1:17:23 Substitutionen
  • 1:19:58 Kollisionen
  • 1:22:44 Gebundene Umbenennung
Open Access Logo


Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Audio & Video
Publikationsdatum 10.12.2018
Erstellungsdatum 07.12.2018
DOI 10.5445/DIVA/2018-954
Identifikator KITopen-ID: 1000116137
Serie Grundbegriffe der Informatik, Vorlesung, WS 2018/19
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page