逻辑认知相关图书会按更新时间、出版时间和评分持续整理,适合从主题维度系统浏览。
同构
刘新宇
评分 8.6分
本书从七个方面介绍了计算机程序的数学基础和原理,并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是:数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理,构筑了计算机程序大厦的基石。通过单向链表,斐波那契数列等例子,展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端,把递归的数学原理构建在Lambda演算和Y组合子之上
逻辑思考流程:解决复杂问题的系统化方法
〔美〕威廉·德特默
评分 暂无
思考流程(thinking process,TP)是约束理论(theory of constrains,TOC)创始人艾利·高德拉特博士开发的一套系统化解决问题的逻辑树工具,用以解决包含人这一因素在内的复杂系统问题。《逻辑思考流程:解决复杂问题的系统化方法》是思考流程领域的一本经典著作,作者威廉·德特默在十余年亲身讲授和应用思考流程的基础上,对思考流程进行了深度优化,提