本书从数字、递归、对称、范畴、融合、无穷、悖论七个方面介绍了计算机程序的数学基础和原理，并以 同构 概念为线索揭示出编程本质上是和数学同构的。第1章介绍皮亚诺算术公理系统,通过5条公理，构筑了计算机程序大厦的基石;通过单向链表、斐波那契数列等例子，展示了和自然数同构的计算结构。第2章介绍递归，通过欧几里得算法作为开端，终把递归的数学原理构建在Lambda演算和Y组合子之上。第3章介绍对称群、环、域等抽象代数结构，解释了伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论，把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律，它是进行算法推导和优化的有力工具。第6章介绍无穷，给出了康托尔的无穷集合论和超限数概念，介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、

本书是一本非数学专业主要是文科及艺术类专业的数学教材，讲述方式活泼，案例贴近生活，读者可以在轻松学习中体会数学乐趣和意义。全书分为三大部分：归纳和演绎、逻辑和数；代数和几何；概率统

本书作为 CDA 一级认证教材，打破传统的学院派知识整合模式，从 EDIT（探索、诊断、指导和工具）数字化模型的角度进行叙述，在传授知识理念的同时，还讲解了进行商业数据分析时应遵循的整体思维和思考方式，以达到将企业分析模型与数据分析方法相结合、使用科学的方式进行数据分析的教学目标。 本教材整体分为三篇，分别是原理篇、技术篇和管理篇。第一篇共 5 章，首先讲解数据分析思维，进而介绍数据分析方法和商业数据分析框架，之后阐述战略数据分析和业务数据分析。第二篇共5 章，包括描述性统计分析、指标体系构建方法、SQL 语言基础与 MySQL 入门、用户标签体系与用户画像专题、简单时间序列分析方法。第三篇共 3 章，包括数据治理、数据模型与数据建模、指标体系管理。

本书是信息论领域中一本简明易懂的教材。主要内容包括：熵、信源、信道容量、率失真、数据压缩与编码理论和复杂度理论等方面的介绍，还对网络信息论和假设检验等进行了介绍，并且以赛马模型为出发点，将对证券市场的研究纳入了信息论的框架，从新的视角给投资组合的研究带来了全新的投资理念和研究技巧。

随着信息化建设的深入推进,信息化项目的建设与管理也已成为党政机关、企业和事业单位的一 项重要工作。尤其是随着云计算、大数据、物联网、人工智能、区块链等现代信息技术的快速发展,以及与传统产业的深入融合,各类智慧应用系统建设需求更趋迫切,信息化建设项目越来越多。与此同时,信息化建设项目的技术越来越复杂,规模、难度、投资也越来越大,特别是对项目建设与管理的要求越来越规范、越来越严格。 本书针对信息化项目建设与管理的实际需求,按照项目的全生命周期,系统地介绍了信息化项目的可行性研究、顶层设计、立项咨询、政府采购与招投标、项目管理、项目监理、质量检验检测、项目验收、运行维护、绩效评价和迭代更新等内容。根据国家相关政策、法律法规以及标准规范,本书对每一个重要节点的工作流程、要求、方法以及注意事项均作

内容简介这是一部讲解企业如何利用指标推动数字化转型和实现数字化经营的著作，详细讲解了指标体系的设计方法、指标平台的产品设计和技术架构、指标在各行业落地应用的方法。本书由行业领先的数据智能产品提供商数势科技官方出品，融合了其创始人在百度、平安、京东等头部企业的技术研发经验和其团队服务近百家企业的实战经验，得到了来自清华大学、信通院、腾讯、京东、百度等10余位专家的鼎力推荐。具体地，本书主要讲解了以下五个方面的内容：（1）从指标驱动的数字化经营新模式开始，介绍指标管理对企业经营的重要意义。（2）指标体系的设计方法论，带着设计思维模拟指标拆解、设计、落地的全过程。（3）指标管理平台的产品设计与技术架构，介绍了作者团队在多年实践中总结出的 一处定义、全局使用 的指标平台建设方法。（4）深入零

本书讲述了利用硬件描述语言(VerilogHDL)设计复杂数字系统的方法。这种方法源自20世纪90年代的美国,在美国取得成效后迅速在其他先进工业国得到推广和普及。利用硬件描述语言建模、通过仿真和综合技术设计出极其复杂的数字系统是这种技术的*优势。 本书从算法和计算的基本概念出发,讲述如何用硬线逻辑电路实现复杂数字逻辑系统的方法。全书共五部分。*部分Verilog数字设计基础与第二部分Verilog数字系统设计和验证共18章;第三部分共12个上机练习实验范例;第四部分是Verilog硬件描述语言参考手册,可供读者学习、查询之用;第五部分为SystemVerilog与UVM 验证篇。本书第3版后,在语法篇中增加了IEEEVerilogl364 2005标准简介,以反映Verilog语法的*变化。 本书的讲授方式以每2学时讲授一章为宜,每次课后需要花10h来复习思考。完成10章学习后,就可以开始做上机练习,从简单

