一位爱好文学的资深程序开发工程师。热爱工作又极度顾家的有为社会青年。<br><br>带货 <a href="https://links.jianshu.com/go?to=https%3A%2F%2Fasktug.com%2F" target="_blank">https://asktug.com/</a>
发简信
IP属地：浙江
-
-
`我们再来看一个更通用的例子，[i \in {2, 4, 6, 8} |-> i - 42][4] ，这里我们得到的值是 4 - 42，也就是 38。` 请问 这个不应该是8-42 等于-34吗？
学习 TLA+ - 基础数学知识
TLA+ 并不是一门很容易掌握的语言，在学习之前，我们需要了解一些简单的数学知识。这里需要注意，为了打字方便，很多数学符号我直接使用了 ASCII 来表示，具体符号与 ASC...