会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
刘新宇编著
- 会员条文主旨：提炼个人信息保护法的核心要义。重点解读：对法条沿革、专业术语、内容重点等进行逐条解读。实务要点：对法条进行易混概念辨析、实践疑难解答、法律实务运用等剖析。案例解析：提炼案情介绍，并根据个人信息保护法最新条文内容作出务实法律解析。关联法条：列明与本条最为关切的法律法规及条款，方便关联学习。司法案例12.1万字
同类热门书
最新上架
- 会员《R语言数据分析从入门到精通》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细介绍了R语言基础知识、核心技术与高级应用。全书分为3篇，共16章，包括初识R语言、集成开发环境RStudio、R语言入门、数据结构、流程控制语句、日期和时间序列、获取数据、数据处理与清洗、数据计算与分组统计、基本绘图、ggplot2高级绘图、lattice高级绘图、基本统计分析、方差分析、回归分析和时间序列分析计算机12.2万字
- 会员本书为软件测试初学者量身打造，从零开始，覆盖软件公司招聘的基本要求。全书分为16章，涵盖了软件测试的核心概念、功能测试方法、Linux基础知识、MySQL数据库管理、Web自动化测试框架、HTTP接口测试、Charles抓包工具的使用、Python接口自动化测试、AI赋能软件测试，以及如何制作求职简历等内容。此外，本书还提供精选面试题及参考答案，助力读者通过面试。全书知识体系循序渐进，紧跟读者需求计算机19.1万字
- 会员本书将从零开始教读者如何通过Python实现办公自动化。全书共10章，分为3部分：第一部分（第1~5章）包括从零基础入门Python的基础知识（数据类型、函数、类与对象、捕获异常、文件操作、管理模块等）；第二部分（第6~9章）以操作办公文档为主，介绍如何使用Python代码处理Word、Excel、PPT、PDF文档，实现文档办公自动化；第三部分（第10章）为进阶部分，内容涉及桌面自动化、发送邮件计算机15.4万字
- 会员本书全面、系统地介绍H5页面的相关知识点和基本制作方法。全书共10章，包括初识H5、H5页面的设计与制作、互动游戏H5页面的制作、活动抽奖H5页面的制作、测试问答H5页面的制作、滑动翻页H5页面的制作、长页滑动H5页面的制作、画中画H5页面的制作、3D/全景H5页面的制作及视频动画H5页面的制作等内容。第3~10章还设置课堂练习与课后习题，用以提高学生的实际应用能力。计算机5.8万字
- 会员本书是编程大师“Bob大叔”40余年编程生涯的心得体会的总结，讲解要成为真正专业的程序员需要具备什么样的态度，需要遵循什么样的原则，需要采取什么样的行动。作者以自己以及身边的同事走过的弯路、犯过的错误为例，意在为后来者引路，助其职业生涯迈上更高台阶。计算机12.2万字
- 会员本书是国内首先使用Pythontkinter设计GUI的中文书籍之一。本书主要讲解如何在窗口内使用Python的内部模块tkinter设计图形用户接口（GUI）程序，让用户可以利用图形接口与计算机沟通。tkinter模块是一个跨平台的窗口应用程序，使用它设计的程序可以在Windows、macOS、Linux系统上执行。2019年《PythonGUI设计tkinter菜鸟编程》一经出版便受到广大读者计算机6.4万字
- 会员《Python从入门到精通（第3版）》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详细介绍了使用Python进行程序开发应该掌握的各方面技术。全书共分27章，包括初识Python、Python语言基础、运算符与表达式、流程控制语句、列表和元组、字典和集合、字符串、Python中使用正则表达式、函数、面向对象程序设计、模块、文件及目录操作、操作数据库、使用进程和线程、网络编程、异常处理及程计算机25.7万字
- 会员《Python数据分析快速上手》通过通俗易懂的语言、丰富多彩的实例，详细介绍了使用Python进行数据分析应该掌握的各方面技术。本书内容包括Python基础，用NumPy进行数据计算，用Pandas进行数据分析，用SciPy进行数据分析，用Scikit-learn进行数据分析、数据预处理、数据可视化，用Matplotlib进行可视化等内容。本书示例丰富，所有涉及的程序代码都给出了详细的注释，读者可计算机11.5万字
同类书籍最近更新
- 会员本书是Python数据分析与挖掘领域的公认的事实标准，前两版销售超过15万册，被国内100余所院校采用为教材，同时也被广大数据科学工作者奉为经典。本书以真实项目案例为驱动，以真实的行业应用为依托，帮助读者快速掌握数据分析与挖掘的相关技术、流程与方法。本书精选了7个经典实战案例，涵盖了房地产、零售、互联网等多个领域，将Python编程知识、数据分析与挖掘知识和行业知识融合，让读者在实践中快速地掌握针程序设计14万字