会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
最新上架
- 会员本书介绍如何使用代码（.m与.mlx文件）开发图形用户界面（GUI），辅以大量的编程示例详细讲解基于figure函数的uicontrol、容器、坐标区、常用控件、图窗工具、检测控件、对话框和通知，基于uifigure函数的对话框和通知，以及布局函数、控制流函数、App数据和预设函数等内容。与采用GUIDE、AppDesigner的方式相比，用代码开发的GUI能兼容几乎所有的MATLAB版本，灵活计算机9.2万字
- 会员《餐饮管理与经营全案——互联网思维创新餐饮管理和运营模式》一书，从互联网思维下的餐饮变革导入，分三个部分。第一部分（互联网思维创新之系统智能化）包括智能餐饮管理系统，智能点餐系统建设，智能结算系统建设，智能厨房显示系统建设，外卖业务系统建设，食品安全管控系统建设。第二部分（互联网思维创新之营销多样化）包括微博营销，微信公众号营销，短视频营销，会员大数据营销，外卖平台营销。第三部分（互联网思维创新之计算机10万字
- 会员随着JDK的升级与迭代，SpringFramework与SpringBoot也分别升级到了全新的6.0与3.0版本，全新的版本带来了更加强大的功能和特性。本书侧重于核心功能和特性的讲解，重点讲解SpringFramework与SpringBoot在应用开发中的核心与应用，通过多个方面介绍应用开发中涉及的场景。本书分为六个部分，共15章。第一部分～第三部分介绍SpringFramework计算机21.5万字
- 会员本书向你展示如何从零开始编写简洁、可维护的C代码。首先简要介绍C语言的历史和建立开发环境的步骤。然后介绍C语言的语句，包括分支和循环语句，并对变量及其作用域进行深入探讨。之后展示C语言的数组、结构，并讲解如何查找和使用常用的代码片段。第8—11章介绍C语言在Arduino中的应用，涵盖设置Arduino开发环境、代码编写技巧等，还通过完整的Arduino项目尝试使用多种电子外设，包括传感器、按钮和计算机11.8万字
- 会员本书主要内容包括Go语言简介、开发环境准备、快速基础入门、数学科学领域的计算、开发一个自己的日常命令行工具、文件处理、数据格式分析与转换、正则表达式、并发处理、数据采集和清理应用、网络服务端应用、Web服务器、加密解密领域应用、网络提供的各种API、常用Go语言技术的示例与研究、实用函数实例等。安排了大量实例代码，介绍相关编程知识。计算机27万字
- 会员本书从初学者的角度出发，详细介绍了JavaWeb开发需要掌握的相关技术。全书分4个部分，共17章，由浅入深地介绍了HTTP、Tomcat、Servlet、Maven、数据库基础知识、JDBC、MyBatis、JSP、框架原理、如何设计自己的框架，以及在线购书商城、个人云文件系统、论坛、个人博客项目开发的完整过程。本书理论联系实际，不但能让读者全面掌握JavaWeb开发基本技术，而且能让读者开发计算机8.5万字
- 会员本书分为12章，主要包括学习人工智能原理、自然语言处理技术、掌握深度学习模型、NLP开源技术实战、Python神经网络计算实战、AI语音合成有声小说实战、玩转词向量、近义词查询系统实战、机器翻译系统实战、文本情感分析系统实战、电话销售语义分析系统实战人工智能辅助写作系统（独家专利技术解密）。计算机0字
- 会员本书书分为以下几部分：第一部分：预备知识：介绍数据结构和算法的基本概念，并演示如何搭建开发环境、编写测试用例。第二部分：数据结构：介绍常见的数据结构，包括数组、链表、矩阵、栈、队列、跳表、散列、树、图等。第三部分：常用算法：介绍常用的算法，包括分而治之、动态规划、贪婪算法、回溯、分支界定、遗传算法等。第四部分：商业实战：介绍汉诺塔及五子棋两款游戏的实现。计算机0字