Prädikatenlogik: Semantik
Рет қаралды 1,616
Күн бұрынFür die Semantik der Prädikatenlogik muss man zunächst klären, wie Atome zu ihren Wahrheitswerten kommen. Dazu führen wir Interpretationen und Zuweisungen (für Variablen) ein. Ist das einmal geschafft, dann ist der Rest eigentlich ganz einfach. Am Ende gibt es wieder 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...
@SumbaSlice 3 жыл бұрын
Sehr gute Reihe und tolles Timing, da ich gerade das Modul "Aussagen- und Prädikatenlogik" belege und diese Videos alles mit Beispielen erklären. Ich hoffe, Sie machen auch Videos zur Konstruktion von Herbrandmodellen und diversen Kalkülen.
@peerstaschill8707 3 жыл бұрын
Sag bloß, du bist auch zufällig an der TU Darmstadt und bist beim Lernen auf dieses Video gestoßen? :D
@theheadache8684 Жыл бұрын
digga wtf @@peerstaschill8707
@BLKBROTHERHOOD Ай бұрын
@@peerstaschill8707 Schöne Grüße von der TUD
Magda liebt Mathe
Рет қаралды 26 М.