ich über einen Algorithmus zu lesen (es ist ein Wegfindungsalgorithmus auf A * basiert), und es enthält ein mathematisches Symbol, das ich mit unbekannten bin: ∀Unbekanntes Symbol im Algorithmus: Was bedeutet ∀?
Dies ist der Kontext:
v (s) ≥ g (n) = min s'∈pred (e) (v (s ') + c (s', s)) ∀s ≠ s Start
Kann jemand erkläre die Bedeutung von ∀?
Das ist das "Forall" (für alle) Symbol, wie in Wikipedia's table of mathematical symbols oder Unicode forall character (\u2200, ∀) gesehen.
Das würde Sinn machen: "... für alle s ungleich zu [Start]" – devuxer
Danke und +1 für den Link zu der Tabelle der Symbole. Ich werde verwenden Das nächste Mal bin ich ratlos (Suche Google nach ∀ aufgedreht keine Datensätze). – devuxer
lol, ich hatte nie gedacht, googeln für Symbole. Und anscheinend habe ich nichts verloren. –
In Mathe bedeutet FOR FÜR ALLE.
Unicode-Zeichen (\ u2200, ∀).
Sie nennen es die "Universal Qualifier". Vergleichen mit dem "Existential Qualifier" http: //en.wikipedia.org/wiki/Universal_quantification –
@ S.Lott: Nitpick s/Qualifier/Quantor –
gelesen werden, "Für alle so s, dass s nicht gleich s [Start] bedeutet"
Die upside-down A Symbol ist das Allquantor von predicate logic. (Siehe auch die ausführlichere Diskussion der first-order predicate calculus.) Wie andere angemerkt haben, bedeutet dies, dass die angegebenen Behauptungen "für alle Instanzen" der gegebenen Variablen gelten (hier s). Sie werden bald auf sein Geschwister stoßen, das Rückwärts-Kapital E, welches der Existenzquantifizierer ist, was bedeutet, dass "mindestens eins existiert" der gegebenen Variablen, die der zugehörigen Behauptung entspricht.
Wenn Sie sich für Logik interessieren, könnten Sie das Buch Logic and Databases: The Roots of Relational Theory von C.J. Date genießen. Es gibt mehrere Kapitel, die diese Quantifizierer und ihre logischen Implikationen behandeln. Sie müssen nicht mit Datenbanken arbeiten, um von der Logik dieses Buchs zu profitieren.
+1 für die Erwähnung von ∃ (U + 2203 gibt es). Tatsächlich werden in und ∃ im Prädikatenkalkül allgemein verwendet, sei es in erster oder höherer Ordnung. Für ein Beispiel zweiter Ordnung quantifizieren Sie im Induktionsaxiom der Peano-Arithmetik über Prädikaten und schreiben ∀P. – starblue
Vielen Dank, dass Sie darauf hingewiesen haben. Ich habe die Referenz für Ihren Vorschlag überarbeitet. – seh
ja, das sind die bekannten Quantifizierer in Mathematik verwendet. Ein anderes Beispiel ist ∃, das als "existiert" gelesen wird.
@Koper, um diesen Algorithmus zu programmieren, muss ich verstehen, was der Algorithmus tut. Wie ist es * nicht * mit der Programmierung verbunden? – devuxer
@DanThMan: Nun, technisch ist es eine allgemeine mathematische Frage, aber ich denke nicht, dass es sich lohnt, zu schließen. –
@Koper: Das ist eine wirklich schlechte Analogie. –