会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
刘新宇编著
同类热门书
最新上架
- 会员本书系统地讲解了现代商业银行的基本原理和知识框架，特别注重通过中外银行网站、年报、典型案例、相关法律法规、重大事件等，来介绍当前国内外银行业务的基本状况、重要改革和未来发展方向，教材图文并茂，内容翔实生动。本书可作为金融学专业本科生或金融专业硕士研究生的课程教学用书，也可作为从业人员了解银行业基础知识的参考书。计算机41万字
- 会员本书介绍基于我国自主可控量子计算云平台的量子计算编程，涵盖量子计算的核心内容，包括量子计算的基本概念、多种量子算法及其应用，以及本源量子计算云平台和量子计算编程框架QPanda的使用方法。本书通过算法理论与编程实践相结合的方式，详细讲解算法与编程之间的紧密关系，并通过大量的示例和练习，帮助读者深入理解量子计算的概念和应用，从而逐步掌握量子计算编程技能。本书既适合量子计算领域的科研人员、工程技术人员计算机9.3万字
- 会员本书为软件测试初学者量身打造，从零开始，覆盖软件公司招聘的基本要求。全书分为16章，涵盖了软件测试的核心概念、功能测试方法、Linux基础知识、MySQL数据库管理、Web自动化测试框架、HTTP接口测试、Charles抓包工具的使用、Python接口自动化测试、AI赋能软件测试，以及如何制作求职简历等内容。此外，本书还提供精选面试题及参考答案，助力读者通过面试。全书知识体系循序渐进，紧跟读者需求计算机19.1万字
- 会员本书是一本入门级的Web前端开发教材，以通俗易懂的语言、丰富实用的案例，帮助初学者快速掌握JavaScript技术和jQuery技术，并能够运用JavaScript技术和jQuery技术开发交互式Web前端项目。全书共12章。第1~5章讲解JavaScript的基础知识；第6~8章讲解DOM和BOM的相关知识；第9章和第10章讲解jQuery的相关知识和使用方法；第11章讲解JavaScript面计算机14.9万字
- 会员计算机视觉是在图像处理的基础上发展起来的新兴学科。OpenCV是一个开源的计算机视觉库，可以实现图像处理、模式识别、三维重建、物体跟踪等算法。本书基于Python，从图像基本原理说起，初步讲解计算机视觉所需的OpenCV知识。本书可作为信息处理、计算机、机器人、人工智能、遥感图像处理、认知神经科学等相关专业的教学用书，也可供相关领域的研究工作者参考。计算机10.4万字
- 会员本书是一部系统讲述Python编程语言与编程方法的案例化教程。全书共分为9章：第1章为Python编程基础知识；第2章为组合数据类型及使用；第3章为函数及调用规则；第4章为程序设计；第5章为面向对象程序设计方法；第6章为文件操作与异常处理；第7章为Python的GUI设计；第8章为Python绘图方法；第9章为Python网络爬虫。每章都设置了大量应用案例跟踪指导。本书可作为高等学校Python程计算机6.5万字
- 会员《小学生Python创意编程：视频教学版》语言风趣幽默，讲解细致入微，案例生动有趣，能够让小朋友轻松愉悦地学习Python编程。《小学生Python创意编程：视频教学版》共分14章，以图解的形式介绍变量、条件判断、循环、列表、函数、类与对象、模块、文件、注释、异常与调试等基础知识，简单明了，易于理解；穿插许多小朋友感兴趣的项目案例，如输出爱心、绘制五角星、诗词接龙、探索运算、侦测破案、商品管理系统计算机5.9万字
- 会员自20世纪以来，互联网的发展已经堪称日新月异，人们的工作、生活、学习等各个方面越来越离不开互联网Web应用。JavaWeb是Web应用中成熟度高、普及率高、适用性广的开源技术，几乎所有Web应用程序都需要具备JavaWeb技术能力。本书分为5篇，共17章。第1篇介绍Web开发与JavaWeb开发，包括体系结构、相关技术、开发环境等；第2篇介绍JSP语言基础，包括JSP的基本概念、JSP指令、JSP计算机10.3万字
- 会员本书涵盖了SpringCloudAlibaba框架的八大核心技术主题，分别是注册中心、远程调用、负载均衡、配置中心、服务网关、消息通信、分布式事务和服务可用性。并且，通过一个系统性的项目案例，讲解企业级微服务系统开发的工程实践。其间提供大量的设计图例和示例代码，更提供配套的视频教程。对于每个主题，书中采用“技术概念和特性→框架使用方法→项目案例实战→核心原理和源码剖析”的方式讲解，使读者递进式计算机12.9万字
同类书籍最近更新
- 会员Go语言是近年来非常流行的新兴编程语言，它不仅是以太坊客户端和HyperledgerFabric区块链平台的开发语言，而且广泛应用于区块链应用的开发。本书介绍使用Go语言开发的经典联盟链项目HyperledgerFabric，它由Linux基金会管理。国外的微软、摩根大通、世界银行和国内的华为、阿里巴巴、百度、腾讯等企业都参与了Hyperledger社区的建设。本书涵盖Hyperledger程序设计15.3万字
- 会员本书在《C语言程序设计案例式教程》的基础上进行了完善、补充和修订，内容更加丰富、翔实，结构层次更加清晰、合理。本书共11章，第1章主要介绍C语言概述、C语言开发环境的搭建和C语言程序的编译机制等；第2章和第3章主要介绍C语言的基础知识，包括关键字、标识符、常量、变量、数据类型、类型转换、运算符与表达式等；第4～9章主要介绍C语言的核心知识，包括结构化程序设计、数组、函数、指针、字符串、结构体等；第程序设计16.3万字
- 会员本书以MySQL为平台，从数据库管理和开发的角度出发，介绍开发数据库应用系统所需的基础知识和技术。本书将一个贯穿全书的数据库应用系统开发实例“学生信息管理系统”融入各项目，将每个项目分解成若干任务，使读者逐步学会创建、管理、开发数据库，并掌握使用SQL进行程序设计的编程思想和技术。本书内容由浅入深，由实践到理论，再从理论到实践，通过任务驱动的方式将理论与实践密切结合，体现了高职高专和应用型本科教育程序设计12.6万字