{"type":"link","version":"1.0","title":"这是一本面向有经验的程序员的逻辑学书籍… · Logic for Programmers | HotDaily","description":"这是一本面向有经验的程序员的逻辑学书籍，介绍如何用布尔逻辑、谓词、量词等数学工具改进软件设计、验证和推理。全书 227 页，按主题分为 11 章…","url":"https://hotdaily.top/item/0102edf2-7b1f-4e7a-81a2-92397e57b99c","provider_name":"HotDaily","provider_url":"https://hotdaily.top","thumbnail_url":"https://hotdaily.top/og.png","thumbnail_width":1200,"thumbnail_height":630}