会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
刘新宇编著
- 会员条文主旨：提炼个人信息保护法的核心要义。重点解读：对法条沿革、专业术语、内容重点等进行逐条解读。实务要点：对法条进行易混概念辨析、实践疑难解答、法律实务运用等剖析。案例解析：提炼案情介绍，并根据个人信息保护法最新条文内容作出务实法律解析。关联法条：列明与本条最为关切的法律法规及条款，方便关联学习。司法案例12.1万字
同类热门书
最新上架
- 会员为了帮助服务器开发人员更好地理解服务器框架的设计与开发，本书从零开始，详细阐述游戏服务器设计与开发的流程和技术点，包括网络通信、分布式架构设计、内部RPC通信、数据管理、多线程管理，并从实践的角度出发，配合详细的源码，帮助广大游戏服务器开发人员，或正在考虑从事游戏服务器开发的人员，更加系统地学习服务器架构的设计与开发。本书实用性强，既可以帮助想从事服务器开发的人员快速学习相关知识，又可以帮助服务器计算机13.8万字
- 会员《餐饮管理与经营全案——互联网思维创新餐饮管理和运营模式》一书，从互联网思维下的餐饮变革导入，分三个部分。第一部分（互联网思维创新之系统智能化）包括智能餐饮管理系统，智能点餐系统建设，智能结算系统建设，智能厨房显示系统建设，外卖业务系统建设，食品安全管控系统建设。第二部分（互联网思维创新之营销多样化）包括微博营销，微信公众号营销，短视频营销，会员大数据营销，外卖平台营销。第三部分（互联网思维创新之计算机10万字
- 会员本书系统地介绍了如何利用AI助手Copilot和ChatGPT来提升Python编程的效率和质量。本书从AI助手的基础概念讲起，逐步深入到代码组织、阅读、测试、提示工程等关键技能，并引导读者通过实践掌握如何拆解复杂问题、查找和修复bug、自动化任务处理及开发计算机游戏。本书不仅提供了丰富的实例和练习，还探讨了AI助手的潜力和局限，以及未来的发展趋势，是希望在编程领域融入AI技术的读者的理想选择。本计算机17.2万字
- 会员本书从网络工程师的视角出发，详细讲解了Python在网络运维自动化中的应用，其中涉及Python网络运维自动化的相关技术、工具以及实践。本书共10章，先对Python网络运维自动化进行了全面的概述，然后讲解了网络工程师所需的Python基础、数据格式与数据建模语言的相关知识。接着，本书介绍了网络配置的结构化数据提取、网络配置的模块化管理、Netmiko详解与实践、模型驱动的新网络管理方式及实践、网计算机13.3万字
- 会员这是一套从Android性能优化本质入手，指导读者实现从硬件层到操作系统层再到应用层全面优化的实战方法论。本书由Android方向Google开发者专家撰写，融合了作者10年大厂实战经验，其中不仅包括作者实操过的监控、优化、防劣化等方向的各种典型案例，还包括多个实战小技巧，可以帮助读者解决工作中遇到的90%以上的能优化问题。本书内存、速度和流畅性、稳定性、包体积、耗电、磁盘占用、流量、降级这8个方计算机13.2万字
- 会员本书从分布式系统的基础概念讲起，随后介绍分布式系统中间件SpringCloudAlibaba进阶实战，重点介绍了使用SpringCloudAlibaba框架整合各种分布式组件的完整过程。计算机3.1万字
- 会员本书是享誉全球的Python入门书，影响了超过250万读者。全书分两部分：第一部分介绍用Python编程所必须了解的基本概念，包括强大的Python库和工具，以及列表、字典、if语句、类、文件和异常、代码测试等内容；第二部分将理论付诸实践，讲解如何开发三个项目，包括简单的2D游戏、利用数据生成交互式的信息图以及创建和定制简单的Web应用，并帮助读者解决常见编程问题和困惑。第3版进行了全面修订：使用计算机24.2万字
- 会员本书主要以Java虚拟机的基本特性及运行原理为中心，分析了JVM的组成结构和底层实现，介绍了很多性能调优的方案和工具的使用方法。最后还扩展介绍了JMM内存模型的实现原理和Java编译器的优化机制。计算机12.1万字
- 会员本书分为12章，主要包括学习人工智能原理、自然语言处理技术、掌握深度学习模型、NLP开源技术实战、Python神经网络计算实战、AI语音合成有声小说实战、玩转词向量、近义词查询系统实战、机器翻译系统实战、文本情感分析系统实战、电话销售语义分析系统实战人工智能辅助写作系统（独家专利技术解密）。计算机0字