会员
同构：编程中的数学
更新时间：2023-11-09 19:27:54 最新章节：封底
书籍简介
本书从七个方面介绍了计算机程序的数学基础和原理，并以“同构”概念为线索揭示出编程本质上是和数学同构的。这七个方面分别是：数字、递归、对称、范畴、融合、无穷、悖论。第1章“数字”介绍皮亚诺算术公理系统。通过5条公理，构筑了计算机程序大厦的基石。通过单向链表，斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归。通过欧几里得算法作为开端，把递归的数学原理构建在Lambda演算和Y组合子之上。第3章通过对称介绍群、环、域等抽象代数结构，并解释伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论。把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律。它是进行算法推导和优化的有力工具。第6章介绍无穷。给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书。介绍了计算能力的边界和对编程基础哲学的影响。
品牌：机械工业出版社
上架时间：2022-11-01 00:00:00
出版社：机械工业出版社
本书数字版权由机械工业出版社提供，并由其授权上海阅文信息技术有限公司制作发行
最新章节
刘新宇编著
- 会员条文主旨：提炼个人信息保护法的核心要义。重点解读：对法条沿革、专业术语、内容重点等进行逐条解读。实务要点：对法条进行易混概念辨析、实践疑难解答、法律实务运用等剖析。案例解析：提炼案情介绍，并根据个人信息保护法最新条文内容作出务实法律解析。关联法条：列明与本条最为关切的法律法规及条款，方便关联学习。司法案例12.1万字
最新上架
- 会员本书是一本难度适当、易学易懂的小学生Python启蒙教材，用贴近孩子的语言，通过多个简单、有趣的编程案例，激发孩子学习和探索科技的兴趣。本书以程序为中心，适当弱化语法。本书共11章，涵盖Python输入输出、数据类型、选择循环基本结构、函数、面向对象编程、海龟绘图、二进制和GUI编程等，内容丰富全面，每章末尾配有单词表和思考题，帮助读者巩固所学知识和技能。本书适合任何想要通过Python学习编程的计算机4.2万字
- 会员本书展示了如何利用事件驱动和响应式原理来构建健壮的分布式系统，减少延迟并提高吞吐量——特别是在微服务和无服务器应用程序中。本书分为四部分：第一部分介绍响应式的背景、环境和内容；第二部分深入讲解响应式，涵盖分布式系统的弊端、响应式系统和响应式编程；第三部分阐述如何使用Quarkus构建响应式应用程序，涵盖响应式引擎、响应式编程库SmallRyeMutiny、HTTP以及响应式数据访问的相关知识；第计算机11.1万字
- 会员全书共14章。第1章主要讲解MySQL数据库以及客户端工具的安装；第2～4章主要介绍数据库与表的创建、数据类型与表达式，以及函数、运算符与变量；第5章主要讲解select查询语句、子查询以及连接查询；第6章主要讲解索引和索引类型；第7、8章主要介绍MySQL事务的ACID特性、事务的四种隔离级别、如何使用事务、存储过程和视图概述，以及如何使用存储过程和视图；第9章介绍MySQL用户权限管理以及数据计算机8万字
- 会员全书分为3篇。第1篇介绍编译器基础知识，包括中间表示，重点介绍SSA、数据流分析、支配、循环等知识，此外还介绍了LLVM的后端描述语言TableGen。第二篇剖析分LLVM代码生成，其中对代码生成的每一步骤都有提及，着重介绍指令选择、指令调度、寄存器分配和编译优化。同时还以BPF后端为例总结了如何基于LLVM开发一款新后端的编译器。第三篇附录主要总结了LLVM代码生成过程中使用的IR、BPF指令集计算机22.5万字
- 会员本书将从零开始教读者如何通过Python实现办公自动化。全书共10章，分为3部分：第一部分（第1~5章）包括从零基础入门Python的基础知识（数据类型、函数、类与对象、捕获异常、文件操作、管理模块等）；第二部分（第6~9章）以操作办公文档为主，介绍如何使用Python代码处理Word、Excel、PPT、PDF文档，实现文档办公自动化；第三部分（第10章）为进阶部分，内容涉及桌面自动化、发送邮件计算机15.4万字
- 会员Arduino是一款便捷灵活、方便上手的开源电子原型平台。本书系统地讲解了Arduino系统的构成、ArduinoIDE的安装及使用，以及常用的两种Arduino控制器的使用，并通过机器人比赛案例，对具体项目进行了剖析，从任务要求到器材选择，再到整机组装、程序编写、程序调试，为读者对具体项目的操作应用起到一个抛砖引玉的作用。本书主要适合中小学生和对机器人感兴趣的初学者使用。计算机2.2万字
- 会员本书是网页特效设计任务驱动式教材。本书将网页特效分为9类，分别是基本网页特效、日期时间类网页特效、文字类网页特效、图片类网页特效、表单控件类网页特效、导航菜单类网页特效、选项卡类网页特效、内容展开与折叠类网页特效和页面类网页特效，同时相应地将全书分为9个教学单元，每个教学单元分析和设计一种类型的网页特效，将JavaScript和jQuery的相关知识合理地安排到各个教学单元中。计算机7.4万字
- 会员《FFmpeg开发实战：从零基础到短视频上线》是一本FFmpeg开发的实战教程，由浅入深，由基础到高级，带领读者一步一步走进音视频开发的神奇世界。全书共分为12章。其中，第1～5章是基础部分，主要讲解FFmpeg的环境搭建、FFmpeg的开发基础、FFmpeg的编解码、FFmpeg处理图像和FFmpeg处理音频；第6～10章是进阶部分，主要讲解FFmpeg加工视频、FFmpeg添加图文、FFmpe计算机20.1万字
- 会员本书以实战项目为主线，系统介绍了Python在自动化办公、图像处理、控制各种传感器、搭建网络等工作中的实际应用案例，能够让初学者快速入门Python系列知识。全书共分为18章，第一篇为Python基础（第1章~第3章），详细介绍了Python的基础知识；第二篇为自动化办公（第4章~第6章），介绍了Word、Excel、PPT、txt、csv、JSON、图像、声频、视频等各种文件的自动化操作；第三篇计算机12.8万字
同类书籍最近更新
- 会员本书内容分为6篇，共计27章，涵盖了Java程序设计语言基础、Java面向对象基础、Java图形化界面编程技术、Java网络应用程序开发技术、Java数据库应用程序开发技术等方面的内容。为了便于读者学习和实际应用，本书最后一篇通过对几个完整项目案例的分析，详细讲解了使用Java语言开发游戏程序、网络程序和数据库应用程序的完整过程，有利于初学者锻炼使用Java语言解决实际问题的能力。程序设计32.2万字
- 会员本书以初学者为对象，通过学习笔记的方式，系统地介绍了使用PHP语言进行程序开发的各种技术。全书共15章，包括的知识点有PHP集成开发环境、变量、常量、操作符与表达式、流程控制语句、数组、类、系统函数、正则表达式、表单、Cookie与Session、MySQL数据库的操作、异常处理、文件操作、图形图像、AJAX技术、ThinkPHP框架、商城的开发。全书内容丰富翔实，囊括了初学者必备的知识点，语言描程序设计9.4万字
- 会员ThebookwillfollowaAstandardtutorialapproach,andwillbeasacompleteguidedetailingthemajoraspectsofPhantomJSwithparticularfocusonWebsitewebsiteTestingtesting.Thisbookiswritten程序设计2.5万字
- 会员Thisbookisintendedforsoftwarequalityassurance/testingprofessionals,softwareprojectmanagers,orsoftwaredeveloperswithpriorexperienceinusingSeleniumandJavatotestweb-basedapplica程序设计6.4万字
- 会员本书介绍了如何使用Python实现企业级的大数据全栈式开发、设计和编程工作，涉及的知识点包括数据架构整体设计、数据源和数据采集、数据同步、消息队列、关系数据库、NoSQL数据库、批处理、流处理、图计算、人工智能、数据产品开发。本书既深入浅出地介绍了不同技术组件的基本原理，又通过详细对比介绍了如何根据不同场景选择最佳实践技术方案，并通过代码实操帮助读者快速掌握常用技术的应用过程，最后通过项目案例介绍程序设计23.2万字
- 会员随着人工智能时代的到来，Python已经成为主流开发语言。本书就是针对完全零基础入门的读者，采用最小化安装+极简代码的教学方式，让读者学练结合，达到入门Python与网络爬虫编程的目的。本书分为16章，从Python版本的演化、环境的搭建开始，逐步介绍Python3.7语言的语法基础，包括内置类型、流程控制、函数、类和对象、异常处理、模块和包、迭代器、装饰器、多线程、文件和目录、正则表达式、网络程序设计10.1万字