Als Einstieg in die Prädikatenlogik (auch bekannt als Logik erster Stufe) betrachten wir zunächst informell die Grundidee dieser Logik, speziell im Unterschied zur Aussagenlogik (an die wir uns bei der Gelegenheit noch einmal kurz erinnern). Zum Abschluss gibt es eine kleine Logelei.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dr... (13. Vorlesung)
► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dr...
► Fehler gefunden? Issues melden auf github: github.com/kno...
Негізгі бет Einführung in die Prädikatenlogik
Пікірлер: 2