David Gries 写的《A Logical Approach to Discrete Math》对于在理论层面上学习数学以及理解证明过程来说非常棒。我发现，编写一个能够自动求解初等代数方程的软件……
The book “A Logical Approach to Discrete Math” by David Gries is excellent for learning math on a theoretical level, and for understanding proofs. I have found that writing software that automatically solves elementary algebra equations using the…
……文科通识式的导论，但它无法帮助读者信服所提出的陈述和定理是真实且有效的。作为程序员，句法方法真的很有用。《A Logical Approach to Discrete Math》[0] 教程序员如何利用逻辑和句法替换来展开这种风格的证明。一旦展示了达到严谨是多么容易，就希望日常搬砖的程序员们也能够表述出自己的……
…liberal arts introduction but it won't help the reader to convince themselves that the statements and theorems proposed are true and valid. The syntactic approach is really useful as a programmer. A Logical Approach to Discrete Math[0] teaches programmers how to develop proofs in this style using logic and syntactic substitution. Once shown how easy it is to achieve rigour it is hoped that work-a-day programmers can formulate their…
The Art of Computer Programming Structure and Interpretation of Computer Programs Purely Functional Data Structures Programming in the 1990s A Logical Approach to Discrete Math
我觉得 Gries 和 Schneider 写的《A Logical Approach to Discrete Math》读起来很享受。它用数理逻辑作为整个体系的基础来教授离散数学。http://www.amazon.com/Logical-Approach-Discrete-Monographs-C...
I found "A Logical Approach to Discrete Math" by Gries and Schneider to be delightful. It teaches discrete math using formal logic as the basis of the whole system. http://www.amazon.com/Logical-Approach-Discrete-Monographs-C...
G. Polya 写的《怎样解题》（How To Solve It）https://press.princeton.edu/books/paperback/9780691164076/ho...，David Greis 和 Fred Schneider 写的《A Logical Approach to Discrete Math》https://link.springer.com/book/10.1007/978-1-4757-3837-7。我是自学成才的，所以对我来说，学会如何写证明给了我很大助力，让我能够拓展……
How To Solve It by G. Polya https://press.princeton.edu/books/paperback/9780691164076/ho... A Logical Approach to Discrete Math by David Greis and Fred Schneider, https://link.springer.com/book/10.1007/978-1-4757-3837-7 I'm self-taught so for me it was learning how to write proofs that gave me a big boost in being able to branch…
……定义。CrabML 在语法上已经很接近我能 grok（吃透）的程度了。我用了多年的 C++，我也看得懂 TypeScript……但在我看来，它们是糟糕语法的典型，根本不是学习榜样。但如果你读过《A Logical Approach to Discrete Math》或者《Programming in the 1990s》，你就会明白语法到底有多重要……大部分编程语言甚至都达不到这个水准，这也是为什么我认为语义更重要。
…definitions. CrabML becomes close to what I can grok syntax-wise. I spent many years with C++ and I can read TyoeScript… but to me they’re examples of bad syntax, not role models. However if you read A Logical Approach to Discrete Math or Programming in the 1990s you’ll know just how syntax matters… most programming languages can’t even reach this level of which is why I think semantics are more important.
David Gries 写的《A Logical Approach to Discrete Math》对于在理论层面上学习数学以及理解证明过程来说非常棒。我发现，编写一个能够自动求解初等代数方程的软件……
The book “A Logical Approach to Discrete Math” by David Gries is excellent for learning math on a theoretical level, and for understanding proofs. I have found that writing software that automatically solves elementary algebra equations using the…
……文科通识式的导论，但它无法帮助读者信服所提出的陈述和定理是真实且有效的。作为程序员，句法方法真的很有用。《A Logical Approach to Discrete Math》[0] 教程序员如何利用逻辑和句法替换来展开这种风格的证明。一旦展示了达到严谨是多么容易，就希望日常搬砖的程序员们也能够表述出自己的……
…liberal arts introduction but it won't help the reader to convince themselves that the statements and theorems proposed are true and valid. The syntactic approach is really useful as a programmer. A Logical Approach to Discrete Math[0] teaches programmers how to develop proofs in this style using logic and syntactic substitution. Once shown how easy it is to achieve rigour it is hoped that work-a-day programmers can formulate their…
《计算机程序设计艺术》《计算机程序的构造和解释》《纯函数式数据结构》《1990年代的编程》《离散数学的逻辑方法》
The Art of Computer Programming Structure and Interpretation of Computer Programs Purely Functional Data Structures Programming in the 1990s A Logical Approach to Discrete Math
我觉得 Gries 和 Schneider 写的《A Logical Approach to Discrete Math》读起来很享受。它用数理逻辑作为整个体系的基础来教授离散数学。http://www.amazon.com/Logical-Approach-Discrete-Monographs-C...
I found "A Logical Approach to Discrete Math" by Gries and Schneider to be delightful. It teaches discrete math using formal logic as the basis of the whole system. http://www.amazon.com/Logical-Approach-Discrete-Monographs-C...
G. Polya 写的《怎样解题》（How To Solve It）https://press.princeton.edu/books/paperback/9780691164076/ho...，David Greis 和 Fred Schneider 写的《A Logical Approach to Discrete Math》https://link.springer.com/book/10.1007/978-1-4757-3837-7。我是自学成才的，所以对我来说，学会如何写证明给了我很大助力，让我能够拓展……
How To Solve It by G. Polya https://press.princeton.edu/books/paperback/9780691164076/ho... A Logical Approach to Discrete Math by David Greis and Fred Schneider, https://link.springer.com/book/10.1007/978-1-4757-3837-7 I'm self-taught so for me it was learning how to write proofs that gave me a big boost in being able to branch…
……定义。CrabML 在语法上已经很接近我能 grok（吃透）的程度了。我用了多年的 C++，我也看得懂 TypeScript……但在我看来，它们是糟糕语法的典型，根本不是学习榜样。但如果你读过《A Logical Approach to Discrete Math》或者《Programming in the 1990s》，你就会明白语法到底有多重要……大部分编程语言甚至都达不到这个水准，这也是为什么我认为语义更重要。
…definitions. CrabML becomes close to what I can grok syntax-wise. I spent many years with C++ and I can read TyoeScript… but to me they’re examples of bad syntax, not role models. However if you read A Logical Approach to Discrete Math or Programming in the 1990s you’ll know just how syntax matters… most programming languages can’t even reach this level of which is why I think semantics are more important.