dev*_*xer 82 algorithm math symbols
我正在阅读一个算法(它是一个基于A*的路径寻找算法),它包含一个我不熟悉的数学符号:∀
以下是上下文:
v(s)≥g(s)= mins'∈pred(s)(v(s')+ c(s',s))∀s≠s start
有人可以解释meaning的含义吗？
Mar*_*off 110
这就是"forall"(对所有)符号,如维基百科的数学符号表或Unicode forall字符(\u2200,∀)中所示.
seh*_*seh 52
倒置甲符号是普遍量词从谓词逻辑.(另请参阅对一阶谓词演算的更完整的讨论.)正如其他人所指出的,这意味着所声明的断言保持给定变量的"所有实例"(此处为s).你很快就会碰到它的兄弟,即向后的资本E,它是存在量词,意思是"存在至少一个"给定变量符合相关的断言.
如果你对逻辑感兴趣,你可能会喜欢" 逻辑与数据库: CJ日期关系理论的根源 "一书.有几章涵盖了这些量词及其逻辑含义.您不必使用数据库就可以从本书的逻辑覆盖中受益.
Yad*_*ada 12
在数学中,∀意味着全部.
Unicode字符(\ u2200,∀).