爱德华·科恩写的《1990年代的编程》（Programming in the 1990s）是一本很有意思的书，它通过谓词演算向软件开发者介绍了一种编写形式化证明的方法。这是一本你可以从头读到尾的书。莱斯利写的那本 TLA+ 书……
Programming in the 1990s by Edward Cohen is an interesting book for introducing software developers to a method of proof writing by way of predicate calculus. It's a book one can read from cover to cover. The TLA+ book by Leslie…
Programming in the 1990s by Edward Cohen. A rather practical introduction to the calculation of programs from their specifications. Plenty of introductions to computer programming involve guessing your program into existence.…
…Approach to Discrete Mathematics: https://www.amazon.com/Logical-Approach-Discrete-Monographs-... And a more pragmatic approach to the same material (with a lot of cross-over in terms of proof-style, etc): Programming in the 1990s: http://www.springer.com/gp/book/9780387973821 But one I particularly enjoyed early on was written for liberal-arts level students of maths (who might've been traumatized by maths in the past): Introduction…
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
…eldritch scrawls of snooty ivory-tower academics. You don't need to spend billions. You can learn TLA+ in a couple of weeks and start writing specifications in a month. There's a fairly slim tome called, Programming in the 1990s that demonstrates a practical technique for proofs that is digestible by programmers. I say, "don't accept 'battle-tested' as the hallmark of a reliable system," because it says nothing about the underlying,…
…influenced. I've read so many books and they've all left their impression on me one way or another; even the most boring drivel! If by influenced you mean to imply, as a programmer, then I would say perhaps Programming in the 1990s if that counts as "non-technology." It's a book about maths and using logical proofs as a tool for creating specifications of computer systems. Prior to reading that book I had treated "software specifications,"…
爱德华·科恩写的《1990年代的编程》（Programming in the 1990s）是一本很有意思的书，它通过谓词演算向软件开发者介绍了一种编写形式化证明的方法。这是一本你可以从头读到尾的书。莱斯利写的那本 TLA+ 书……
Programming in the 1990s by Edward Cohen is an interesting book for introducing software developers to a method of proof writing by way of predicate calculus. It's a book one can read from cover to cover. The TLA+ book by Leslie…
爱德华·科恩写的《1990年代的编程》。这是一本相当实用的入门书，教你如何根据规格说明推导计算出程序。市面上大量的计算机编程入门教程，全都是靠瞎猜碰运气把程序给搞出来的……
Programming in the 1990s by Edward Cohen. A rather practical introduction to the calculation of programs from their specifications. Plenty of introductions to computer programming involve guessing your program into existence.…
……《离散数学的逻辑方法》：https://www.amazon.com/Logical-Approach-Discrete-Monographs-... 还有针对相同内容更偏实用主义的一本书（在证明风格等方面有很多相通之处）：《1990年代的编程》：http://www.springer.com/gp/book/9780387973821 不过我早期特别喜欢的一本，是专门为文科水平的数学系学生写的（这些人过去可能被数学伤得很深）：《Introduction…
…Approach to Discrete Mathematics: https://www.amazon.com/Logical-Approach-Discrete-Monographs-... And a more pragmatic approach to the same material (with a lot of cross-over in terms of proof-style, etc): Programming in the 1990s: http://www.springer.com/gp/book/9780387973821 But one I particularly enjoyed early on was written for liberal-arts level students of maths (who might've been traumatized by maths in the past): Introduction…
《计算机程序设计艺术》《计算机程序的构造和解释》《纯函数式数据结构》《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
……自命不凡的象牙塔学者写出的晦涩天书。你根本不需要砸几十个亿。你花几个星期就能学会 TLA+，一个月内就能上手写 specifications。有一本挺薄的书叫《1990年代的编程》，里面演示了一种程序员很容易消化的实用证明技巧。我常说：“不要把‘久经沙场测试’当成系统可靠的标志”，因为它根本说明不了底层的……
…eldritch scrawls of snooty ivory-tower academics. You don't need to spend billions. You can learn TLA+ in a couple of weeks and start writing specifications in a month. There's a fairly slim tome called, Programming in the 1990s that demonstrates a practical technique for proofs that is digestible by programmers. I say, "don't accept 'battle-tested' as the hallmark of a reliable system," because it says nothing about the underlying,…
……影响。我读过太多书了，不管怎样它们都在我身上留下了印记；哪怕是最无聊的废话也是如此！如果你说的受影响是指作为一名程序员，那我想可能会是《1990年代的编程》，如果它算得上“非技术类”的话。这是一本关于数学的书，讲的是如何将逻辑证明作为工具来为计算机系统编写 specifications。在读那本书之前，我一直把“软件规格说明”当成……
…influenced. I've read so many books and they've all left their impression on me one way or another; even the most boring drivel! If by influenced you mean to imply, as a programmer, then I would say perhaps Programming in the 1990s if that counts as "non-technology." It's a book about maths and using logical proofs as a tool for creating specifications of computer systems. Prior to reading that book I had treated "software specifications,"…