程序员的逻辑现已可用

我很高兴地宣布，我的书，程序员逻辑， 现已上市！你可以去看看发布网站在这里或者直接去买电子书或印刷版本.如果你买了抢先体验版本，可以免费从leanpub.

这酝酿已久。形式逻辑是一个极其强大的工具来理解软件。从“什么是左外接合”到“为什么不应该这样”，各种问题都有Square继承自Rect如果你懂一些基础逻辑，这才更合理。

然而实际上并没有任何专门针对程序员的资源学习那些基础知识。你只是被期望打开数学书，或者通过潜移默化地拿起它。

渗透法行不通。

所以我过去五年一直在制作那个资源。程序员逻辑教授在职开发者基础逻辑及其多种应用，涵盖从基于属性的测试、领域建模到逻辑编程等多元领域。

这本书适合没有数学背景的人：如果你懂 AND 和/或 OR，可以读这本书。我花了几个月时间研究每一章的主题，然后请领域专家审核以确保内容准确，再交给初级程序员审核，确保内容易于理解。

总之，我很累，也很高兴终于结束了。非常感谢你的阅读，希望你喜欢这本书。