15 |

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