会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
刘新宇编著
最新上架
- 会员本书是Python数据分析与挖掘领域的公认的事实标准，前两版销售超过15万册，被国内100余所院校采用为教材，同时也被广大数据科学工作者奉为经典。本书以真实项目案例为驱动，以真实的行业应用为依托，帮助读者快速掌握数据分析与挖掘的相关技术、流程与方法。本书精选了7个经典实战案例，涵盖了房地产、零售、互联网等多个领域，将Python编程知识、数据分析与挖掘知识和行业知识融合，让读者在实践中快速地掌握针计算机14万字
- 会员全书共14章。第1章主要讲解MySQL数据库以及客户端工具的安装；第2～4章主要介绍数据库与表的创建、数据类型与表达式，以及函数、运算符与变量；第5章主要讲解select查询语句、子查询以及连接查询；第6章主要讲解索引和索引类型；第7、8章主要介绍MySQL事务的ACID特性、事务的四种隔离级别、如何使用事务、存储过程和视图概述，以及如何使用存储过程和视图；第9章介绍MySQL用户权限管理以及数据计算机8万字
- 会员本书全面、系统地介绍H5页面的相关知识点和基本制作方法。全书共10章，包括初识H5、H5页面的设计与制作、互动游戏H5页面的制作、活动抽奖H5页面的制作、测试问答H5页面的制作、滑动翻页H5页面的制作、长页滑动H5页面的制作、画中画H5页面的制作、3D/全景H5页面的制作及视频动画H5页面的制作等内容。第3~10章还设置课堂练习与课后习题，用以提高学生的实际应用能力。计算机5.8万字
- 会员本书为适应新工科复合型人才对计算思维和问题求解能力的要求而编写。全书共12章，主要内容包括：计算思维与问题求解，数据类型、运算符和表达式，简单的C程序设计，选择结构程序设计，循环结构程序设计，函数，数组，常用算法，指针，结构体，文件系统和人工智能经典算法。本教材兼顾计算思维与程序设计基础知识，注重问题抽象，通过问题案例分析，逐步给出问题求解算法与程序实现，引导读者的算法思维和程序设计思维。通过“常计算机13.2万字
- 会员本书从初学者的角度出发，由浅入深地讲解了Java语言的相关内容。全书共11章，主要介绍了Java开发环境的搭建及其运行机制、基本语法、面向对象编程思想、多线程、常用API、集合、I/O、网络编程等内容，采用通俗易懂的语言阐述抽象的概念，选用生活中密切相关的例子演示知识的运用，通过剖析案例、分析代码含义、解决常见问题等方式进行讲解。书中还添加了许多阶段性任务来模拟程序开发过程，帮助初学者培养良好的编计算机10.6万字
- 会员《交互设计师成长手册》分为4章：初识交互设计、设计方法论、设计分析与洞察、设计执行与表现，全方位地展示了交互设计师的工作方式、工作技能和工作成果，帮助读者真正认识并理解交互设计，建立正确的交互设计思维，熟练使用交互设计工具、方法和流程，产出合理且优秀的交互设计方案，逐步成长为一名专业的交互设计师。计算机9.5万字
- 会员本书以MySQL为平台，从数据库管理和开发的角度出发，介绍开发数据库应用系统所需的基础知识和技术。本书将一个贯穿全书的数据库应用系统开发实例“学生信息管理系统”融入各项目，将每个项目分解成若干任务，使读者逐步学会创建、管理、开发数据库，并掌握使用SQL进行程序设计的编程思想和技术。本书内容由浅入深，由实践到理论，再从理论到实践，通过任务驱动的方式将理论与实践密切结合，体现了高职高专和应用型本科教育计算机12.6万字
- 会员本书是国内首先使用Pythontkinter设计GUI的中文书籍之一。本书主要讲解如何在窗口内使用Python的内部模块tkinter设计图形用户接口（GUI）程序，让用户可以利用图形接口与计算机沟通。tkinter模块是一个跨平台的窗口应用程序，使用它设计的程序可以在Windows、macOS、Linux系统上执行。2019年《PythonGUI设计tkinter菜鸟编程》一经出版便受到广大读者计算机6.4万字