会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
同类热门书
最新上架
- 会员本书系统地介绍了Java语言高级程序设计内容，主要包括Java集合框架、异常处理、输入/输出流、多线程、网络编程、图形用户界面程序设计、泛型、JDBC编程、Java8新特性。本书所有知识点都结合具体实例进行分析，既注重理论介绍，又强调实际应用，从实用的角度精心设计知识结构和代码示例，同时每章后面配有相应习题。本书可作为普通高等院校计算机及相关专业Java程序设计课程的教材，也适合程序开发人员学习计算机8.8万字
- 会员本书系统地介绍了如何利用AI助手Copilot和ChatGPT来提升Python编程的效率和质量。本书从AI助手的基础概念讲起，逐步深入到代码组织、阅读、测试、提示工程等关键技能，并引导读者通过实践掌握如何拆解复杂问题、查找和修复bug、自动化任务处理及开发计算机游戏。本书不仅提供了丰富的实例和练习，还探讨了AI助手的潜力和局限，以及未来的发展趋势，是希望在编程领域融入AI技术的读者的理想选择。本计算机17.2万字
- 会员本书书分为以下几部分：第一部分：预备知识：介绍数据结构和算法的基本概念，并演示如何搭建开发环境、编写测试用例。第二部分：数据结构：介绍常见的数据结构，包括数组、链表、矩阵、栈、队列、跳表、散列、树、图等。第三部分：常用算法：介绍常用的算法，包括分而治之、动态规划、贪婪算法、回溯、分支界定、遗传算法等。第四部分：商业实战：介绍汉诺塔及五子棋两款游戏的实现。计算机0字
- 会员本书全面深入地介绍Elasticsearch的核心功能及其工作机制。本书由浅入深，从Elasticsearch的基本用法和架构原理，以及倒排索引、分片、节点角色和相关性等核心概念讲起；然后深入探讨数据处理和索引管理，涵盖映射模式、数据类型、文本分析、索引模板；接着详细介绍词项级搜索、全文搜索、复合查询和高级搜索等Elasticsearch的搜索功能，并深入讲解聚合；最后聚焦生产环境中的Elasti计算机27.5万字
- 会员本书全面介绍了Web标准的三个主要组成部分：HTML、CSS和JavaScript。循序渐进的讲述Web开发所涉及的三大前端技术的内容、应用技巧以及它们的综合应用。每部分都配置了大量的实用案例，图文并茂，效果直观。全书共21章，分为四个部分。在HTML部分，系统介绍了主要讲述了主要讲述了HTML基本概念、常用文本标签、文档结构标签、在网页中插入多媒体内容、列表、DIV标签、元素类型、在网页中创建超计算机13.2万字
- 会员本书是作者转战中国市场和美国市场、操盘上市公司和投资公司、从事管理咨询和管理教育30多年来的商业智慧结晶。面对纷繁复杂、动荡多变、竞争激烈的市场环境，全书展示了作者具有独立性、前瞻性和系统性的思考成果，为处于转型升级关键时刻的中国化妆品企业乃至所有消费品企业的企业家、创业者和管理者提供了有针对性、战略性和可操作性的创新思路和营销建议。本书将顾客需求洞察看作是企业经营的起点和基础，将顾客需求洞察分为计算机30.9万字