会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
刘新宇编著
- 会员条文主旨：提炼个人信息保护法的核心要义。重点解读：对法条沿革、专业术语、内容重点等进行逐条解读。实务要点：对法条进行易混概念辨析、实践疑难解答、法律实务运用等剖析。案例解析：提炼案情介绍，并根据个人信息保护法最新条文内容作出务实法律解析。关联法条：列明与本条最为关切的法律法规及条款，方便关联学习。司法案例12.1万字
最新上架
- 会员《HTML5从入门到精通（第4版）》从初学者角度出发，通过通俗易懂的语言、丰富多彩的实例，详尽地讲解了与HTML5开发相关的知识。全书分为3篇，共22章，包括HTML简介、HTML5基础、设计网页文本内容、使用列表、超链接、使用图像、表格的应用、布局标签、全局属性、编辑表单、嵌入多媒体元素、文件操作、拖放操作、绘制图形、SVG的使用、数据存储、使用WebWorkers处理线程、HTML5消息通信计算机17.3万字
- 会员本书从初学者的角度出发，由浅入深地讲解了Java语言的相关内容。全书共11章，主要介绍了Java开发环境的搭建及其运行机制、基本语法、面向对象编程思想、多线程、常用API、集合、I/O、网络编程等内容，采用通俗易懂的语言阐述抽象的概念，选用生活中密切相关的例子演示知识的运用，通过剖析案例、分析代码含义、解决常见问题等方式进行讲解。书中还添加了许多阶段性任务来模拟程序开发过程，帮助初学者培养良好的编计算机10.6万字
- 会员OpenCV作为一个应用广泛的开源计算机视觉库，正在受到越来越多的关注。目前OpenCV的各类教程基本上以Python和C++为主，基于Java的OpenCV书籍则少之又少，本书旨在弥补这一空白。本书共13章，前4章是基础部分，包括OpenCV概述和安装配置、数字图像基础及图像基础操作等内容；第5到11章则包括了图像的几何变换、图像平滑、形态学操作、直方图、边缘检测与轮廓、霍夫变换、特征点检测和匹计算机6.9万字
- 会员《FFmpeg开发实战：从零基础到短视频上线》是一本FFmpeg开发的实战教程，由浅入深，由基础到高级，带领读者一步一步走进音视频开发的神奇世界。全书共分为12章。其中，第1～5章是基础部分，主要讲解FFmpeg的环境搭建、FFmpeg的开发基础、FFmpeg的编解码、FFmpeg处理图像和FFmpeg处理音频；第6～10章是进阶部分，主要讲解FFmpeg加工视频、FFmpeg添加图文、FFmpe计算机20.1万字
- 会员本书以MySQL为平台，从数据库管理和开发的角度出发，介绍开发数据库应用系统所需的基础知识和技术。本书将一个贯穿全书的数据库应用系统开发实例“学生信息管理系统”融入各项目，将每个项目分解成若干任务，使读者逐步学会创建、管理、开发数据库，并掌握使用SQL进行程序设计的编程思想和技术。本书内容由浅入深，由实践到理论，再从理论到实践，通过任务驱动的方式将理论与实践密切结合，体现了高职高专和应用型本科教育计算机12.6万字
- 会员本书详细讲解JavaEE中Spring、SpringMVC和MyBatis三大框架（以下简称SSM）的基本知识和应用。本书在对知识点进行描述时采用了大量案例，以便读者理解SSM的核心技术。本书共15章，第1~5章主要讲解MyBatis的相关知识，包括初识MyBatis框架、MyBatis的核心配置、动态SQL、MyBatis的关联映射和缓存机制，以及MyBatis的注解开发；第6～9章主要讲解计算机15.8万字
- 会员本书为适应新工科复合型人才对计算思维和问题求解能力的要求而编写。全书共12章，主要内容包括：计算思维与问题求解，数据类型、运算符和表达式，简单的C程序设计，选择结构程序设计，循环结构程序设计，函数，数组，常用算法，指针，结构体，文件系统和人工智能经典算法。本教材兼顾计算思维与程序设计基础知识，注重问题抽象，通过问题案例分析，逐步给出问题求解算法与程序实现，引导读者的算法思维和程序设计思维。通过“常计算机13.2万字
- 会员本书以Python的实际应用为主线，以理论基础为核心，引导读者渐进式学习Python的在生活和工作中的实际应用。本书共13章，可分为4部分。第一部分Python的办公自动化篇（第1~5章）、第二部分网络应用篇（第6~10章）、第三部分GUI编程篇（第11~12章）、第四部分其他应用篇（第13章）。本书示例代码丰富，实用性和系统性较强，并配有视频讲解，助力读者透彻理解书中的重点、难点。精心设计的案例计算机11.6万字