#单调
Monads and Intensionality – Lucid is not an aberration(billwadge.wordpress.com)
2020-8-5 10:58
你懂单曲吗？我不知道，所以我想我应该给你解释一下。
那么，一旦你拿到了，我会重新解释Lucid的。没有哈斯克尔，可选的分类理论，无麸质。
当时的想法是，程序是一组方程，描述了一组随时间变化的变量。最初的想法是通过减少编程对数学的依赖来使正式的程序验证变得更容易-程序只是一组方程式。然而，项目迅速扩展，直到我们意识到我......
A Brilliant Book on Combinatorics(rjlipton.wordpress.com)
2020-7-27 23:28
Stasys Jukna是“极端组合在计算机科学中的应用”一书的作者。
他这本书的结构很棒。这份材料很有用，而且呈现得很好。与其对他的书添加更多的一般性评论，我们认为我们可以突出一个很小的部分-关于单调电路下限的部分。开始了。下面的所有内容都直接基于他的讨论。任何错误或误导性的评论都是我们的。
固定输入大小，并考虑的......