Fehler auf S.36 Punkt 3 - Module 2: Logik (v0.9)

Magnus Gärtner
Neuling
Neuling
Beiträge: 9
Registriert: 31. Okt 2016 10:37

Fehler auf S.36 Punkt 3 - Module 2: Logik (v0.9)

Beitrag von Magnus Gärtner »

Hallo,
ich hab einen kleinen Fehler entdeckt, auf S.36 Punkt 3 (Module 2: Logik (v0.9)), wird

v0 ∨ ∃v0 : (v0 = v1)

fälschlicherweise als Beispiel einer prädikatenlogischen Formel genannt, da Termvariablen v0 nicht durch aussagenlogische Junktoren mit prädikatenlogischen Formeln, hier ∃v0 : (v0 = v1) , verknüpft werden können.

Markus Tasch
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 124
Registriert: 11. Sep 2015 10:57

Re: Fehler auf S.36 Punkt 3 - Module 2: Logik (v0.9)

Beitrag von Markus Tasch »

Danke für den Hinweis. Wir haben das entsprechend in Version 1.0 der Folien korrigiert.
Markus Tasch, M.Sc.
Modeling and Analysis of Information Systems
Department of Computer Science, TU Darmstadt
http://www.mais.informatik.tu-darmstadt.de

Antworten

Zurück zu „Archiv“