程序员必读：用逻辑重塑代码思维

Logic for Programmers by Hillel Wayne

这是一本专为在职程序员打造的书籍，无需深厚的数学背景，只需掌握基础的 Boolean 逻辑。书中通过简化条件语句、确保 API 变更不破坏客户端、发现竞态条件等实际案例，展示逻辑学如何优化软件设计与验证。内容涵盖从代码重构、属性测试到形式化验证、数据库理论及 TLA+ 系统建模等广泛主题。作者用通俗语言替代晦涩符号，让逻辑学成为解决分布式任务、约束求解等复杂问题的实用工具。无论你是想提升测试质量，还是探索形式化方法，这本书都能提供即学即用的技巧。