本书延续前几版的目标，涵盖抽象代数导论课程需要了解的所有主题。新合著者尼尔·布兰德仔细而又认真地修订了这本经典教材，根据其使用本教材的多年授课经验，对其内容进行了有意义的和有价值的更新。本书为学生提供了坚实的基础，并且通过对每种方法详细解释这种方法是做什么的，如何做，以及为什么作者会选择这种方法，可以帮助读者更入地了解代数。本版还包括一些抽象代数的应用，如RSA加密和编码理论，以及应用Gr?bner基础的例子。

本书主要是记录振南近十年的研发、创业、技术管理等方面的经历。内容包含创业沉浮、喜怒忧思、精彩技术、趟坑经历、感悟忠告、研发经验等，有单片机基础、有进阶技巧、有创业项目实战等。一共包含21章，每一章一个专题，独立成章，但是章与章之间又相互关联。 本书的读者对象为单片机与嵌入式系统领域的开发工作者以及有志于学习、钻研单片机与嵌入式系统技术的所有人员。

本书系统介绍了基于状态空间模型的状态反馈及卡尔曼滤波方法，共8章，由三部分组成，第一部分（第1、2章），连续时间状态反馈控制；第二部分（第3～6章），离散时间状态反馈控制；第三部分（第7、8章），卡尔曼滤波。本书介绍了连续系统及离散系统的状态空间模型建模、状态反馈控制器、观测器、干扰抑制及参考信号跟踪的设计方法，并结合工程应用中控制系统案例以及MATLAB/Simulink教程，来讲解基于状态空间模型的状态反馈方法，包括汽包锅炉控制、糖厂控制、风力涡轮机传动系统控制、机械臂控制、加热炉控制等。同时，本书介绍了卡尔曼滤波器的原理及设计方法，并解决了卡尔曼滤波应用过程中的实时计算及计算精度问题。

本书主要介绍与计算机系统相关的核心概念，解释这些概念如何相互关联并终影响程序执行的结果和性能。本书共分8章，主要内容包括数据的表示和运算、程序的转换及机器级表示、程序的链接、程序的执行、存储器层次结构、虚拟存储器、异常控制流和I/O操作的实现等。本书将计算机系统每个抽象层涉及的重要概念通过程序的开发和运行串联起来，内容详尽，反映现实，概念清楚，通俗易懂，实例丰富，并提供大量典型习题以供读者练习。本书可以作为计算机专业本科或大专院校学生计算机系统方面的基础性教材，也可以作为有关专业研究生或计算机技术人员的参考书。

9787115516282 编程珠玑 第2版 59.00 9787115516299 编程珠玑 续 49.00 《编程珠玑 第2版》 本书是计算机科学方面的经典名著。书的内容围绕程序设计人员面对的一系列实际问题展开。作者Jon Bentley 以其独有的洞察力和创造力，引导读者理解这些问题并学会解决方法，而这些正是程序员实际编程生涯中至关重要的。本书的特色是通过一些精心设计的有趣而又颇具指导意义的程序，对实用程序设计技巧及基本设计原则进行了透彻而睿智的描述，为复杂的编程问题提供了清晰而完备的解决思路。本书对各个层次的程序员都具有很高的阅读价值。 《编程珠玑 续》 本书是计算机科学方面的经典名著《编程珠玑》的姊妹篇，讲述了对于程序员有共性的知识。本书延续了《编程珠玑》的特色,通过一些精心设计的有趣而又颇具指导意义的程序，对实用程序设计技巧及基本设计原则进行透

本书是权威的计算机体系结构著作，是久负盛名的经典作品。书中系统地介绍了计算机系统的设计基础、指令集系统结构、流水线和指令集并行技术、层次化存储系统与存储设备、互连网络以及多处理器系统等重要内容。这一版新增一章，专门介绍领域专用体系结构。本书对近些年火热的云计算、手机客户端技术、人工智能等相关内容也有涉猎。 本书既可作为高等院校计算机专业本科生或研究生教材，也可作为从事计算机体系结构或计算机系统设计的工程技术人员的参考书。

本书内容详实，结构严谨，侧重于介绍优化理论在实际生活中的应用，是学习优化理论不可多得的入门教材。读者将从本书中学到如何识别、简化、建模以及求解相关优化问题，并将其中暗含的基本原理应用到自己正在进展的项目中。本书对线性代数做了清晰而完整的介绍。通过引入相关的实际案例，以易于理解且形象的方式给读者展示核心的数学概念，并帮助其领会问题的实际意义。阅读本书不需要太多的预备知识，读者只需要对几何学、微积分学和概率统计学有一个基本的了解。本书可用于本科生或研究生优化理论学习的教材。

本书全程图解式讲解，通过大量全彩插图拆解概念，让读者真正告别学习大模型的枯燥和复杂。 全书分为三部分，依次介绍语言模型的原理、应用及优化。第一部分 理解语言模型（第1~3章），解析语言模型的核心概念，包括词元、嵌入向量及Transformer架构，帮助读者建立基础认知。第二部分 使用预训练语言模型（第4~9章），介绍如何使用大模型进行文本分类、聚类、语义搜索、文本生成及多模态扩展，提升模型的应用能力。第三部分 训练和微调语言模型（第10~12章），探讨大模型的训练与微调方法，包括嵌入模型的构建、分类任务的优化及生成式模型的微调，以适应特定需求。 本书适合对大模型感兴趣的开发者、研究人员和行业从业者。读者无须深度学习基础，只要会用Python，就可以通过本书深入理解大模型的原理并上手大模型应用开发。书中示例还可以一键在

