Ik ben aan het lezen van een algoritme (het is een pad-vinding algoritme op basis van a *), en het bevat een wiskundig symbool waarmee ik onbekend is met: ∀
Hier is de context:
V (S) ≥ G (S) = min S’∈PRED (S) (V (S ‘) + C (S’, S)) ∀S ≠ S Start
Kan iemand de betekenis van ∀ uitleggen?
Antwoord 1, Autoriteit 100%
Dat is het symbool “forall” (voor alle), zoals te zien in Wikipedia’s tabel met wiskundige symbolen of de Unicode forall karakter (\u2200, ∀).
Antwoord 2, Autoriteit 47%
De ondersteboven A Symbool is de universele kwantificeerder van predikaat logica . (Zie ook de completere discussie over de eerste-order predicate calculus .) Zoals anderen opgemerkt Het betekent dat de vermelde beweringen “voor alle gevallen” van de gegeven variabele (hier, S ) bevatten. Je komt snel in zijn broer of zus, de achterwaartse hoofdstad e , dat de existentiële kwantificeerder is, wat betekent “er bestaat ten minste één” van de gegeven variabele conform aan de gerelateerde variabele bewering.
Als u geïnteresseerd bent in Logic, kunt u genieten van het boek logica en databases: De wortels van relationele theorie door CJ date. Er zijn verschillende hoofdstukken die deze kwantificeren en hun logische implicaties bestrijken. U hoeft niet met databases te werken om te profiteren van de dekking van de logica van dit boek.
Antwoord 3, Autoriteit 11%
in wiskunde, ∀ betekent voor iedereen.
Unicode-teken (\ u2200, ∀).
Antwoord 4, Autoriteit 7%
kan worden gelezen, “voor alle S zodanig dat S niet gelijk is aan S [Start]”
Antwoord 5, Autoriteit 2%
Ja, dit zijn de bekende kwantificatoren die in wiskunde worden gebruikt. Een ander voorbeeld is ∃ die luidt als “bestaat”.