本书结合大量应用和实例详细介绍线性代数的基本概念、基本定理与知识点,主要内容包括:矩阵与方程组、行列式、向量空间、线性变换、正交性、特征值、数值线性代数和标准型等.为帮助读者巩固所学的基本概念和基本定理,书中每一节后都配有练习题,并在每一章后提供了MATLAB练习题和测试题. 本书叙述简洁,通俗易懂,理论与应用相结合,适合作为高等院校本科生 线性代数 课程的教材,同时也可作为工程技术人员的参考书. 2步获取导学视频: ①微信视频号关注 IT阅读排行榜 ②点击 直播回放 栏,上滑寻找
本书是一本非数学专业主要是文科及艺术类专业的数学教材,讲述方式活泼,案例贴近生活,读者可以在轻松学习中体会数学乐趣和意义。全书分为三大部分:归纳和演绎、逻辑和数;代数和几何;概率统
本书从数字、递归、对称、范畴、融合、无穷、悖论七个方面介绍了计算机程序的数学基础和原理,并以 同构 概念为线索揭示出编程本质上是和数学同构的。第1章介绍皮亚诺算术公理系统,通过5条公理,构筑了计算机程序大厦的基石;通过单向链表、斐波那契数列等例子,展示了和自然数同构的计算结构。第2章介绍递归,通过欧几里得算法作为开端,终把递归的数学原理构建在Lambda演算和Y组合子之上。第3章介绍对称群、环、域等抽象代数结构,解释了伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论,把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律,它是进行算法推导和优化的有力工具。第6章介绍无穷,给出了康托尔的无穷集合论和超限数概念,介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、
本书是 十二五 普通高等教育本科*规划教材。本书第1版被列为 面向21世纪课程教材 ,是*高等学校计算机科学与技术教学指导委员会组织编写的 体系结构 组成原理 微机技术 系列教材之一,是2005年国家精品课程主讲教材,于2002年获普通高等学校优秀教材二等奖。 全书共分为4篇,第1篇(第1、2章)介绍计算机的基本组成、发展及应用;第2篇(第3~5章)介绍系统总线、存储器(包括主存储器?高速缓冲存储器和辅助存储器)和输入输出系统;第3篇(第6~8章)介绍CPU的特性、结构和功能,包括计算机的算术逻辑单元、指令系统、指令流水、RISC技术及中断系统;第4篇(第9、10章)介绍控制单元的功能和设计,包括时序系统以及采用组合逻辑和微程序设计控制单元的设计思想与实现措施。每章后均附有思考题与习题。 本书概念清楚,通俗易懂,书中举例力求与当代计算机
本书延续前几版的目标,涵盖抽象代数导论课程需要了解的所有主题。新合著者尼尔·布兰德仔细而又认真地修订了这本经典教材,根据其使用本教材的多年授课经验,对其内容进行了有意义的和有价值的更新。本书为学生提供了坚实的基础,并且通过对每种方法详细解释这种方法是做什么的,如何做,以及为什么作者会选择这种方法,可以帮助读者更入地了解代数。本版还包括一些抽象代数的应用,如RSA加密和编码理论,以及应用Gr?bner基础的例子。
内容简介这是一部讲解企业如何利用指标推动数字化转型和实现数字化经营的著作,详细讲解了指标体系的设计方法、指标平台的产品设计和技术架构、指标在各行业落地应用的方法。本书由行业领先的数据智能产品提供商数势科技官方出品,融合了其创始人在百度、平安、京东等头部企业的技术研发经验和其团队服务近百家企业的实战经验,得到了来自清华大学、信通院、腾讯、京东、百度等10余位专家的鼎力推荐。具体地,本书主要讲解了以下五个方面的内容:(1)从指标驱动的数字化经营新模式开始,介绍指标管理对企业经营的重要意义。(2)指标体系的设计方法论,带着设计思维模拟指标拆解、设计、落地的全过程。(3)指标管理平台的产品设计与技术架构,介绍了作者团队在多年实践中总结出的 一处定义、全局使用 的指标平台建设方法。(4)深入零
本书由2017年图灵奖得主Patterson和Hennessy共同撰写,是计算机体系结构领域的经典书籍,强调软硬件协同设计及其对性能的影响。本书采用开源的RISC-V指令系统体系结构, 讲解硬件技术、指令、算术运算、流水线、存储层次、I/O以及并行处理器等。第2版将RV64切换为RV32以降低学习难度,新增关于领域定制体系结构(DSA)的讨论以反映新的技术趋势。此外,每一章都增加了“性能提升”和“自学”章节,并更新了大量练习题。本书适合计算机体系结构领域的专业技术人员参考,也适合高等院校计算机相关专业的学生阅读。
本书讲述了利用硬件描述语言(VerilogHDL)设计复杂数字系统的方法。这种方法源自20世纪90年代的美国,在美国取得成效后迅速在其他先进工业国得到推广和普及。利用硬件描述语言建模、通过仿真和综合技术设计出极其复杂的数字系统是这种技术的*优势。 本书从算法和计算的基本概念出发,讲述如何用硬线逻辑电路实现复杂数字逻辑系统的方法。全书共五部分。*部分Verilog数字设计基础与第二部分Verilog数字系统设计和验证共18章;第三部分共12个上机练习实验范例;第四部分是Verilog硬件描述语言参考手册,可供读者学习、查询之用;第五部分为SystemVerilog与UVM 验证篇。本书第3版后,在语法篇中增加了IEEEVerilogl364 2005标准简介,以反映Verilog语法的*变化。 本书的讲授方式以每2学时讲授一章为宜,每次课后需要花10h来复习思考。完成10章学习后,就可以开始做上机练习,从简单
随着信息化建设的深入推进,信息化项目的建设与管理也已成为党政机关、企业和事业单位的一 项重要工作。尤其是随着云计算、大数据、物联网、人工智能、区块链等现代信息技术的快速发展,以及与传统产业的深入融合,各类智慧应用系统建设需求更趋迫切,信息化建设项目越来越多。与此同时,信息化建设项目的技术越来越复杂,规模、难度、投资也越来越大,特别是对项目建设与管理的要求越来越规范、越来越严格。 本书针对信息化项目建设与管理的实际需求,按照项目的全生命周期,系统地介绍了信息化项目的可行性研究、顶层设计、立项咨询、政府采购与招投标、项目管理、项目监理、质量检验检测、项目验收、运行维护、绩效评价和迭代更新等内容。根据国家相关政策、法律法规以及标准规范,本书对每一个重要节点的工作流程、要求、方法以及注意事项均作
《写好论文:思维模型与AI辅助应用》 《写好论文:思维模型与AI辅助应用》创新性地将学术写作的思维模型与AI辅助工具相结合,为读者提供了一套全新且实用的学术写作方法,旨在助力读者提高学术写作的质量和水平。 《写好论文:思维模型与AI辅助应用》共9章,每章都聚焦一个特定的思维模型。这些模型包括 顶天立地加两翼 结构模型、选择和确定研究单位的三角模型、OBTQP研究问题模型、细化研究维度的思维罗盘模型、推导文献综述 GAP 的破界创新模型、匹配研究理论的勾连信号模型、适配研究方法的画布模型、非共识研究观点模型和深入解决问题的U型思维模型。对于每个模型,书中都有详细的背景介绍、拆解步骤、应用方法和案例分析,确保读者能够全方位地理解并实际应用这些模型,从而真正掌握学术写作的思维精髓和实践要诀。 《写好论文:思维模
9787115516282 编程珠玑 第2版 59.00 9787115516299 编程珠玑 续 49.00 《编程珠玑 第2版》 本书是计算机科学方面的经典名著。书的内容围绕程序设计人员面对的一系列实际问题展开。作者Jon Bentley 以其独有的洞察力和创造力,引导读者理解这些问题并学会解决方法,而这些正是程序员实际编程生涯中至关重要的。本书的特色是通过一些精心设计的有趣而又颇具指导意义的程序,对实用程序设计技巧及基本设计原则进行了透彻而睿智的描述,为复杂的编程问题提供了清晰而完备的解决思路。本书对各个层次的程序员都具有很高的阅读价值。 《编程珠玑 续》 本书是计算机科学方面的经典名著《编程珠玑》的姊妹篇,讲述了对于程序员有共性的知识。本书延续了《编程珠玑》的特色,通过一些精心设计的有趣而又颇具指导意义的程序,对实用程序设计技巧及基本设计原则进行透
本书由计算理论领域的知名权威MichaelSipser所撰写。他以独特的视角,系统地介绍了计算理论的三个主要内容:自动机与语言、可计算性理论和计算复杂性理论。作者以清新的笔触、生动的语言给出了宽泛的数学原理,而没有拘泥于某些低层次的细节。在证明之前,均有“证明思路”,帮助读者理解数学形式下蕴涵的概念。本书可作为计算机专业高年级本科生和研究生的教材,也可作为教师和研究人员的参考书。
自20世纪五六十年代诞生以来,电子游戏借助科技的力量,从实验室中的新奇之物逐渐发展成一个规模宏大的产业,并在21世纪初期深刻地融入人们的生活。 本书聚焦电子游戏的发展历程,从四个层面展开研究。第一,阐述 电子游戏 的基本概念和内涵,指明它在信息科学技术方面不同于传统媒介的特点;第二,梳理电子游戏跌宕起伏的发展历史,概括为早期的电子游戏(1983年之前)、游戏产业的复兴(1983 1994年)和迈入次世代的电子游戏(1995 2007年)三个阶段;第三,从微观角度探究电子游戏的开发流程、图像/音效设计理念的发展和类型特征等;第四,从宏观角度讨论电子游戏在道德和伦理方面引发的问题、电子游戏与其他媒介的关系、电子游戏的发展前景等。 本书适合电子游戏爱好者、电子游戏行业从业者和游戏学学者阅读,也可作为电子游戏的科
本书是权威的计算机体系结构著作,是久负盛名的经典作品。书中系统地介绍了计算机系统的设计基础、指令集系统结构、流水线和指令集并行技术、层次化存储系统与存储设备、互连网络以及多处理器系统等重要内容。这一版新增一章,专门介绍领域专用体系结构。本书对近些年火热的云计算、手机客户端技术、人工智能等相关内容也有涉猎。 本书既可作为高等院校计算机专业本科生或研究生教材,也可作为从事计算机体系结构或计算机系统设计的工程技术人员的参考书。
本书由2017年图灵奖的两位得主撰写,是计算机体系结构领域的经典教材,每年被超过40000名学生使用。新版的主要更新是在每章中添加了关于DSA的内容,并更新了所有实例,使全书更加与时俱进,满足学生和读者的新需求。
全书共分成8章,主要包括:复数、复函数、作为映射的解析函数、复积分、级数与乘积展开、共形映射、狄利克雷问题、椭圆函数以及全局解析函数。此外,大部分章节后都有练习,便于学生掌握书中内容,其中加上“*”号的练习供学有余力的学生选做。本书假定读者具备大学二年级的数学基础,可作为高等院校高年级本科生以及研究生的教材和参考书。
本书内容详实,结构严谨,侧重于介绍优化理论在实际生活中的应用,是学习优化理论不可多得的入门教材。读者将从本书中学到如何识别、简化、建模以及求解相关优化问题,并将其中暗含的基本原理应用到自己正在进展的项目中。本书对线性代数做了清晰而完整的介绍。通过引入相关的实际案例,以易于理解且形象的方式给读者展示核心的数学概念,并帮助其领会问题的实际意义。阅读本书不需要太多的预备知识,读者只需要对几何学、微积分学和概率统计学有一个基本的了解。本书可用于本科生或研究生优化理论学习的教材。
AIGC的应用领域日益广泛,而在图像生成领域,扩散模型则是AIGC技术的一个重要应用。本书以扩散模型理论知识为切入点,由浅入深地介绍了扩散模型的相关知识,并以大量生动有趣的实战案例帮助读者理解扩散模型的相关细节。全书共8章,详细介绍了扩散模型的原理,以及扩散模型退化、采样、DDIM反转等重要概念与方法,此外还介绍了Stable Diffusion、ControlNet与音频扩散模型等内容。最后,附录提供由扩散模型生成的高质量图像集以及Hugging Face社区的相关资源。 本书既适合所有对扩散模型感兴趣的AI研究人员、相关科研人员以及在工作中有绘图需求的从业人员阅读,也可以作为计算机等相关专业学生的参考书。
本书致力于介绍图神经网络的基本概念和算法、研究前沿以及广泛和新兴的应用,涵盖图神经网络的广泛主题,从基础到前沿,从方法到应用,涉及从方法论到应用场景方方面面的内容。全书分为四部分:部分介绍图神经网络的基本概念;第二部分讨论图神经网络成熟的方法;第三部分介绍图神经网络典型的前沿领域;第四部分描述可能对图神经网络未来研究比较重要和有前途的方法与应用的进展情况。 本书适合高年级本科生和研究生、博士后研究人员、讲师以及行业从业者阅读与参考。
本书为读者提供了一次深入探索人工智能和自动化编程的奇妙之旅。全书从AI(Artificial Intelligence,人工智能)的基本概念和背景入手,逐渐深入到如何使用具有代表性的AIGC工具 ChatGPT、GitHub Copilot和Claude2等进行自动化编程。此外,本书还详细介绍了其他多种AI代码生成解决方案。针对桌面应用、Web应用、游戏、办公自动化等场景,本书还提供了丰富的实例。 本书适合对AI和自动化编程感兴趣的初学者阅读,也适合有一定基础并且想要提高开发技能的程序员阅读。同时,本书也可以作为高校或培训机构的参考书。
近年来,作为突破计算机极限的希望所在,量子计算机受到了人们的广泛关注。本书运用丰富的图例,从量子计算机的基本工作原理入手,系统地为初学人士呈现了量子计算机的全貌。内容涉及量子比特、量子门、量子电路和量子算法等。全书以图配文,深入浅出,难度介于科普书和技术书之间,易读性与专业性兼具,无须精通量子力学和数学也能读懂,是一本量子计算机的入门佳作,旨在引导读者迈入量子计算机世界的大门,为日后阅读各种专业图书铺平道路。 本书适合对量子计算机感兴趣,想要从整体上了解量子计算机,或今后想从事量子计算机研发工作,但又不知从何处入手的读者阅读。
本书主要介绍与计算机系统相关的核心概念,解释这些概念如何相互关联并终影响程序执行的结果和性能。本书共分8章,主要内容包括数据的表示和运算、程序的转换及机器级表示、程序的链接、程序的执行、存储器层次结构、虚拟存储器、异常控制流和I/O操作的实现等。本书将计算机系统每个抽象层涉及的重要概念通过程序的开发和运行串联起来,内容详尽,反映现实,概念清楚,通俗易懂,实例丰富,并提供大量典型习题以供读者练习。本书可以作为计算机专业本科或大专院校学生计算机系统方面的基础性教材,也可以作为有关专业研究生或计算机技术人员的参考书。