Die Syntax der Prädikatenlogik ist eigentlich ganz einfach. Unterschiede zur Aussagenlogik gibt es nur auf unterster Ebene (bei den Atomen) und durch die beiden Quantoren. Wir sehen uns das genauer an und erklären noch einige einfache Grundbegriffe (Teilformel, freie und gebundene Variablen, offene und geschlossene Formeln).
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/Th... (13. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dresden.de/web/Th...
► Fehler gefunden? Issues melden auf github: github.com/knowsys/TheoLog
Негізгі бет Prädikatenlogik: Syntax
Пікірлер: 1