会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
刘新宇编著
同类热门书
最新上架
- 会员本书从网络工程师的视角出发，详细讲解了Python在网络运维自动化中的应用，其中涉及Python网络运维自动化的相关技术、工具以及实践。本书共10章，先对Python网络运维自动化进行了全面的概述，然后讲解了网络工程师所需的Python基础、数据格式与数据建模语言的相关知识。接着，本书介绍了网络配置的结构化数据提取、网络配置的模块化管理、Netmiko详解与实践、模型驱动的新网络管理方式及实践、网计算机13.3万字
- 会员本书全面介绍了Web标准的三个主要组成部分：HTML、CSS和JavaScript。循序渐进的讲述Web开发所涉及的三大前端技术的内容、应用技巧以及它们的综合应用。每部分都配置了大量的实用案例，图文并茂，效果直观。全书共21章，分为四个部分。在HTML部分，系统介绍了主要讲述了主要讲述了HTML基本概念、常用文本标签、文档结构标签、在网页中插入多媒体内容、列表、DIV标签、元素类型、在网页中创建超计算机13.2万字
- 会员本书内容分为差分进化算法（以下简称算法）的设计及应用。本书从差分进化算法基本原理、单目标差分进化算法、面向约束优化的差分进化算法、面向多目标差分进化算法、面向离散问题的差分进化算法等五个方面进行了介绍。对提出的10个算法进行了详细介绍和讨论，并给给出了实验（仿真）结果。计算机9.6万字
- 会员本书系统地讲述了HTML5、CSS3、JavaScript、Bootstrap等开发技术，满足Web前端开发基础学习的需求。本书包括了HTML5与CSS3的典型案例、使用Bootstrap框架开发、响应式布局等内容，适应Web前端开发从PC端转向移动端的变化。计算机14.3万字
- 会员本书从初学者的角度出发，详细介绍了JavaWeb开发需要掌握的相关技术。全书分4个部分，共17章，由浅入深地介绍了HTTP、Tomcat、Servlet、Maven、数据库基础知识、JDBC、MyBatis、JSP、框架原理、如何设计自己的框架，以及在线购书商城、个人云文件系统、论坛、个人博客项目开发的完整过程。本书理论联系实际，不但能让读者全面掌握JavaWeb开发基本技术，而且能让读者开发计算机8.5万字
- 会员本书分为9篇，共35章。第1篇主要介绍基本配置；第2篇主要介绍用户及权限管理；第3篇主要介绍网络相关配置；第4篇主要介绍存储管理；第5篇主要介绍系统管理；第6篇主要介绍软件管理；第7篇主要介绍安全管理；第8篇主要介绍容器管理；第9篇主要介绍自动化管理工具ansible的使用。计算机12.4万字
- 会员本书是网页特效设计任务驱动式教材。本书将网页特效分为9类，分别是基本网页特效、日期时间类网页特效、文字类网页特效、图片类网页特效、表单控件类网页特效、导航菜单类网页特效、选项卡类网页特效、内容展开与折叠类网页特效和页面类网页特效，同时相应地将全书分为9个教学单元，每个教学单元分析和设计一种类型的网页特效，将JavaScript和jQuery的相关知识合理地安排到各个教学单元中。计算机7.4万字