通往逻辑、数学与编程的 Haskell 之路
The Haskell Road To Logic, Maths And Programming
Jan van Eijck · 初版 2004 年
- 20次提及
- 13人推荐
- 17位 HN 评论者
简介
一本使用 Haskell 函数式编程语言来讲解数理逻辑与证明结构，同时又借助数理逻辑与证明结构来阐释 Haskell 的著作。
Hacker News 读者推荐
虽然对于不在乎证明的程序员来说数学没有什么“通途捷径”，但对于对数学感兴趣的人来说，确实有一条通向证明的程序员之路。事实上，这本书的名字就叫《Haskell逻辑、数学与编程之路》（The Haskell Road to Logic, Maths and Programming）[0]。它涵盖了数学符号、证明构造以及许多程序员应该会感兴趣的离散数学内容。而且很大一部分结果都进行了演示……
asolove 在 HN 的推荐
对于想学 Haskell 的人，我推荐这本相对冷门的《Haskell逻辑、数学与编程之路》（The Haskell Road to Logic, Maths and Programming）：http://www.amazon.com/Haskell-Logic-Maths-Programming-Comput... 一边重温新旧数学概念，一边探索 Haskell，感觉棒极了。
Adaptive 在 HN 的推荐
> 我的目标真的是给自己的日常知识储备里加点数学，……我已经开始读《Haskell逻辑、数学与编程之路》（The Haskell Road to Logic, Maths and Programming）了，说不定适合你或者这里其他想提高数学水平的潜水党。有一篇书评 [2] 对这本书的评价很有意思。亚马逊上的其他评论可能也……
lostmypw 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0954300696
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。