1
1
如果你只是对简单的标准感兴趣,比如 不平等 或 之间 在3到6之间 作为( 大于等于3 和 小于等于6 ).如果您将此与逻辑 具有 您可以使用布尔代数来获得( 大于等于3 和 小于等于6 和 小于等于5 小于等于5 3点到5点之间 |
2
1
如果表达式中只有常量,则应该可以避免 undecidability (我想!)。当您可以用+-*/表示例如关于整数的一般语句时,问题就会出现(请参阅 Peano arithmetic 即使您停留在可判定的范围内,也不存在可以接受任意语句P(x)和Q(x)并计算与P(x)等价的语句R(x)的算法;Q(x)对于所有x,其中x的范围超过 任何 域(整数、字符串、矩阵、实数、复数、逻辑语句[哎呀,回到不可判定的领域!],…)。您需要特定于域的技巧才能达到目的,并严格限定 languages 其中P,Q和R是公式化的。有一些特定领域的软件产品,其中一个叫做Mathematica。。。 试着回到基本点:你想解决什么问题? |
ridiculous_fish · std::是否保证短路? 2 年前 |
Hilde Schneider · php对我的if条件有问题 6 年前 |
user8188120 · 熊猫用np标记时间戳。其中比较 6 年前 |
Jarek · 与循环python数据帧中的下一个/上一个值进行比较 6 年前 |
vato · Bash脚本:测试浮点数是否在包括负数在内的特定范围内 7 年前 |