会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
刘新宇编著
- 会员条文主旨：提炼个人信息保护法的核心要义。重点解读：对法条沿革、专业术语、内容重点等进行逐条解读。实务要点：对法条进行易混概念辨析、实践疑难解答、法律实务运用等剖析。案例解析：提炼案情介绍，并根据个人信息保护法最新条文内容作出务实法律解析。关联法条：列明与本条最为关切的法律法规及条款，方便关联学习。司法案例12.1万字
最新上架
- 会员Figma是当下备受关注的云应用UI设计工具：它基于浏览器，因而不受操作系统的限制；它上手容易，可以说Sketch的使用者皆能轻松上手Figma；便于合作共享是它的独特优势。本书通过多个设计案例讲解软件技能，并配有教学视频，从Figma操作的方方面面，延展到设计方法与思维能力。本书第1、2章讲Figma的基础操作及案例演示；第3、4章讲Figma协作功能和界面设计细节，属于UI设计系统进阶知识；第计算机9.9万字
- 会员本书跟随了Node.js的标准与行业的发展趋势，在介绍新标准与新技术的同时兼顾了理论基础和实际应用，主要内容分为基础和应用两部分，基础部分内容包含了Node.js环境配置，npm项目管理，JavaScript语法基础，Node.js基本模块的原理与使用，异步代码的编写与组织，应用部分包含了网络编程，桌面应用开发以及测试和调试。本书讲解与示例并重，由浅入深地剖析了Node.js模块与语言原理，并通过计算机10.9万字
- 会员《Django5企业级Web应用开发实战：视频教学版》精选当前简单、实用和流行的Django实例代码，帮助读者学习和掌握Django5框架及其相关技术栈的开发知识。本书系统全面、内容翔实、重点突出、通俗易懂，基本涵盖Django5框架应用开发的所有技术。《Django5企业级Web应用开发实战：视频教学版》共分为13章，内容包括Django框架基础与环境搭建、常用配置、模型、视图与路由、模计算机15.9万字
- 会员《Python数据分析从入门到精通（第2版）》从数据分析初学者角度出发，以通俗易懂的语言、丰富多彩的实例，详细介绍了使用Python进行数据分析程序开发应掌握的各方面技术。全书共分21章，包括数据分析基础、搭建数据分析开发环境、NumPy模块之数组计算、Pandas模块基础、Pandas模块之数据的读取、Pandas模块之数据的处理、Pandas模块之数据的清洗、数据的计算与格式化、数据统计及透视计算机16.7万字
- 会员本书全面、系统地介绍H5页面的相关知识点和基本制作方法。全书共10章，包括初识H5、H5页面的设计与制作、互动游戏H5页面的制作、活动抽奖H5页面的制作、测试问答H5页面的制作、滑动翻页H5页面的制作、长页滑动H5页面的制作、画中画H5页面的制作、3D/全景H5页面的制作及视频动画H5页面的制作等内容。第3~10章还设置课堂练习与课后习题，用以提高学生的实际应用能力。计算机5.8万字
- 会员本书是与朱鸣华、罗晓芳、董明等编著的《C语言程序设计教程》配套使用的习题解答与上机指导，根据教学要求设置了三部分内容，包括C语言编程环境简介、知识提要及习题解析、上机指导及实验。本书首先介绍计算机程序实验的一般方法以及在VisualC++2010下编写和调试C语言程序的具体步骤；然后对主教材各章后面的习题以及C语言程序设计课程学习中的疑难问题和常见问题进行了详细的解析，同时，还汇总了各章的知识计算机6.3万字
- 会员《细说Python编程：从入门到科学计算》以Python3.x为平台，由两位博士执笔，详尽细致地阐述Python编程的基础知识和高级技巧，并以大量示例代码进行实践，同时还介绍人工智能领域广泛使用的科学计算工具NumPy。《细说Python编程：从入门到科学计算》分为两篇，共19章。第1篇（第1～11章）为基础知识，主要讲解Python的编译环境、入门知识、字符串、容器、函数、循环、条件选择、模块计算机18.9万字
- 会员本书是一本致力于Web开发技术的实战指南。本书紧跟行业的最新发展趋势，全面而深入地阐述了SpringBoot3和Vue3在企业级应用开发中的集成与应用。全书共分为8章，从SpringBoot3的基础入门到Vue3的高级应用，再到前后端通信、测试与部署，每一章的内容都经过精心设计，以确保读者能够掌握关键的技能。第8章特别提供了一个综合案例，展示如何综合运用全书知识来构建一套完整的应用系统计算机14万字
- 会员本书分为三部分：第1部分介绍代码的整理（微型重构）；第二部分讨论如何将整理工作整合到开发工作流程中；第三部分深入探讨什么是软件设计、软件设计如何驱动软件开发和运营成本以及软件开发和运营成本又如何驱动软件设计、投资软件结构与不投资软件结构之间的权衡是什么、我们可以利用哪些经济和人文原则来决定是否以及如何改变软件结构。计算机3.7万字
同类书籍最近更新
- 会员本书通过翔实的小程序能力与价值剖析，结合真实的场景案例，帮助读者了解有效的小程序运营方法、招式，涉及利用行业特点、会员拉新拉活、流量获取与运用、商品选品及供应链整合、微信生态联合等，帮助企业主、服务商、开发者及运营人员充分发挥小程序的能力，助力传统产业数字化转型，改进业务运营效率及促进业务发展与升级。程序设计11.4万字
- 会员在超大规模流量的分布式系统环境下，无论是从系统性能的角度，还是从数据安全性的角度，掌握MySQL主从原理，都是当下技术人员的必备基本功。MySQL主从原理是高可用架构的基石，即便是MGR这种集群架构也可以看到主从的影子。要解决一个问题或者故障，最快的方式就是了解它的原理，快速定位问题。本书从源码层面抽丝剥茧般地描述MySQL主从原理，全面地介绍了GTID相关的知识点，并解析了主要Event的生成、程序设计7.8万字
- 会员Java作为当前最炙手可热的网络编程语言，已经带动了相关衍生产品的流行。从开发工具Eclipse+MyEclipse和Jbuilder，到服务器端的框架Struts、Hibernate、Spring的持续升温，再加上相关的服务器软件Tomcat、Weblogic等，Java已经发展成为一个完整的产品系列。本书的目标就是带领你逐个了解、熟悉、使用这些Java系列的产品，从一个零基础的Java菜鸟程序设计15.2万字
- 会员Areyoulookingtostartdevelopingartificialintelligenceapplications?Doyouneedarefresheronkeymathematicalconcepts?Fullofengagingpracticalexercises,TheStatisticsandCalculuswithP程序设计14.3万字
- 会员本书讲述了JavaScript、DOM和HTML5的基础知识，着重介绍DOM编程技术背后的思路和原则：平稳退化、渐进增强和以用户为中心等。这些概念对于任何前端Web开发工作都非常重要。本书将这些概念贯穿在书中的所有代码示例中，以便呈现用来创建图片库页面的脚本、用来创建动画效果的脚本和用来丰富页面元素呈现效果的脚本，最后结合所讲述的内容创建了一个实际的网站。程序设计13.7万字
- 会员本书针对本科高校计算机应用和软件工程等专业中的应用型需求，根据JavaEE6规范，并参考JavaEE6在企业级开发中应用的特点编写而成.全书共分十四章，包括Servlet、JSP和JSF程序开发，JDBC、JNDI技术，EJB概述、会话Bean、JMS与消息驱动Bean，JPA、JPQL，WebService，JavaEE安全性与事务，SSH框架开发.本书注重知识体系结构的系统性和条程序设计13.6万字