it-swarm.com.de

Unbekanntes Symbol im Algorithmus: Was bedeutet ∀?

Ich lese über einen Algorithmus (es ist ein Pfadfindungsalgorithmus basierend auf A *) und er enthält ein mathematisches Symbol, mit dem ich nicht vertraut bin: ∀

Hier ist der Kontext:

v (s) ≥ g(s) = mins'∈pred (s)(v (s ') + c (s', s)) ∀s ≠sstart

Kann jemand die Bedeutung von ∀ erklären?

76
devuxer

Dies ist das "forall" -Symbol (für alle), wie in Tabelle der mathematischen Symbole in Wikipedia oder nicode-Forall-Zeichen (\u2200, ∀).

106
Mark Rushakoff

Das umgedrehte [~ # ~] ein [~ # ~] Symbol ist der universelle Quantifizierer von Prädikatenlogik . (Siehe auch die ausführlichere Beschreibung des Prädikatenkalküls erster Ordnung . Wie bereits erwähnt, bedeutet dies, dass die angegebenen Aussagen "für alle Instanzen" der angegebenen Variablen gelten (hier: s ). Du wirst bald auf sein Geschwister stoßen, das rückständige Kapital [~ # ~] e [~ # ~] , welches das existentieller Quantifizierer , was bedeutet, dass "mindestens eine" der gegebenen Variablen existiert, die der zugehörigen Behauptung entspricht.

Wenn Sie sich für Logik interessieren, könnte Ihnen das Buch Logik und Datenbanken: Die Wurzeln der relationalen Theorie von gefallen CJ Date. Es gibt mehrere Kapitel, in denen diese Quantifizierer und ihre logischen Auswirkungen behandelt werden. Sie müssen nicht mit Datenbanken arbeiten, um von der Logik dieses Buches zu profitieren.

50
seh

In Mathe bedeutet ∀ FÜR ALLE.

Unicode-Zeichen (\ u2200, ∀).

12
Yada

Kann gelesen werden: "Für alle s, die nicht gleich s sind [start]"

8
ty.

ja, das sind die bekannten quantifizierer, die in der mathematik verwendet werden. Ein anderes Beispiel ist ∃, das lautet "existiert".

http://en.wikipedia.org/wiki/Quantification

3
D_K