KIT | KIT-Bibliothek | Impressum | Datenschutz

15: Grundbegriffe der Informatik, Vorlesung, WS 2018/19, 05.12.2018

Worsch, Thomas; KIT | Webcast [Hrsg.]

  • 0:00:00 Start
  • 0:01:42 Kapitel 13: Prädikatenlogik erster Stufe
  • 0:02:09 Eine Grenze kontextfreier Grammatiken
  • 0:03:50 Lvv - Beispielwörter
  • 0:04:22 Lvv ist nicht kontextfrei
  • 0:29:01 Überblick
  • 0:30:15 Prädikatenlogische Formeln
  • 0:32:10 Prädikatenlogische Formeln - der Aufwand lohnt sich
  • 0:33:10 Terme - benötigte Alphabete
  • 0:35:22 Terme - Syntax
  • 0:37:41 Terme - Beispiel
  • 0:42:11 Atomare Formeln - Syntax
  • 0:45:53 Atomare Forlmeln - Beispiele
  • 0:48:31 Prädikatenlogische Formeln - Syntax
  • 0:50:51 Prädikatenlogische Formeln - Beispiele
  • 0:51:56 Was ist wichtig
  • 0:52:48 Interpretetaion
  • 0:58:02 val - ein Wert für jeden Term und ein Wahrheitswert für jede Formel
  • 0:59:15 val - ein Wert in D für jeden Term
  • 1:03:22 val - ein Wahrheitswert für jede atomare Formel
  • 1:05:31 val - Bespiel für atomare Formeln
  • 1:09:28 val - Wahrheitswert für quantifizierte Formeln
  • 1:11:08 val - Beispiel für quantifizierte Formeln
  • 1:14:01 Allgemeingültige Formeln
  • 1:15:51 Allgemeingültige Formeln - aber keine Tautologien
  • 1:18:38 Modelle
  • 1:20:32 Modelle - Beispiel
  • 1:22:55 Was ist wichtig


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