离散数学的逻辑方法
A logical approach to discrete math
Gries, David. · 初版 1993 年
- 9次提及
- 6人推荐
- 6位 HN 评论者
Hacker News 读者推荐
David Gries 写的《A Logical Approach to Discrete Math》对于在理论层面上学习数学以及理解证明过程来说非常棒。我发现，编写一个能够自动求解初等代数方程的软件……
tkosan 在 HN 的推荐
……文科通识式的导论，但它无法帮助读者信服所提出的陈述和定理是真实且有效的。作为程序员，句法方法真的很有用。《A Logical Approach to Discrete Math》[0] 教程序员如何利用逻辑和句法替换来展开这种风格的证明。一旦展示了达到严谨是多么容易，就希望日常搬砖的程序员们也能够表述出自己的……
agentultra 在 HN 的推荐
《计算机程序设计艺术》（The Art of Computer Programming） 《计算机程序的构造和解释》（Structure and Interpretation of Computer Programs） 《纯函数式数据结构》（Purely Functional Data Structures） 《90年代的编程》（Programming in the 1990s） 《离散数学的逻辑方法》（A Logical Approach to Discrete Math）
agentultra 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0387941150
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。