Logic for Programmers

HN 131 分 · 25 条评论 · 作者 _doctor_love · 来源 logicforprogrammers.com · HN 讨论

【摘要】

The book targets working programmers by teaching logic and Boolean mathematics to improve software design, verification, and reasoning without requiring a prior math background.

本书面向从事实际工作的程序员，通过教授逻辑和布尔数学来提升软件设计、验证和推理能力，且无需具备数学背景。

⋯ 继续阅读请登录会员 ⋯

🔒

MEMBERS ONLY

这篇是会员专享内容,你看到的是预览段。

会员每天解锁 6000+ 篇真实英语素材——双语科技、口语、外刊、单卡,不设上限。

年会员 ¥365 —— 一天一块钱,续费一直能用。

了解会员 →