Aussagenlogik und Prädiketenlogik verwenden die gleichen Booleschen Operatoren und viele Gesetzmäßigkeiten gelten hier wie da. Das Video gibt eine kleine Übersicht der wichtigsten Regeln. Zum Schluss lösen wir außerdem noch ein paar Logeleien aus vorangegangenen Videos auf.
► Playliste für diesen Videokurs: • Theoretische Informati...
► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/Th... (14. 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
Негізгі бет Ausagenlogische Gesetze in der Prädikatenlogik
Пікірлер