Símbolo desconhecido no algoritmo: o que significa Ÿ? [fechado]
estou a ler sobre um algoritmo (é um algoritmo para encontrar caminhos baseado em A*), e contém um símbolo matemático que não estou familiarizado com: Ÿ
Aqui está o contexto:
Alguém pode explicar o Significado de ÿ?V(s) ≥ g(s) = mins'∈pred(s)(v(s') + c(s', s)) ∀s ≠ siniciar
5 answers
Este é o símbolo " forall "(para todos), como visto na tabela de Símbolos matemáticos da Wikipédia, ou o Unicode para todos os caracteres (\u2200
, ∀).
O símbolo invertido a é o quantificador universal de lógica de predicados . (Also see the more complete discussion of the first-order predicate calculus .) Como outros observaram, isso significa que as afirmações declaradas são "para todas as instâncias" da variável dada (aqui, s). Em breve encontrarás o seu irmão, o capital de trás para a frente e , que é o quantificador existencial , que significa "existe pelo menos um" do dado variável conforme à afirmação relacionada.
Se estás interessado na lógica, podes gostar do livro. lógica e bases de dados: as raízes da teoria relacional por C. J. Date. Existem vários capítulos que abrangem estes quantificadores e as suas implicações lógicas. Você não precisa estar trabalhando com bancos de dados para se beneficiar da cobertura lógica deste livro.Em matemática, Ÿ significa para todos.
Carácter Unicode (\u2200, Ÿ).
Pode ser lido,"para todos os s tal que s não seja igual a s[iniciar]"
Sim, estes são os quantificadores bem conhecidos usados na matemática. Outro exemplo é∃, que se lê como "existe".