本书结合大量应用和实例详细介绍线性代数的基本概念、基本定理与知识点,主要内容包括:矩阵与方程组、行列式、向量空间、线性变换、正交性、特征值、数值线性代数和标准型等.为帮助读者巩固所学的基本概念和基本定理,书中每一节后都配有练习题,并在每一章后提供了MATLAB练习题和测试题. 本书叙述简洁,通俗易懂,理论与应用相结合,适合作为高等院校本科生 线性代数 课程的教材,同时也可作为工程技术人员的参考书. 2步获取导学视频: ①微信视频号关注 IT阅读排行榜 ②点击 直播回放 栏,上滑寻找
本书全面、深入地探讨了编译器设计方面的重要主题,包括词法分析、语法分析、语法制导定义和语法制导翻译、运行时刻环境、目标代码生成、代码优化技术、并行性检测以及过程间分析技术,并在相关章节中给出大量的实例。与上一版相比,本书进行了全面修订,涵盖了编译器开发方面新进展。每章中都提供了大量的实例及参考文献。 本书是编译原理课程方面的经典教材,内容丰富,适合作为高等院校计算机及相关专业本科生及研究生的编译原理课程的教材,也是广大技术人员的 参考读物。
本书是一本非数学专业主要是文科及艺术类专业的数学教材,讲述方式活泼,案例贴近生活,读者可以在轻松学习中体会数学乐趣和意义。全书分为三大部分:归纳和演绎、逻辑和数;代数和几何;概率统
《DeepSeek实用操作指南(签章版):入门、搜索、答疑、写作》 本书是一本关于DeepSeek的实操书。 全书从基础应用、高级应用、团队协作、7大使用技巧、辅助学习、爆款文案等方面,为读者展示了DeepSeek的多样化功能和操作技巧,帮助读者熟练掌握并充分利用这一工具。 本书内容丰富、条理清晰、操作性强,即使是对AI不太熟悉的普通用户也能轻松上手。通过阅读本书,读者将显著提高自己的生活效率、学习效率和工作效率。
本书从数字、递归、对称、范畴、融合、无穷、悖论七个方面介绍了计算机程序的数学基础和原理,并以 同构 概念为线索揭示出编程本质上是和数学同构的。第1章介绍皮亚诺算术公理系统,通过5条公理,构筑了计算机程序大厦的基石;通过单向链表、斐波那契数列等例子,展示了和自然数同构的计算结构。第2章介绍递归,通过欧几里得算法作为开端,终把递归的数学原理构建在Lambda演算和Y组合子之上。第3章介绍对称群、环、域等抽象代数结构,解释了伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论,把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律,它是进行算法推导和优化的有力工具。第6章介绍无穷,给出了康托尔的无穷集合论和超限数概念,介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、
内容简介这是一部讲解企业如何利用指标推动数字化转型和实现数字化经营的著作,详细讲解了指标体系的设计方法、指标平台的产品设计和技术架构、指标在各行业落地应用的方法。本书由行业领先的数据智能产品提供商数势科技官方出品,融合了其创始人在百度、平安、京东等头部企业的技术研发经验和其团队服务近百家企业的实战经验,得到了来自清华大学、信通院、腾讯、京东、百度等10余位专家的鼎力推荐。具体地,本书主要讲解了以下五个方面的内容:(1)从指标驱动的数字化经营新模式开始,介绍指标管理对企业经营的重要意义。(2)指标体系的设计方法论,带着设计思维模拟指标拆解、设计、落地的全过程。(3)指标管理平台的产品设计与技术架构,介绍了作者团队在多年实践中总结出的 一处定义、全局使用 的指标平台建设方法。(4)深入零
本书全面、深入地探讨了人工智能(AI)领域的理论和实践,以统一的风格将当今流行的人工智能思想和术语融合到引起广泛关注的应用中,真正做到理论和实践相结合。全书分7个部分,共28章,理论部分介绍了人工智能研究的主要理论和方法并追溯了两千多年前的相关思想,内容主要包括逻辑、概率和连续数学,感知、推理、学习和行动,公平、信任、社会公益和安全;实践部分完美地践行了“现代”理念,实际应用选择当下热度较高的微电子设备、机器人行星探测器、拥有几十亿用户的在线服务、AlphaZero、人形机器人、自动驾驶、人工智能辅助医疗等。本书适合作为高等院校人工智能相关专业本科生和研究生的教材,也可以作为相关领域专业人员的参考书。
本书延续前几版的目标,涵盖抽象代数导论课程需要了解的所有主题。新合著者尼尔·布兰德仔细而又认真地修订了这本经典教材,根据其使用本教材的多年授课经验,对其内容进行了有意义的和有价值的更新。本书为学生提供了坚实的基础,并且通过对每种方法详细解释这种方法是做什么的,如何做,以及为什么作者会选择这种方法,可以帮助读者更入地了解代数。本版还包括一些抽象代数的应用,如RSA加密和编码理论,以及应用Gr?bner基础的例子。
本书由2017年图灵奖的两位得主撰写,是计算机体系结构领域的经典教材,每年被超过40000名学生使用。新版的主要更新是在每章中添加了关于DSA的内容,并更新了所有实例,使全书更加与时俱进,满足学生和读者的新需求。
本书是信息论领域中一本简明易懂的教材。主要内容包括:熵、信源、信道容量、率失真、数据压缩与编码理论和复杂度理论等方面的介绍,还对网络信息论和假设检验等进行了介绍,并且以赛马模型为出发点,将对证券市场的研究纳入了信息论的框架,从新的视角给投资组合的研究带来了全新的投资理念和研究技巧。
人工智能正在打开潘多拉魔盒。事实上,每一次划时代的技术浪潮,都粘满了“盲目乐观”的羽毛。原子弹虽然结束了二战,但也形成了对人类存在的巨大威胁;互联网虽然极大地拓展了人类的生活边界,但越来越多的人反而经历着时空坍缩;人工智能虽然使得机器变得越来越人类友好,但人类反而像是沦为了机器的附庸……本书中,熊培云以原子弹为思绪的起点,进而延展到互联网构建的新型文明,及至近年来欣欣向荣的人工智能,系统、广阔地分享了自己近年来的思考。试图在科技一往无前的当下,唤醒“人何以为人”的意识;唯愿科技与人文,各执半轮明月。
本书由2017年图灵奖得主Patterson和Hennessy共同撰写,是计算机体系结构领域的经典书籍,强调软硬件协同设计及其对性能的影响。本书采用开源的RISC-V指令系统体系结构, 讲解硬件技术、指令、算术运算、流水线、存储层次、I/O以及并行处理器等。第2版将RV64切换为RV32以降低学习难度,新增关于领域定制体系结构(DSA)的讨论以反映新的技术趋势。此外,每一章都增加了“性能提升”和“自学”章节,并更新了大量练习题。本书适合计算机体系结构领域的专业技术人员参考,也适合高等院校计算机相关专业的学生阅读。
本书源于斯坦福大学的相关课程,主要介绍不确定状态下的决策算法,涵盖基本的数学问题和求解算法。本书共分为五个部分:首先解决在单个时间点上简单决策的不确定性和目标的推理问题;然后介绍随机环境中的序列决策问题;接着讨论模型不确定性,包括基于模型的方法和无模型的方法;之后讨论状态不确定性,包括jing确信念状态规划、离线信念状态规划、在线信念状态规划等;zui后讨论多智能体系统,涉及多智能体推理和协作智能体等。本书主要关注规划和强化学习,其中一些技术涉及监督学习和优化。书中的算法是用Julia编程语言实现的,并配有大量图表、示例和练习题。本书要求读者具备扎实的数学基础,适合计算机科学、数学、统计学、电气工程、航空航天等领域的读者阅读。
AI已成为职场的入场券,你准备好了吗? 这是一本面向所有职场人的AI助手使用指南,它以流行的豆包为工具,从实战的角度讲解了如何借助AI大幅提升工作效率和激发创新能力。本书凝聚了LangGPT社区核心AI专家的丰富实战经验和方法论,得到了火山引擎开发者社区以及秋叶等多位办公和AI领域专家的高度认可。 工欲善其事,必先利其器。本书首先从一个行家的视角全面介绍了豆包、豆包内置应用、豆包浏览器插件的功能和使用方法,为读者打下AI基础;然后,详细讲解了LangGPT社区自创的提示词编写原则、思维方法,以及7种好用的结构化提示词框架,为你构建好通往AI世界的桥梁。 授人以渔,本书针对文本创作、绘图、数据处理、信息收集与获取、撰写会议材料、做计划、写总结、文献阅读、论文写作、公文写作、项目管理、爆款文案写作等12个职场高频场景,以及
在保罗眼里,黑客是创作者,是互联网之子,拥有一颗不安分的心,虽然经常被视为书呆子,却以自己的努力,为互联网新世界奠基。毫无疑问,我们生活于其中的世界,已经且必将继续被黑客深刻地改变,因此,了解黑客,我们也会更了解这个世界。在本书中,作者和我们谈论了与黑客有关的三个方面:第一,黑客如何成长及看待世界;第二,黑客如何工作及影响世界;第三,黑客的工具和工作方法。事实上,在全部15篇文章中,保罗所探讨的内容远远超出了黑客所关注的内容,并以幽默的笔触,在最广泛的可能性上展现了他对于人人关心且受其影响的重大议题的思考。不管是创造财富,还是如何设计出好产品,抑或如何在充满了异见的世界里自洽地活着。可以说,不管我们处在人生的什么阶段,都将从阅读本书的过程中得到启示。
本书适用于拥有工程学或物理科学专业的本科学位或广泛课程并希望加深对应用数学基本主题的理解的学生。书中介绍的方法构成了工程和物理科学分析的核心。读者将学习研究中需要的解决方案、技术和方法。例如,他们将能够了解用于解决技术问题的各种科学软件包背后的基础知识(例如,描述复杂结构的固体力学的方程式或短期天气预报和长期天气预报的流体力学方程式气候变化),这对于成功使用此类法规至关重要。详细而众多的工作问题有助于确保对应用数学进行清晰而有节奏的介绍。每章末尾的计算挑战性问题为学生提供了动手学习的机会,并有助于确保对概念的掌握。
在本书中,著名软件工程师罗伯特 C. 马丁(Robert C. Martin,"鲍勃大叔")解释了如何以及为什么使用函数式编程为真实客户构建更好的系统。作者将 Java 中传统的面向对象编码结构与函数式语言所支持的编码结构进行了比较,确定了每种结构的最佳作用,并展示了如何在特定环境中明智地使用这些结构来构建更好的系统。