会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
刘新宇编著
- 会员条文主旨：提炼个人信息保护法的核心要义。重点解读：对法条沿革、专业术语、内容重点等进行逐条解读。实务要点：对法条进行易混概念辨析、实践疑难解答、法律实务运用等剖析。案例解析：提炼案情介绍，并根据个人信息保护法最新条文内容作出务实法律解析。关联法条：列明与本条最为关切的法律法规及条款，方便关联学习。司法案例12.1万字
同类热门书
最新上架
- 会员本书是与朱鸣华、罗晓芳、董明等编著的《C语言程序设计教程》配套使用的习题解答与上机指导，根据教学要求设置了三部分内容，包括C语言编程环境简介、知识提要及习题解析、上机指导及实验。本书首先介绍计算机程序实验的一般方法以及在VisualC++2010下编写和调试C语言程序的具体步骤；然后对主教材各章后面的习题以及C语言程序设计课程学习中的疑难问题和常见问题进行了详细的解析，同时，还汇总了各章的知识计算机6.3万字
- 会员《交互设计师成长手册》分为4章：初识交互设计、设计方法论、设计分析与洞察、设计执行与表现，全方位地展示了交互设计师的工作方式、工作技能和工作成果，帮助读者真正认识并理解交互设计，建立正确的交互设计思维，熟练使用交互设计工具、方法和流程，产出合理且优秀的交互设计方案，逐步成长为一名专业的交互设计师。计算机9.5万字
- 会员本书是一本致力于Web开发技术的实战指南。本书紧跟行业的最新发展趋势，全面而深入地阐述了SpringBoot3和Vue3在企业级应用开发中的集成与应用。全书共分为8章，从SpringBoot3的基础入门到Vue3的高级应用，再到前后端通信、测试与部署，每一章的内容都经过精心设计，以确保读者能够掌握关键的技能。第8章特别提供了一个综合案例，展示如何综合运用全书知识来构建一套完整的应用系统计算机14万字
- 会员《SQL语言从入门到精通》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细介绍了在开发中使用SQL语言必须掌握的技术。全书分为3篇共18章，内容包括SQL语言基础、SQL查询基础、复杂查询、数据排序、SQL函数的使用、分组统计、子查询、多表查询、添加数据、修改和删除数据、视图、存储过程、触发器、游标、索引、事务、管理数据库与数据表、数据库安全。所有知识都结合具体实例进行介绍，涉及的程序代计算机12.4万字
- 会员全书分为3篇。第1篇介绍编译器基础知识，包括中间表示，重点介绍SSA、数据流分析、支配、循环等知识，此外还介绍了LLVM的后端描述语言TableGen。第二篇剖析分LLVM代码生成，其中对代码生成的每一步骤都有提及，着重介绍指令选择、指令调度、寄存器分配和编译优化。同时还以BPF后端为例总结了如何基于LLVM开发一款新后端的编译器。第三篇附录主要总结了LLVM代码生成过程中使用的IR、BPF指令集计算机22.5万字
- 会员本书从需求规划、需求实现到可视化展示等，遵循项目开发的主要流程，全景介绍了金融租赁行业离线数据仓库的搭建过程。在整个数据仓库的搭建过程中，介绍了主要组件的安装部署、需求实现的具体思路、问题的解决方案等，并在其中穿插了许多大数据和数据仓库相关的理论知识，包括数据仓库的概念介绍、金融租赁业务概述、数据仓库理论介绍和数据仓库建模等。本书的第1章至第3章是项目前期准备阶段，主要为读者介绍了数据仓库的概念、计算机7.4万字
- 会员本书跟随了Node.js的标准与行业的发展趋势，在介绍新标准与新技术的同时兼顾了理论基础和实际应用，主要内容分为基础和应用两部分，基础部分内容包含了Node.js环境配置，npm项目管理，JavaScript语法基础，Node.js基本模块的原理与使用，异步代码的编写与组织，应用部分包含了网络编程，桌面应用开发以及测试和调试。本书讲解与示例并重，由浅入深地剖析了Node.js模块与语言原理，并通过计算机10.9万字
- 会员本书将JavaWeb开发的基础知识与实例有机地结合在一起，系统地介绍JavaWeb应用开发过程中的一些实用技术、系统设计与编程思想。本书主要内容包括JavaWeb开发基础、Servlet入门、Servlet应用、JSP应用开发、JDBC数据库应用开发、EL表达式与JSTL标签、基于WebMVC框架的项目实践。全书不仅介绍理论基础，更强调实际应用。本书可作为普通高等院校计算机相关专业的教材，计算机9.5万字