会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
刘新宇编著
同类热门书
最新上架
- 会员Three.js在过去几年中已经成为创建令人惊叹的3DWebGL内容的标准方式。本书探讨Three.js的所有特性，并提供额外的内容，包括如何将Three.js与Blender、React、TypeScript以及最新的物理引擎进行集成。本书共分为四个部分：第一部分介绍搭建开发环境和运行Three.js；第二部分介绍Three.js的核心组件；第三部分介绍如何创建复杂的几何体、动画和纹理；第四部计算机13.3万字
- 会员本书采用“任务驱动”的编写模式，由浅入深、循序渐进、系统地介绍了JavaWeb开发的相关知识。通过实际应用的案例，帮助读者巩固所学知识，以便更好地进行开发实践。全书共15章，内容涵盖了JavaWeb开发基础知识、Servlet接收GET请求数据、Servlet接收POST请求数据、Servlet生成HTTP响应数据、异步请求和异步响应、会话控制技术：Cookie与Session、过滤器Filt计算机16.7万字
- 会员本书全面介绍了Web标准的三个主要组成部分：HTML、CSS和JavaScript。循序渐进的讲述Web开发所涉及的三大前端技术的内容、应用技巧以及它们的综合应用。每部分都配置了大量的实用案例，图文并茂，效果直观。全书共21章，分为四个部分。在HTML部分，系统介绍了主要讲述了主要讲述了HTML基本概念、常用文本标签、文档结构标签、在网页中插入多媒体内容、列表、DIV标签、元素类型、在网页中创建超计算机13.2万字
- 会员《餐饮管理与经营全案——互联网思维创新餐饮管理和运营模式》一书，从互联网思维下的餐饮变革导入，分三个部分。第一部分（互联网思维创新之系统智能化）包括智能餐饮管理系统，智能点餐系统建设，智能结算系统建设，智能厨房显示系统建设，外卖业务系统建设，食品安全管控系统建设。第二部分（互联网思维创新之营销多样化）包括微博营销，微信公众号营销，短视频营销，会员大数据营销，外卖平台营销。第三部分（互联网思维创新之计算机10万字
- 会员本书从零开始，介绍了Python编程语言的基础知识。全书共17章，第1-9章介绍了Python的语言基础；第10-13章介绍了与Python编程相关的拓展知识；第14-16章介绍了3个实战项目；第17章介绍了初学者如何利用当下最热门的AI工具ChatGPT学习Python编程。计算机8.8万字
- 会员虽然技术在进步，硬件也越来越物美价廉，但如今软件工程师仍需要关注程序的性能优化。本书将介绍软件效率问题、Go语言快速入门知识、如何实现高效编程，告诉大家如何高效进行性能优化，以及何时进行，并给出需要的工具和相关知识，让你使用较少的资源实现高效编程。计算机27.3万字
- 会员本书是作者转战中国市场和美国市场、操盘上市公司和投资公司、从事管理咨询和管理教育30多年来的商业智慧结晶。面对纷繁复杂、动荡多变、竞争激烈的市场环境，全书展示了作者具有独立性、前瞻性和系统性的思考成果，为处于转型升级关键时刻的中国化妆品企业乃至所有消费品企业的企业家、创业者和管理者提供了有针对性、战略性和可操作性的创新思路和营销建议。本书将顾客需求洞察看作是企业经营的起点和基础，将顾客需求洞察分为计算机30.9万字
- 会员本书从网页开发的基础知识HTML5、CSS、JavaScript开始，以项目实战的方式介绍如何构建自适应网页，并通过工具免费发布自己的网站。在后面的章节中，以主流的3D框架ThreeJS为技术支撑，在网页中编写JavaScript代码，让读者构建完整的3D应用场景。计算机0字