Prädikatenlogik mit endlichen Modellen

Wird Prädikatenlogik einfacher, wenn man statt der bisher vewendeten unendlichen Interpretationen nur noch endliche Interpretationen als Modell zulässt? Macht das überhaupt einen Unterschied für die Semantik? Und was hat das ganze mit Datenbanken zu tun? Diese Fragen sollen in diesem Video beantwortet werden. Wir lernen dabei auch den Satz von Trakhtenbrot kennen. ► Playliste für diesen Videokurs:    • Theoretische Informatik und Logik (B.Sc.-N...   ► Vorlesungsfolien zum Download: https://iccl.inf.tu-dresden.de/web/Th... (21. Vorlesung) ► Aktuelle und frühere Versionen der Vorlesung: https://iccl.inf.tu-dresden.de/web/Th... ► Fehler gefunden? Issues melden auf github: https://github.com/knowsys/TheoLog