#theorem

2020-11-9 16:0
大多数程序员应该知道的一个巧妙的工具家族是“定理证明器”。如果你读的是计算机专业的大学,你可能已经接触到了…。但在编程时,您可能不会考虑使用它们。 虽然我确信它们可以用来证明定理,但我从来没有用过它们来证明定理。它们对于快速检验一些假设和找到有用的常数很有用。让我举一个简单的例子。 我们知道软件中的无符号奇数有乘法逆......
2020-8-5 16:46
你有没有注意到,你是如何在前一秒怒气冲冲,下一秒又完全平静下来的? 一个混蛋司机在高速公路上拦下你,你就大发雷霆了。过了一会儿,你注意到他把车开进了医院,你的怒火就消失了。“是的,也许他车里有个病人。或者,也许亲近的人快要死了。我猜他终究不是个混蛋。“。 概率论中的一条晦涩难懂的法则,叫做贝叶斯定理,很好地解释了这一......