会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
刘新宇编著
最新上架
- 会员本书为适应新工科复合型人才对计算思维和问题求解能力的要求而编写。全书共12章，主要内容包括：计算思维与问题求解，数据类型、运算符和表达式，简单的C程序设计，选择结构程序设计，循环结构程序设计，函数，数组，常用算法，指针，结构体，文件系统和人工智能经典算法。本教材兼顾计算思维与程序设计基础知识，注重问题抽象，通过问题案例分析，逐步给出问题求解算法与程序实现，引导读者的算法思维和程序设计思维。通过“常计算机13.2万字
- 会员本书从网络工程师的视角出发，详细讲解了Python在网络运维自动化中的应用，其中涉及Python网络运维自动化的相关技术、工具以及实践。本书共10章，先对Python网络运维自动化进行了全面的概述，然后讲解了网络工程师所需的Python基础、数据格式与数据建模语言的相关知识。接着，本书介绍了网络配置的结构化数据提取、网络配置的模块化管理、Netmiko详解与实践、模型驱动的新网络管理方式及实践、网计算机13.3万字
- 会员本书从网页开发的基础知识HTML5、CSS、JavaScript开始，以项目实战的方式介绍如何构建自适应网页，并通过工具免费发布自己的网站。在后面的章节中，以主流的3D框架ThreeJS为技术支撑，在网页中编写JavaScript代码，让读者构建完整的3D应用场景。计算机0字
- 会员本书介绍了Docker和Kubernetes的相关知识，可以帮助读者快速了解并熟练配置Kubernetes。本书共分为16章。首先介绍了Docker基础和Docker进阶；然后介绍了Kubernetes的基础操作，包括部署Kubernetes集群、升级Kubernetes、创建及管理Pod等；之后重点介绍了存储管理、密码管理、Deployment、DaemonSet及其他控制器、探针、Job、服务计算机8.6万字
- 会员本书主要内容包括Go语言简介、开发环境准备、快速基础入门、数学科学领域的计算、开发一个自己的日常命令行工具、文件处理、数据格式分析与转换、正则表达式、并发处理、数据采集和清理应用、网络服务端应用、Web服务器、加密解密领域应用、网络提供的各种API、常用Go语言技术的示例与研究、实用函数实例等。安排了大量实例代码，介绍相关编程知识。计算机27万字
- 会员本书从零开始，介绍了Python编程语言的基础知识。全书共17章，第1-9章介绍了Python的语言基础；第10-13章介绍了与Python编程相关的拓展知识；第14-16章介绍了3个实战项目；第17章介绍了初学者如何利用当下最热门的AI工具ChatGPT学习Python编程。计算机8.8万字
- 会员本书是与主教材《C语言程序设计》配套的实验与训练参考书，同时也是一本可以独立于主教材的实验练习与实训提高的实践教材。全书分为四部分。第一部分是与主教材内容对应的基础知识与习题练习，第二部分是上机实践与实验指导，第三部分是综合实训与技能提高，第四部分是计算机等级考试介绍。计算机7.1万字
- 会员本书从初学者的角度出发，详细介绍了JavaWeb开发需要掌握的相关技术。全书分4个部分，共17章，由浅入深地介绍了HTTP、Tomcat、Servlet、Maven、数据库基础知识、JDBC、MyBatis、JSP、框架原理、如何设计自己的框架，以及在线购书商城、个人云文件系统、论坛、个人博客项目开发的完整过程。本书理论联系实际，不但能让读者全面掌握JavaWeb开发基本技术，而且能让读者开发计算机8.5万字