会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
最新上架
- 会员本书立足于新工科和工程教育，从工程应用和实践者的视角，全面系统地介绍了目前在工业界中使用最为广泛的JDK8的全部核心知识。全书共17章，主要内容包括Java概述、Java基本类型与运算符、程序流程控制、数组、类与对象、抽象类、接口与嵌套类、GUI编程、Swing高级组件、异常与处理、I∕O流与文件、多线程与并发、容器框架与泛型、字符串与正则表达式、反射与注解。本书适合可作为普通高等院校、高职院校计算机21万字
- 会员本书分为三篇，共12章。第一篇：基础篇，包括第1-4章，介绍了uni-app的特点和优势、环境搭建、HBuilderX开发工具的安装和使用，以及uni-app的一些基础知识。第二篇：进阶篇，包括第5-9章，介绍了uni-app的基础配置、相关组件、导航栏、高效开发技巧，以及uniCloud云开发平台。第三篇：实战篇，包括第10-12章，通过第一个实战，介绍了如何使用uni-app开发小程序；通过第计算机10万字
- 会员这是一套从Android性能优化本质入手，指导读者实现从硬件层到操作系统层再到应用层全面优化的实战方法论。本书由Android方向Google开发者专家撰写，融合了作者10年大厂实战经验，其中不仅包括作者实操过的监控、优化、防劣化等方向的各种典型案例，还包括多个实战小技巧，可以帮助读者解决工作中遇到的90%以上的能优化问题。本书内存、速度和流畅性、稳定性、包体积、耗电、磁盘占用、流量、降级这8个方计算机13.2万字
- 会员本书为广受读者喜爱的畅销书升级版，旨在让读者快速、简单地上手大模型应用开发。本书为初学者提供了一份清晰、全面的“最小可用知识”，带领你快速了解GPT-4和ChatGPT的工作原理及优势，并在此基础上使用流行的Python编程语言构建大模型应用。升级版在旧版的基础上进行了全面更新，融入了大模型应用开发的最新进展，比如RAG、GPT-4新特性的应用解析等。本书提供了大量简单易学的示例，帮你理解相关概念计算机13.1万字
- 会员本书从网络工程师的视角出发，详细讲解了Python在网络运维自动化中的应用，其中涉及Python网络运维自动化的相关技术、工具以及实践。本书共10章，先对Python网络运维自动化进行了全面的概述，然后讲解了网络工程师所需的Python基础、数据格式与数据建模语言的相关知识。接着，本书介绍了网络配置的结构化数据提取、网络配置的模块化管理、Netmiko详解与实践、模型驱动的新网络管理方式及实践、网计算机13.3万字
- 会员为了帮助服务器开发人员更好地理解服务器框架的设计与开发，本书从零开始，详细阐述游戏服务器设计与开发的流程和技术点，包括网络通信、分布式架构设计、内部RPC通信、数据管理、多线程管理，并从实践的角度出发，配合详细的源码，帮助广大游戏服务器开发人员，或正在考虑从事游戏服务器开发的人员，更加系统地学习服务器架构的设计与开发。本书实用性强，既可以帮助想从事服务器开发的人员快速学习相关知识，又可以帮助服务器计算机13.8万字
- 会员本书系统地讲述了HTML5、CSS3、JavaScript、Bootstrap等开发技术，满足Web前端开发基础学习的需求。本书包括了HTML5与CSS3的典型案例、使用Bootstrap框架开发、响应式布局等内容，适应Web前端开发从PC端转向移动端的变化。计算机14.3万字
同类书籍最近更新
- 会员《零基础学Struts》由浅入深、循序渐进地介绍了Struts2框架的知识点。重点介绍了Struts2的类型转换、输入校验、拦截器、国际化、标签库以及Struts2的Ajax支持。后通过两个实际案例来演示如何将Struts运用到实际项目开发中。Struts2框架继承了Struts和WebWork两个框架的易用性，其功能相比Struts和WebWork要更加强大。Struts2从诞生至今，以其功能的程序设计13.8万字