会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
最新上架
- 会员本书是享誉全球的Python入门书，影响了超过250万读者。全书分两部分：第一部分介绍用Python编程所必须了解的基本概念，包括强大的Python库和工具，以及列表、字典、if语句、类、文件和异常、代码测试等内容；第二部分将理论付诸实践，讲解如何开发三个项目，包括简单的2D游戏、利用数据生成交互式的信息图以及创建和定制简单的Web应用，并帮助读者解决常见编程问题和困惑。第3版进行了全面修订：使用计算机24.2万字
- 会员Three.js在过去几年中已经成为创建令人惊叹的3DWebGL内容的标准方式。本书探讨Three.js的所有特性，并提供额外的内容，包括如何将Three.js与Blender、React、TypeScript以及最新的物理引擎进行集成。本书共分为四个部分：第一部分介绍搭建开发环境和运行Three.js；第二部分介绍Three.js的核心组件；第三部分介绍如何创建复杂的几何体、动画和纹理；第四部计算机13.3万字
- 会员本书为广受读者喜爱的畅销书升级版，旨在让读者快速、简单地上手大模型应用开发。本书为初学者提供了一份清晰、全面的“最小可用知识”，带领你快速了解GPT-4和ChatGPT的工作原理及优势，并在此基础上使用流行的Python编程语言构建大模型应用。升级版在旧版的基础上进行了全面更新，融入了大模型应用开发的最新进展，比如RAG、GPT-4新特性的应用解析等。本书提供了大量简单易学的示例，帮你理解相关概念计算机13.1万字
- 会员本书是作者转战中国市场和美国市场、操盘上市公司和投资公司、从事管理咨询和管理教育30多年来的商业智慧结晶。面对纷繁复杂、动荡多变、竞争激烈的市场环境，全书展示了作者具有独立性、前瞻性和系统性的思考成果，为处于转型升级关键时刻的中国化妆品企业乃至所有消费品企业的企业家、创业者和管理者提供了有针对性、战略性和可操作性的创新思路和营销建议。本书将顾客需求洞察看作是企业经营的起点和基础，将顾客需求洞察分为计算机30.9万字
- 会员本书主要介绍iOS自动化测试的相关内容。本书首先介绍iOS基础知识；接着介绍测试环境部署、Appium基本操作和Appium终端操作，为读者学习后面的知识打下基础；然后介绍Appium中的元素定位、元素操作、高级操作、等待机制；最后讲述Pytest测试框架、项目实战、项目代码优化、自动化测试框架开发等。本书适合测试人员和开发人员阅读。计算机8.7万字
- 会员本书以昇腾算子编程语言AscendC的高效开发为核心，系统介绍华为面向人工智能的昇腾AI处理器架构、硬件抽象及其软件栈。本书由浅入深，通过案例讲解知识点，理论与实践并重。全书分为6章，分别介绍了昇腾AI处理器软硬件架构、AscendC快速入门、AscendC编程模型与编程范式、AscendC算子开发流程、AscendC算子调试调优和AscendC大模型算子优化。本书适合人工智能产业的研计算机9.8万字
- 会员本书分为12章，主要包括学习人工智能原理、自然语言处理技术、掌握深度学习模型、NLP开源技术实战、Python神经网络计算实战、AI语音合成有声小说实战、玩转词向量、近义词查询系统实战、机器翻译系统实战、文本情感分析系统实战、电话销售语义分析系统实战人工智能辅助写作系统（独家专利技术解密）。计算机0字
- 会员本书向你展示如何从零开始编写简洁、可维护的C代码。首先简要介绍C语言的历史和建立开发环境的步骤。然后介绍C语言的语句，包括分支和循环语句，并对变量及其作用域进行深入探讨。之后展示C语言的数组、结构，并讲解如何查找和使用常用的代码片段。第8—11章介绍C语言在Arduino中的应用，涵盖设置Arduino开发环境、代码编写技巧等，还通过完整的Arduino项目尝试使用多种电子外设，包括传感器、按钮和计算机11.8万字
- 会员本书是一部全面且深入的Java代码审计指南，旨在帮助读者掌握JavaWeb应用中常见安全漏洞的识别、分析及防御技能。全书共分4篇，从基础到实战，系统地介绍Java代码审计的各个方面。基础篇（第1章）主要介绍JavaWeb环境的搭建步骤、常见的动态调试方法以及代码审计工具的基本使用方法，为后续的深入学习打下坚实基础。入门篇（第2章～第3章）首先介绍Java代码审计中发现的常见漏洞，然后通过实战演计算机9.7万字