AI的本质是什么？自然语言和人工语言的区别在哪里？ChatGPT究竟是人工智能发展道路上的里程碑，还是某种误入歧途的 假AI ？我们绝不许诺美丽空洞的AI前景，而是告诉读者，未来的AI之路到底有多少激流险滩 对于统计学工具与硬件升级的片面崇拜，对于智能科学基本原理的蔑视，是目前AI研究的大危机。在我们看来，今天万众期待的ChatGPT，只是新时代的 牛顿炼金术 。

本书基于Actran 2020系统地介绍Actran的各种基本功能和声学模拟分析中常用的分析方法。全书分为 9 章，主要内容有声学基本理论、Actran软件模块功能与基本理论、辐射噪声的直接频响分析、模态分析及管道声模态在管道声传播中的应用、振动声学仿真的直接频响法、振动声学仿真的模态频响法、声波的耗散吸收分析、虚拟统计能量分析法、气动声学分析法等知识。 本书适合作为各类院校相关专业学生的辅导教材，也适合作为声学工程分析相关科研院所研究人员的科研参考资料。

通过一些耳熟能详的故事（例如格林童话，福尔摩斯，哈利波特，回到未来，绿野仙踪，等）来解释计算的本质，讲述一种系统化的问题求解思路。

本书秉持 学为中心 理念，用一个梦游故事串联了 复变函数与积分变换 课程的主要知识点，包括复数和复变函数、导数、积分、级数、留数、保形映射、傅里叶变换和拉普拉斯变换等内容。本书模糊了时空概念，强调知识体系所蕴含的科学思想方法、内在逻辑性以及表达的趣味性，本书采用章回体小说的形式，用近乎荒诞的故事和诙谐幽默的语言，解释了复变函数课程的概念、理论和方法，易懂、生动。 本书可作为高等院校有关专业 复变函数与积分变换 课程的参考书，也可供相关技术人员阅读参考。

本书以计算机网络体系结构与协议为基础，紧密结合网络新技术，系统地介绍了计算机网络的基本概念、数据通信基础知识、计算机网络体系结构、局域网技术、网络互联技术、广域网技术、WLAN 技 术、网络安全基础知识、SDN 与 NFV 等内容，并设置了一个案例实践 校园网组网。 本书在编写时突出内容的针对性、应用性和技术性，在章节设置上环环相扣，逐步增加知识难度。此外，本书配有微课视频，可以帮助读者随时巩固所学内容。 本书可作为高等学校电子信息类专业的教材，也可作为计算机网络的自学教材。

本书致力于介绍图神经网络的基本概念和算法、研究前沿以及广泛和新兴的应用，涵盖图神经网络的广泛主题，从基础到前沿，从方法到应用，涉及从方法论到应用场景方方面面的内容。全书分为四部分：部分介绍图神经网络的基本概念；第二部分讨论图神经网络成熟的方法；第三部分介绍图神经网络典型的前沿领域；第四部分描述可能对图神经网络未来研究比较重要和有前途的方法与应用的进展情况。 本书适合高年级本科生和研究生、博士后研究人员、讲师以及行业从业者阅读与参考。

数据是数字经济的关键要素已经形成共识，数据资源入表成为数据资产正在探索推进中。数据资产不同于通常意义上的有形实物资产和无形知识产权资产，它是一类新的资产类别。有用的数据积累到一定的规模具备开发价值后就形成数据资源，数据资源在满足了数据权属明确、成本或价值能够被可靠地计量、数据可机读等基本条件后就可以成为数据资产。本书分析讨论了数据的资产性，基于数据的属性对数据资产进行了明确的定义，将信息资产、数字资产和数据资产统一为数据资产。在此基础上，本书系统地介绍了数据资产化、盒装数据、数据资产评估、数据资产入表、数据资产管理、数据资产定价、数据资产运营和数据市场等内容。本书在第1版的基础上依据近年数据资产研究和实践的发展进行了修订，此次修订增加了盒装数据、数据资产入表等新的内容，其他

本书为读者提供了一次深入探索人工智能和自动化编程的奇妙之旅。全书从AI（Artificial Intelligence，人工智能）的基本概念和背景入手，逐渐深入到如何使用具有代表性的AIGC工具 ChatGPT、GitHub Copilot和Claude2等进行自动化编程。此外，本书还详细介绍了其他多种AI代码生成解决方案。针对桌面应用、Web应用、游戏、办公自动化等场景，本书还提供了丰富的实例。 本书适合对AI和自动化编程感兴趣的初学者阅读，也适合有一定基础并且想要提高开发技能的程序员阅读。同时，本书也可以作为高校或培训机构的参考书。