2016-04-09 13:06:17
来自: 赛义甫(大道无门,千差有路)
学习逻辑,一般都是看书背定义、纸面上做习题。
现在有了另一种方法,用编程语言(具体说是Haskell)“做”逻辑,从纯粹动脑到手脑并用。
书也是现成的:《The Haskell Road to Logic, Math and Programming》。
不过可能对一些人不太容易,要过三重关:英语,Haskell编程语言和逻辑(可能还有数学)。
我自己把这本书过了一遍,感觉很有意思,不知有多少人对此感兴趣?
我~
终于有回应了!谢谢楼上。
+1~
期待
这个系列已经开始了——《通往逻辑、数学和编程的Haskell之路》,在【逻辑与计算】栏目。
希望有更多的朋友加入。
我在 http://blog.sciencenet.cn/?277012 和 http://blog.sciencenet.cn/u/zyqhlz 都见到了您的身影 :D
> 我来回应