会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
刘新宇编著
- 会员条文主旨：提炼个人信息保护法的核心要义。重点解读：对法条沿革、专业术语、内容重点等进行逐条解读。实务要点：对法条进行易混概念辨析、实践疑难解答、法律实务运用等剖析。案例解析：提炼案情介绍，并根据个人信息保护法最新条文内容作出务实法律解析。关联法条：列明与本条最为关切的法律法规及条款，方便关联学习。司法案例12.1万字
最新上架
- 会员本书分为12章，主要包括学习人工智能原理、自然语言处理技术、掌握深度学习模型、NLP开源技术实战、Python神经网络计算实战、AI语音合成有声小说实战、玩转词向量、近义词查询系统实战、机器翻译系统实战、文本情感分析系统实战、电话销售语义分析系统实战人工智能辅助写作系统（独家专利技术解密）。计算机0字
- 会员本书采用“任务驱动”的编写模式，由浅入深、循序渐进、系统地介绍了JavaWeb开发的相关知识。通过实际应用的案例，帮助读者巩固所学知识，以便更好地进行开发实践。全书共15章，内容涵盖了JavaWeb开发基础知识、Servlet接收GET请求数据、Servlet接收POST请求数据、Servlet生成HTTP响应数据、异步请求和异步响应、会话控制技术：Cookie与Session、过滤器Filt计算机16.7万字
- 会员这是一套从Android性能优化本质入手，指导读者实现从硬件层到操作系统层再到应用层全面优化的实战方法论。本书由Android方向Google开发者专家撰写，融合了作者10年大厂实战经验，其中不仅包括作者实操过的监控、优化、防劣化等方向的各种典型案例，还包括多个实战小技巧，可以帮助读者解决工作中遇到的90%以上的能优化问题。本书内存、速度和流畅性、稳定性、包体积、耗电、磁盘占用、流量、降级这8个方计算机13.2万字
- 会员本书使用深入浅出、通俗易懂的语言阐述JavaWeb相关知识，并结合典型的Web应用案例，帮助读者掌握Web应用程序的开发技术。本书共15章，详细讲解了网页开发的基础知识和JavaWeb开发的核心知识，其中网页开发基础知识包括HTML技术、CSS技术、JavaScript技术和Bootstrap技术，而JavaWeb的核心知识包括Servlet技术、会话技术，JSP技术、JDBC技术和数据库连计算机16.6万字
- 会员本书立足于新工科和工程教育，从工程应用和实践者的视角，全面系统地介绍了目前在工业界中使用最为广泛的JDK8的全部核心知识。全书共17章，主要内容包括Java概述、Java基本类型与运算符、程序流程控制、数组、类与对象、抽象类、接口与嵌套类、GUI编程、Swing高级组件、异常与处理、I∕O流与文件、多线程与并发、容器框架与泛型、字符串与正则表达式、反射与注解。本书适合可作为普通高等院校、高职院校计算机21万字
- 会员本书以昇腾算子编程语言AscendC的高效开发为核心，系统介绍华为面向人工智能的昇腾AI处理器架构、硬件抽象及其软件栈。本书由浅入深，通过案例讲解知识点，理论与实践并重。全书分为6章，分别介绍了昇腾AI处理器软硬件架构、AscendC快速入门、AscendC编程模型与编程范式、AscendC算子开发流程、AscendC算子调试调优和AscendC大模型算子优化。本书适合人工智能产业的研计算机9.8万字
- 会员本书是作者转战中国市场和美国市场、操盘上市公司和投资公司、从事管理咨询和管理教育30多年来的商业智慧结晶。面对纷繁复杂、动荡多变、竞争激烈的市场环境，全书展示了作者具有独立性、前瞻性和系统性的思考成果，为处于转型升级关键时刻的中国化妆品企业乃至所有消费品企业的企业家、创业者和管理者提供了有针对性、战略性和可操作性的创新思路和营销建议。本书将顾客需求洞察看作是企业经营的起点和基础，将顾客需求洞察分为计算机30.9万字
- 会员《餐饮管理与经营全案——互联网思维创新餐饮管理和运营模式》一书，从互联网思维下的餐饮变革导入，分三个部分。第一部分（互联网思维创新之系统智能化）包括智能餐饮管理系统，智能点餐系统建设，智能结算系统建设，智能厨房显示系统建设，外卖业务系统建设，食品安全管控系统建设。第二部分（互联网思维创新之营销多样化）包括微博营销，微信公众号营销，短视频营销，会员大数据营销，外卖平台营销。第三部分（互联网思维创新之计算机10万字