
会员
同构:编程中的数学
刘新宇编著更新时间:2023-11-09 19:27:54
最新章节:封底开会员,本书免费读 >
本书从七个方面介绍了计算机程序的数学基础和原理,并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是:数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理,构筑了计算机程序大厦的基石。通过单向链表,斐波那契数列等例子,展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端,把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构,并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念,介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌:机械工业出版社
上架时间:2022-11-01 00:00:00
出版社:机械工业出版社
本书数字版权由机械工业出版社提供,并由其授权上海阅文信息技术有限公司制作发行
最新章节
刘新宇编著
主页
最新上架
- 会员
码上行动:零基础学会Python编程(ChatGPT版)
本书从零开始,介绍了Python编程语言的基础知识。全书共17章,第1-9章介绍了Python的语言基础;第10-13章介绍了与Python编程相关的拓展知识;第14-16章介绍了3个实战项目;第17章介绍了初学者如何利用当下最热门的AI工具ChatGPT学习Python编程。计算机8.8万字 - 会员
Java程序设计实战教程
本书从Java初学者的角度出发,用通俗易懂的语言、贴近实际生活的实例,详细地介绍使用Java语言进行程序开发须掌握的知识和技术,帮助读者快速掌握Java程序开发的技能。全书共14章,分别为Java程序设计入门、Java语言基础、流程控制、方法与数组、面向对象基础、深入面向对象、常用类、异常、集合类、File与I/O流、多线程、图形用户界面、网络编程、反射。随书电子资源中还提供了综合项目实训,以巩固计算机17万字 - 会员
区块链技术及应用
本书系统地阐述了区块链技术的理论体系结构,辅以典型工程案例,为读者展示成熟的分析方法和解决方案。全书内容包括区块链概述、区块链开发基础、区块链核心技术解析、区块链数据存储、区块链网络构建、以太坊技术解析、区块链技术改进、区块链安全性分析、区块链项目实战案例。本书难易适中,内容充实,层次清晰,可作为普通高等学校信息安全、网络空间安全、软件工程、计算机科学与技术等专业本科生和研究生教材,也可以作为区块计算机18.8万字 - 会员
深入浅出Java虚拟机:JVM原理与实战
本书主要以Java虚拟机的基本特性及运行原理为中心,分析了JVM的组成结构和底层实现,介绍了很多性能调优的方案和工具的使用方法。最后还扩展介绍了JMM内存模型的实现原理和Java编译器的优化机制。计算机12.1万字 - 会员
Java基础案例教程(第2版)
本书是Java入门书籍,适合初学者使用。全书共13章,第1章主要讲解Java的特点与发展史、JDK的使用、Java程序的编写与运行机制、Java开发环境的搭建等;第2~6章主要讲解Java编程基础知识,包括Java基本语法、面向对象、JavaAPI和集合;第7~12章主要讲解Java进阶知识,包括I/O、多线程、网络编程、JDBC、GUI、Java反射机制;第13章带领读者开发一个综合项目——基计算机20万字 - 会员
Spring Cloud Alibaba核心技术与实战案例
本书从分布式系统的基础概念讲起,随后介绍分布式系统中间件SpringCloudAlibaba进阶实战,重点介绍了使用SpringCloudAlibaba框架整合各种分布式组件的完整过程。计算机3.1万字 - 会员
AI辅助编程Python实战:基于GitHub Copilot和ChatGPT
本书系统地介绍了如何利用AI助手Copilot和ChatGPT来提升Python编程的效率和质量。本书从AI助手的基础概念讲起,逐步深入到代码组织、阅读、测试、提示工程等关键技能,并引导读者通过实践掌握如何拆解复杂问题、查找和修复bug、自动化任务处理及开发计算机游戏。本书不仅提供了丰富的实例和练习,还探讨了AI助手的潜力和局限,以及未来的发展趋势,是希望在编程领域融入AI技术的读者的理想选择。本计算机17.2万字 - 会员
量子计算实战
在加密、科学建模、制造物流、金融建模和人工智能等领域,量子计算可以极大提升解决问题的效率。量子系统正变得越来越强大,逐渐可用于生产环境。本书介绍了量子计算的思路与应用,在简要说明与量子相关的科学原理之后,指导读者实现量子计算算法。本书将带领读者使用基于Java的Strange量子模拟器编写量子程序,并探索量子位和量子逻辑门。在介绍标准Java和构建工具创建量子算法的同时,本书还引入了有趣的示例和深计算机10.5万字 - 会员
C语言程序设计习题与实验指导
本书是与主教材《C语言程序设计》配套的实验与训练参考书,同时也是一本可以独立于主教材的实验练习与实训提高的实践教材。全书分为四部分。第一部分是与主教材内容对应的基础知识与习题练习,第二部分是上机实践与实验指导,第三部分是综合实训与技能提高,第四部分是计算机等级考试介绍。计算机7.1万字
同类书籍最近更新
- 会员
Java从入门到精通(第4版)
本书以零基础讲解为宗旨,用实例引导读者学习,深入浅出地介绍了Java的相关知识和实战技巧。本书“第Ⅰ篇基础知识”主要介绍Java开发环境搭建、Java程序要素、常量、变量、数据类型、运算符、表达式、语句、流程控制、数组、枚举、类、对象以及方法等,“第Ⅱ篇核心技术”主要介绍类的封装、继承、多态、抽象类、接口、Java常用类库以及异常的捕获与处理等,“第Ⅲ篇高级应用”主要介绍多线程、文件I/O操作、G程序设计24.8万字 - 会员
青少年Python趣味编程
本书从Python的基础语法讲起,然后逐步深入讲解Python的实战应用,重点介绍如何使用Python解决实际遇到的问题,让读者不仅可以系统地学习Python的相关理论知识,还能对Python程序开发有更深入的理解。本书分为17章,主要内容有编程语言的概念,Python的基础语法,常见函数的使用,自定义函数,面向对象编程,模块的概念,random、time、datetime等常见模块的使用,文件读程序设计10.2万字 - 会员
微信小程序开发图解案例教程:附精讲视频(第3版)
本书分两篇,分别介绍了微信小程序设计的基础知识和实战案例。第1篇为微信小程序快速入门,包括认识微信小程序、微信小程序框架分析、用微信小程序组件构建UI界面、必备的微信小程序API、微信小程序云开发;第2篇为综合案例应用,包括仿“中国婚博会”微信小程序、仿“华为商城”微信小程序、记账本微信小程序云开发3个综合实战案例。本书采用图、表与详细的示例代码相结合的叙述方式,讲解微信小程序设计的基本原理和知识程序设计9.3万字 - 会员
Java多线程编程核心技术(第3版)
现代软件规模大、实时性要求高,所以掌握提升处理和响应速度的多线程技术势在必行。本书涵盖多线程编程的核心库、方法、原理,透彻讲解了高并发的本质与应对方法,帮助读者解决高并发环境下的业务瓶颈。本书具体内容如下:第1章讲解Java多线程的基础知识,包括Thread类的核心API的使用。第2章讲解在多线程中通过synchronized关键字对并发访问进行控制的方法,为读者学习同步知识打好坚实的基础。第3章程序设计13.6万字 - 会员
Go语言精进之路:从新手到高手的编程思想、方法和技巧(1)
Go入门容易,精进难,如何才能像Go开发团队那样写出符合Go思维和语言惯例的高质量代码呢?本书将从编程思维和实践技巧2个维度给出答案,帮助你在Go进阶的路上事半功倍。编程思维层面:只有真正领悟了一门语言的设计哲学和编程思维,并能将之用于实践,才算精通了这门语言。本书从Go语言设计者的视角对Go背后的设计哲学和编程思想进行了梳理和分析,指引读者体会那些看似随意实则经过深思熟虑的设计背后的秘密。实践技程序设计16.7万字 - 会员
可解释机器学习:模型、方法与实践
本书是索信达金融AI实验室团队结合学术界前沿理论研究和金融行业应用经验打造的国内唯一的关于可解释机器学习应用方面的图书。书中将可解释机器学习技术的研究路线和应用成果进行了系统的整理,用通俗易懂的语言详述了可解释机器学习研究中先后出现的各种理论算法,并通过丰富的真实业务场景案例指导读者透彻理解和熟练使用可解释机器学习技术解决现实问题。全书共七章,分为三大部分,第一部分为背景(第1~2章),阐述可解释程序设计9.2万字