240 发简信
IP属地:浙江
  • `我们再来看一个更通用的例子,[i \in {2, 4, 6, 8} |-> i - 42][4] ,这里我们得到的值是 4 - 42,也就是 38。` 请问 这个不应该是8-42 等于-34吗?

    学习 TLA+ - 基础数学知识

    TLA+ 并不是一门很容易掌握的语言,在学习之前,我们需要了解一些简单的数学知识。这里需要注意,为了打字方便,很多数学符号我直接使用了 ASCII 来表示,具体符号与 ASC...