会员
同构：编程中的数学
更新时间：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万字
- 会员《大数据可视化编程和应用》从基础开始，全面介绍大数据可视化的底层原理和实现框架，并重点讲解一些常用的大数据可视化关键技术，包括Excel图表、TableauDesktop可视化组件、Web的可视化控件、Java可视化控件及Python数据可视化工具。《大数据可视化编程和应用》共分为8章，第1章着重介绍大数据的发展历程，以及在大数据发展背景下数据可视化的概念、可视化技术的使用及可视化的现实意义；第2计算机4.2万字
- 会员《Java多线程并发体系实战（微课视频版）》全面、系统地介绍了与Java多线程相关的核心知识点，将官方多线程的核心知识点用链路的方式进行讲解。读者在学习的过程中需要循序渐进，核心知识点的理解是非常重要的，由核心知识点扩展开来就可以形成万物，希望读者在学习和创造的过程中能拥有自己的成长和思维。《Java多线程并发体系实战（微课视频版）》全书共10章。首章~第3章介绍了线程的核心知识点，第4章讲解了线计算机4.5万字
- 会员本书为适应新工科复合型人才对计算思维和问题求解能力的要求而编写。全书共12章，主要内容包括：计算思维与问题求解，数据类型、运算符和表达式，简单的C程序设计，选择结构程序设计，循环结构程序设计，函数，数组，常用算法，指针，结构体，文件系统和人工智能经典算法。本教材兼顾计算思维与程序设计基础知识，注重问题抽象，通过问题案例分析，逐步给出问题求解算法与程序实现，引导读者的算法思维和程序设计思维。通过“常计算机13.2万字
- 会员本书采用简洁直观的方式来讲解Vue2的各方面，并融入了关于Git的基础和进阶的知识，让读者在学习前端框架之余，还能学习到主流的团队代码管理工具和版本控制工具Git的知识应用。本书共11章，分为基础篇和进阶篇和项目实战篇。基础篇（第1~3章）详细讲述Vue框架的基础知识点，并以HTML文件的方式切入，浅显易懂，让你的学习体验达到最好。进阶篇（第4~8章）从webpack起步，系统地讲述webpack计算机4.1万字
- 会员《小学生Scratch创意编程（视频教学版）》采用任务制编排方式，按照课节形式设计，让学习更有节奏感。《小学生Scratch创意编程（视频教学版）》分为四部分。第一部分让读者懂得为什么学和要学什么，明白为什么而学让学习更具动力；第二部分强调基础，以项目的形式讲解每一个知识点，打牢基础才能有的放矢；第三部分从方法到方法论的提升让思维更上一层楼；第四部分通过综合项目实战，提升编程能力，提高项目分析能力计算机5.8万字
- 会员本书展示了如何利用事件驱动和响应式原理来构建健壮的分布式系统，减少延迟并提高吞吐量——特别是在微服务和无服务器应用程序中。本书分为四部分：第一部分介绍响应式的背景、环境和内容；第二部分深入讲解响应式，涵盖分布式系统的弊端、响应式系统和响应式编程；第三部分阐述如何使用Quarkus构建响应式应用程序，涵盖响应式引擎、响应式编程库SmallRyeMutiny、HTTP以及响应式数据访问的相关知识；第计算机11.1万字
- 会员Figma是当下备受关注的云应用UI设计工具：它基于浏览器，因而不受操作系统的限制；它上手容易，可以说Sketch的使用者皆能轻松上手Figma；便于合作共享是它的独特优势。本书通过多个设计案例讲解软件技能，并配有教学视频，从Figma操作的方方面面，延展到设计方法与思维能力。本书第1、2章讲Figma的基础操作及案例演示；第3、4章讲Figma协作功能和界面设计细节，属于UI设计系统进阶知识；第计算机9.9万字
- 会员这是一本具有高中数学知识就能读懂的机器学习图书，书中通过大量程序实例，将复杂的公式重新拆解，详细、清晰地解读了机器学习中常用的数学知识，一步步带领读者进入机器学习的领域。本书共22章，主要讲解了数据可视化、math模块、sympy模块、numpy模块、方程式、函数、最小平方法、集合、概率、贝叶斯定理、指数、对数、欧拉数、逻辑函数、三角函数、大型运算符、向量、矩阵与线性回归等数学知识。计算机5.8万字
同类书籍最近更新
- 会员本书知识体系完整，按照认知递进的顺序进行了编排，主要包括编程环境、数据类型、变量与计算、流程控制、错误与错误处理、函数、面向对象的程序设计、模块、文件操作、tkinter图形界面设计及数据库与数据库连接操作等内容。全书共12章，每章都包含详细的概念及原理阐述，同时配有大量精美的插图、代码范例和课后习题。有别于同类教材，本书将自身的角色设定为陪伴者和对话者，让读者在学习中获得归属感，使学习变成一种快程序设计9.7万字
- 会员IfyouareaC#,VB.NET,orC++developerandwanttogetstartedwithWCFandEntityFramework,thenthisbookisforyou.CompetenceinEntityFrameworkwillbeneededtofollowtheexamplesinthe程序设计7万字
- 会员SoftwareDevelopmentontheSAPHANAPlatformisageneraltutorialguidetoSAPHANA.ThisbookiswrittenforbeginnerstotheSAPHANAplatform.NoknowledgeofSAPHANAisnecessarytostartusing程序设计6.5万字
- 会员Ifyou’reaJavaScriptdeveloperwhowantstodivedeepintoJavaScriptandwritecomplexprogramsusingJavaScriptdatastructuresandalgorithms,thisbookisforyou.程序设计9万字
- 会员C#6和VisualStudio2015编程实战指南《C#入门经典》系列是屡获殊荣的C#名著和超级畅销书。最新版的C#入门经典（第7版）C#6.0&VisualStudio2015全面介绍使用C#6和.NETFramework编写程序的基础知识，是编程新手的理想读物。这本分步讲解的实用教程从最基本的面向对象编程讲起，浓墨重彩地描述初学者最常用的工具，不要求读者具有任何编程经验。紧贴实用的示例程序设计28.6万字