会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
刘新宇编著
同类热门书
最新上架
- 会员本书共分为11章，将从源码角度入手，由浅入深分析Vue3框架的核心逻辑。首先通过极简demo引出Vue3框架核心思想，其次结合源码分析Vue3框架核心逻辑的实现原理，最后介绍Vue3框架常用命令、组件等底层实现逻辑。帮助读者深入理解Vue3框架的内部实现原理与运行逻辑，理解Vue3框架语法，揭开藏在表面的内容，让开发者能知其然还能知其所以然。本书面向有Vue开发经验和熟悉框架开发的前端计算机6.5万字
- 会员本书为UiPath的入门工具书。第1～3章介绍RPA与UiPath的基础知识；第4～5章依次介绍流程自动化基础知识与流程搭建的方法论，建议没有相关技术背景的读者详细阅读；第6～8章是UiPath流程开发的关键章，建议读者通读并跟练，便于加深记忆，熟练掌握相关知识，其中的关键知识可以根据章节索引，在实际开发时按需查阅；第9～10章介绍更深层次的云UiPathOrchestrator和机器人企业框架计算机11.2万字
- 会员本书是一本致力于Web开发技术的实战指南。本书紧跟行业的最新发展趋势，全面而深入地阐述了SpringBoot3和Vue3在企业级应用开发中的集成与应用。全书共分为8章，从SpringBoot3的基础入门到Vue3的高级应用，再到前后端通信、测试与部署，每一章的内容都经过精心设计，以确保读者能够掌握关键的技能。第8章特别提供了一个综合案例，展示如何综合运用全书知识来构建一套完整的应用系统计算机14万字
- 会员本书在编写过程中坚持理论性和实用性相结合，力求与互联网行业技术发展同步，着重提高读者Web交互界面设计和制作的能力。全书共9章，内容包括交互界面设计概述、Web交互界面设计基础、Web交互界面技术概述、HTML5和CSS3基础、Web交互界面设计案例、HTML5和CSS3进阶、JavaScript基础、Web交互界面开发、综合案例：网站交互界面开发。本书系统地介绍Web交互界面设计与制作的全过程，计算机11.2万字
- 会员《Django+Vue.js商城项目实战》基于Django4.x和Vue3.x版本，以一个完整商城网站的开发流程为主线，介绍分别使用纯后端架构和前后端分离架构实现项目的全部技术细节。纯后端开发架构主要讲解Django的知识要点及每个功能模块的要点和实现方式，内容包括Django网站开发基础、项目需求与设计、路由规划与设计、商城数据模型的搭建与使用、数据业务视图、数据渲染与展示、商品信息模块、用户计算机15.4万字
- 会员本书提供了关于适应度函数、自动化架构治理和演进式数据的技术、知识和技巧。本书分为三个部分：第一部分包括定义演进式架构机制的章节——介绍团队如何使用技术和工具来构建适应度函数、部署管道以及其他管理和演进软件项目的机制；第二部分包括围绕耦合、复用和其他相关结构考虑因素的架构风格和设计原则，以帮助读者实现清晰的长期演进；第三部分探讨了第一部分中介绍的工程实践与第二部分中的结构考虑因素的交叉点。计算机12.8万字
- 会员《Vue.js3.x+ElementPlus从入门到精通：视频教学版》通过对Vue.js（简称Vue）的示例和综合案例的介绍与演练，使读者快速掌握Vue.js3.x框架的用法，提高Web前端的实战开发能力。《Vue.js3.x+ElementPlus从入门到精通：视频教学版》共分15章，内容包括Vue.js3.x的基本概念、Vue.js模板应用、组件的方法和计算属性、表单的双向绑定、处计算机6.4万字
- 会员《PHP从入门到精通（第7版）》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细介绍了使用PHP进行网络开发需要掌握的各种技术。全书分为4篇共26章：基础知识篇包括初识PHP、PHP环境搭建和开发工具、PHP语言基础、流程控制语句、字符串操作、正则表达式、PHP数组、PHP与Web页面交互、PHP与JavaScript交互以及日期和时间；核心技术篇包括Cookie与Session、图形计算机16.4万字
同类书籍最近更新
- 会员本书详细讲解JavaEE中Spring、SpringMVC和MyBatis三大框架（以下简称SSM）的基本知识和应用。本书在对知识点进行描述时采用了大量案例，以便读者理解SSM的核心技术。本书共15章，第1~5章主要讲解MyBatis的相关知识，包括初识MyBatis框架、MyBatis的核心配置、动态SQL、MyBatis的关联映射和缓存机制，以及MyBatis的注解开发；第6～9章主要讲解程序设计15.8万字
- 会员本书系统地介绍了Java语言高级程序设计内容，主要包括Java集合框架、异常处理、输入/输出流、多线程、网络编程、图形用户界面程序设计、泛型、JDBC编程、Java8新特性。本书所有知识点都结合具体实例进行分析，既注重理论介绍，又强调实际应用，从实用的角度精心设计知识结构和代码示例，同时每章后面配有相应习题。本书可作为普通高等院校计算机及相关专业Java程序设计课程的教材，也适合程序开发人员学习程序设计8.8万字
- 会员Node.js是一个基于ChromeV8引擎的JavaScript运行环境，用来编写服务器端程序。Node.js是新兴的开发工具，也是目前发展较快的开发工具之一。近几年来，随着Node.js的发展，越来越多的开发人员选择用它构建Web应用。本书较为系统地介绍了目前Node.js应用开发中涉及的基础知识和核心技术，并通过案例介绍了基于Express和Koa框架的项目开发。本书着重实际应用，案例及实程序设计10.9万字
- 会员本书从初学者的角度出发，由浅入深地讲解了Java语言的相关内容。全书共11章，主要介绍了Java开发环境的搭建及其运行机制、基本语法、面向对象编程思想、多线程、常用API、集合、I/O、网络编程等内容，采用通俗易懂的语言阐述抽象的概念，选用生活中密切相关的例子演示知识的运用，通过剖析案例、分析代码含义、解决常见问题等方式进行讲解。书中还添加了许多阶段性任务来模拟程序开发过程，帮助初学者培养良好的编程序设计10.6万字
- 会员本书将JavaWeb开发的基础知识与实例有机地结合在一起，系统地介绍JavaWeb应用开发过程中的一些实用技术、系统设计与编程思想。本书主要内容包括JavaWeb开发基础、Servlet入门、Servlet应用、JSP应用开发、JDBC数据库应用开发、EL表达式与JSTL标签、基于WebMVC框架的项目实践。全书不仅介绍理论基础，更强调实际应用。本书可作为普通高等院校计算机相关专业的教材，程序设计9.5万字