公理化集合论机器证明系统
推荐 有广告 无套路<p>布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,…
格式： PDF 请到详细页访问 来源：无名图书
失效 《证明》松本清张_文字版_pdf电子书下载
推荐 有广告 无套路作者松本清张（1909-1992年），日本文坛一代宗师，与柯南道尔、阿加莎•克里斯蒂并列为世界推理小说三大宗师。作品在传统推理小说的诡谲情节之外，加入了社会写…
格式： PDF 请到详细页访问 来源：书行天下
失效 《如何证明你不是僵尸》杰里米・斯特朗姆_文…
推荐 有广告 无套路【英】杰里米・斯特朗姆，英国社会学博士，哲学研究学者。1997年参与创立《哲学家杂志》，目前担任新媒体部主编。出版作品《如何破解爱因斯坦的谜题》《如何正确纪念…
格式： PDF 请到详细页访问 来源：书行天下