Hasty Briefsbeta

双语

Logic for Programmers

3 months ago
  • #programming
  • #logic
  • #mathematics
  • 本书教授逻辑学基础及其在软件问题中的应用,如测试、数据库设计和客户需求分析。
  • 全书提供50多个练习,无需数学背景即可帮助读者掌握知识。
  • 当前版本为GAMMA阶段,正式版预计2026年中发布。早期购买者可获赠未来版本并参与开发意见征集。
  • v0.13版本更新:所有章节重写,新增内容,习题更新,并有多项全面改进。
  • 目录包含引言、技术篇(10章)和附录(4个部分)三大部分。