会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
刘新宇编著
- 会员条文主旨：提炼个人信息保护法的核心要义。重点解读：对法条沿革、专业术语、内容重点等进行逐条解读。实务要点：对法条进行易混概念辨析、实践疑难解答、法律实务运用等剖析。案例解析：提炼案情介绍，并根据个人信息保护法最新条文内容作出务实法律解析。关联法条：列明与本条最为关切的法律法规及条款，方便关联学习。司法案例12.1万字
同类热门书
最新上架
- 会员这是一本可帮助读者迅速掌握Drools的精髓并将其应用于实际项目，为企业构建智能决策系统提供可用经验和方法的专业技术书。全书以作者15年实战经验为基础，以作者在支付系统中的风控、反洗钱业务板块实际运用Drools规则引擎并构建一套完整的规则引擎体系为基础，以CSDN上超36万阅读量的规则引擎专栏文章为参考，以近3.7万人购买的收费视频课程为蓝本，从入门知识、底层原理、一线架构到实战项目深入解读运用计算机10.9万字
- 会员本书源于作者的经典书籍TheArtofAssemblyLanguage，从32位汇编语言升级为64位汇编语言，基于Microsoft宏汇编程序（MASM）讲解x86-64CPU上汇编语言的编程艺术。本书从计算机的组成结构开始介绍，包括计算机数据表示和运算，以及内存的访问和组织等。之后详细讲解汇编语言程序设计，涉及过程和算术运算的相关知识，再通过低级控制结构过渡到高级主题，如表查找和位操作。计算机33.4万字
- 会员本书为UiPath的入门工具书。第1～3章介绍RPA与UiPath的基础知识；第4～5章依次介绍流程自动化基础知识与流程搭建的方法论，建议没有相关技术背景的读者详细阅读；第6～8章是UiPath流程开发的关键章，建议读者通读并跟练，便于加深记忆，熟练掌握相关知识，其中的关键知识可以根据章节索引，在实际开发时按需查阅；第9～10章介绍更深层次的云UiPathOrchestrator和机器人企业框架计算机11.2万字
- 会员本书是一本C#10的技术指南，在上一版的基础上进行了全面更新，围绕概念和用例进行组织，系统、全面、细致地讲解了C#10从基础知识到各种高级特性的命令、语法和用法。本书首先介绍C#和.NET，第2—4章详细介绍C#语言的语法、类型和变量。其余各章则涵盖.NET6基础类库的功能，包括LINQ、XML、集合、并发、I/O和联网、内存管理、反射、动态编程、属性、加密和原生互操作性等主题。第5章和第6计算机38.2万字
- 会员本书旨在介绍RISC-V体系结构的设计和实现。本书首先介绍RISC-V体系结构基础知识、实验环境搭建、基础指令集、函数调用规范与栈，然后讲解GNU汇编器、链接器与链接脚本、内嵌汇编代码，接着讨论RISC-V体系结构中的异常处理、中断处理与中断控制器、内存管理、高速缓存、缓存一致性、TLB管理、原子操作、内存屏障指令、合理使用内存屏障指令、与操作系统相关的内容、可伸缩矢量计算与优化，最后阐述RISC计算机26.2万字
- 会员本书主要讲解了搭建一个企业级数据仓库项目的全过程，从项目需求入手，逐步讲解项目架构的设计、技术框架的选型、数据仓库项目的理论基础。接着分别讲解了大数据的数据采集、数据计算、数据仓库分层、全流程调度和指标结果可视化。本书涉及的数据仓库的数据源更加丰富、更加贴近实际开发，各技术框架的版本也进行了全面升级，数据仓库搭建过程的思路分析更加详细，并配了更多思路讲解图，更有利于读者理解。本书IT互联网程序员、计算机9.6万字