本书从数字、递归、对称、范畴、融合、无穷、悖论七个方面介绍了计算机程序的数学基础和原理,并以 同构 概念为线索揭示出编程本质上是和数学同构的。第1章介绍皮亚诺算术公理系统,通过5条公理,构筑了计算机程序大厦的基石;通过单向链表、斐波那契数列等例子,展示了和自然数同构的计算结构。第2章介绍递归,通过欧几里得算法作为开端,终把递归的数学原理构建在Lambda演算和Y组合子之上。第3章介绍对称群、环、域等抽象代数结构,解释了伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论,把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律,它是进行算法推导和优化的有力工具。第6章介绍无穷,给出了康托尔的无穷集合论和超限数概念,介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、
两位作者持续多年扎根人工智能前沿领域,这本书是他们在科学研究的过程中蹦出的意外火花。因为这一全新发现并不是直接回馈于他们本身所处的人工智能领域,而是“无心插柳”收获了对人类约定俗成的思维方式的全新颠覆。这一研究打破了人类世界延续多年、难以撼动的、依靠目标和计划成事的文化基因,真正开启了人类伟大创新的惊喜之旅。他们在学校、TED、科研论坛等场合公开演讲,让这一新思维方式影响并激励了许多人。他们自身也凭借写入本书的“寻宝者思维”“踏脚石模型”“新奇性探索”等具体思维方法,在人工智能研发领域取得了飞跃式的突破和进展,产生了一系列惠及人类的伟大创造。
"本书以几何画板为写作基础,以实际应用为指导思想,用通俗易懂的语言对几何画板的应用知识进行详细讲解。 全书共9章,内容涵盖几何画板基础知识、绘制与构造图形、编辑与变换图形、度量与数据、几何画板操作类按钮、绘制平面图形、绘制立体图形、绘制函数曲线、几何画板的综合应用等。重要章节穿插 动手练 案例实战 新手答疑 等板块。 全书结构编排合理,语言通俗易懂。所选案例贴合几何画板实际需求,可操作性强。案例讲解详细,一步一图,即学即用。本书不仅适合教师、教育类博主等阅读使用,还适合作为相关培训机构的参考教材。 "
本书以C51单片机为例,从应用角度出发,详细介绍了其片内硬件资源及工作原理,以及采用C51语言编程,重点介绍了单片机应用的各种技术实现,如输入输出、中断、定时/计数、串行通信、并行扩展、模数转换等,并在单片机虚拟仿真平台 Proteus进行了设计与验证。此外,本书还简要介绍了开发工具Keil 、Proteus与 STC ISP的使用。本书从实战角度出发,设计了以增强型51单片机STC89/STC12为控制核心的移动智能机器人平台,以物流分拣、无人驾驶和电脑鼠走迷宫为应用案例背景实现机器人的智能功能,可为读者智能测控系统的软硬件设计提供参考与借鉴。 本书可作为高等院校物联网、机器人、计算机、通信、智能、电子电气及自动化等专业单片机原理及应用、传感器检测技术、物联网控制与通信技术、机器人技术及智能测控等课程的教材,也可作为计算机、电子以及智
本书是矩阵特征值估计及计算方法方面的专著,由概率背景出发,系统地介绍了不同类型矩阵的特征值变分、估计及计算方法。 本书内容包括预备知识、可配称矩阵的特征值估计及计算方法、非对称矩阵的特征值估计及逼近程序、一般非负不可约矩阵的特征值计算方法以及离散加权p-Laplacian算子的特征值研究。作为Perron-Frobenius定理和幕法的应用,本书介绍了具有概率背景的矩阵的特征值的对偶变分公式。在变分公式中,当取特殊的试验函数时可得特征值的估计。借助概率中对特征值的精确估计,对幕法等相关算法给出高效初值并改进算法,减少了算法的迭代步数,有效提高了算法的收敛速度。
本书由计算理论领域的知名权威MichaelSipser所撰写。他以独特的视角,系统地介绍了计算理论的三个主要内容:自动机与语言、可计算性理论和计算复杂性理论。作者以清新的笔触、生动的语言给出了宽泛的数学原理,而没有拘泥于某些低层次的细节。在证明之前,均有“证明思路”,帮助读者理解数学形式下蕴涵的概念。本书可作为计算机专业高年级本科生和研究生的教材,也可作为教师和研究人员的参考书。
本书旨在介绍提示(prompt)工程师的工作内容和相关技能。本书首先讲述提示技术的基本工作原理、提示工程师的常用工具、提示技术的基础模式和提示技术的进阶知识(包括零样本提示、少样本提示和思维链提示);然后讲解自然语言处理的基础知识和ChatGPT大模型方面的内容,以及NLP模型的特点和应用场景;最后展示提示工程在办公、图片处理、代码开发和电商中的应用。 本书通俗易懂,不仅适合对提示工程师感兴趣或从事相关工作的读者阅读,还适合对自然语言处理和人工智能感兴趣的读者参考。
本书立足于实际工作业务场景,从解决问题出发,遵循数据处理与分析内在逻辑,以大量实际案例为依托,全面系统地介绍WPS表格在数据处理与图表制作中涉及的各项实用技巧,包括工作簿、工作表、行/列和单元格的基本操作,表格设计的基本理念、普通填充、智能填充,数据有效性,普通分列、智能分列、高级分列、选择性粘贴、查找替换定位,自定义格式、条件格式,行/列转换,排序筛选,合并计算、分类汇总,数据透视表,可视化图表,函数公式,窗口操作、输出打印,手机版操作等等诸多方面,基本可以满足日常办公数据处理与分析所需,兼顾系统学习与即用即查。 本书既可作为初学者的入门指南,又可作为中、高级用户的参考手册。书中大量来源于职场实战的案例,可作为读者在工作中的模板载体,直接应用到实际工作中。
元启发式算法是一类获得广泛应用的通用优化算法,主要包括进化系列算法、邻域搜索系列算法、模拟退火算法、禁忌搜索算法、人工免疫算法、蚁群算法、蜂群算法、粒子群算法、鱼群算法、混合蛙跳算法、细菌觅食算法、神经网络算法、生物地理学等算法。 本书系统性地对25个当今流行的元启发式算法从基本理论到实现机制进行了总结和描述。为了增加实用性,使用matlab编程语言实现了每一种算法的源代码,读者直接复制粘贴并做出适应性调试修改即可使用。每章章末都列出了原始参考文献的出处,留给读者去查阅引用,方便理解改进算法变化的细节。此外,针对这些元启发式算法,本书仅以少量的优化问题作为背景案例,旨在使读者把学习重点放在理解和掌握各种算法的核心思想和实现机制上,而不必拘泥于不同案例问题带来的理解上的不便。 本书是作
本书介绍了企业级和消费级产品的关键不同,给出了企业级产品开发过程各种难点的解决方案。你将从中学到如何掌握三大类知识:机构知识、产品知识和行业知识。本书重点探讨以下主题:识别客户问题和用户问题是企业级产品经理的主要挑战。高效的合作要求深入的机构知识。分析数据是理解用户为什么购买、安装使用和保有你产品的关键。你有过相关行业的工作经验,再为其开发软件,将非常吃香。产品寿命取决于产品经理对行业发展方向的认识。
在计算机出现之前,算法就已经存在了。本书旨在介绍经典算法及其起源,提供解决问题的新思路,让读者知其然并知其所以然。本书从*基础的 什么是算法 开始讨论,首先介绍如何评价算法的性能,然后展开讨论与图、搜索和排序相关的经典算法,解释 算法是怎么运作的 ,*后介绍PageRank和深度学习两个大型算法应用。本书用通俗易懂的语言来描绘算法世界,穿插有趣的文化历史故事和简单易懂的例子,不涉及艰深的数学知识,即使非专业人士也能轻松读懂。
《机器人简史》(第三版)介绍了机器人发展的历史、态势和趋势,以简明扼要、通俗易懂、图文并茂的形式向读者展开了一幅波澜壮阔的机器人世界的画卷。希望本书能为机器人领域的研究者和对该领域感兴趣的读者提供有益的借鉴与启示。
本书是《计算机组成原理》(第六版?立体化教材)的配套教材,提供了“计算机组成原理”课程的典型题解800余题,分为选择、填空、计算、证明、分析、设计六种类型,以及硕士研究生入学考试辅导。所选习题少而精,具有概念性、思考性、启发性,并给出参考答案。
近年来,作为突破计算机极限的希望所在,量子计算机受到了人们的广泛关注。本书运用丰富的图例,从量子计算机的基本工作原理入手,系统地为初学人士呈现了量子计算机的全貌。内容涉及量子比特、量子门、量子电路和量子算法等。全书以图配文,深入浅出,难度介于科普书和技术书之间,易读性与专业性兼具,无须精通量子力学和数学也能读懂,是一本量子计算机的入门佳作,旨在引导读者迈入量子计算机世界的大门,为日后阅读各种专业图书铺平道路。 本书适合对量子计算机感兴趣,想要从整体上了解量子计算机,或今后想从事量子计算机研发工作,但又不知从何处入手的读者阅读。
本书为基于职业院校课程要求编写而成的活页式教材,以理论与实践相结合的形式,系统讲解了Excel、Tableau和ECharts等数据可视化工具的实际应用。本书共有5个学习情境,包括Excel处理全国主要城市年降水量,用Tableau分析国内用电量情况、对客服座席接听数据和家具电商数据进行可视化分析,用ECarts在网页中对我国GDP进行可视化分析,每个学习情境都设置了相应的习题,并附有PPT课件和代码数据等相关课程资源,帮助读者在实操中提升数据分析能力。本书可作为职业院校大数据专业课程的教材,也可作为从事管理、销售等数据分析工作人员的参考用书。
本书以探索之旅的形式,从在浏览器中输入网址开始,一路追踪了到显示出网页的内容为止的整个过程,以图配文,讲解了网络的全貌,并重点介绍了实际的网络设备和软件是如何工作的。目的是帮助读者理解网络的本质意义,理解实际的设备和软件,进而熟练运用网络技术。同时,专设了“网络术语其实很简单”专栏,以对话的形式介绍了一些网络术语的词源,颇为生动有趣。 本书图文并茂,通俗易懂,非常适合计算机、网络爱好者及相关从业人员阅读。
本书系统地介绍了区块链作为新基建的核心用途以及与其他互联网技术的区别。内容 主要包括:区块链基础、区块链通证详解、区块链赋能产业案例、央行数字货币DC/EP和 区块链的结合,以及常见的区块链技术框架解析。其中,区块链基础主要是为了解开大众 对于区块链的误解,区块链通证部分归纳了不同属性的通证和运用场景,为未来区块链和 通证结合提供了更多的视角和思路。区块链技术框架部分列举了目前几乎所有新基建常用 的技术框架特性,同时也从技术角度切入,结合产业呈现了更多的思考。本书的目标读者 是所有想充分了解区块链新基建以及结合产业落地的人群。无论你是想系统地了解区块链 的初学者,还是各个行业不同领域的创业者,或者是已经对区块链有了一定程度掌握的行 业老兵,这本书都会让你受益匪浅。
全书共分成8章,主要包括:复数、复函数、作为映射的解析函数、复积分、级数与乘积展开、共形映射、狄利克雷问题、椭圆函数以及全局解析函数。此外,大部分章节后都有练习,便于学生掌握书中内容,其中加上“*”号的练习供学有余力的学生选做。本书假定读者具备大学二年级的数学基础,可作为高等院校高年级本科生以及研究生的教材和参考书。
人工智能(AI),尤其是生成式语言模型和生成式人工智能(AIGC)模型,正以惊人的速度改变着我们的世界。驾驭这股潮流的关键,莫过于探究自然语言处理(NLP)技术的深奥秘境。本书将带领读者踏上一段扣人心弦的探索之旅,让其亲身感受,并动手搭建语言模型。本书主要内容包括N-Gram,词袋模型(BoW),Word2Vec(W2V),神经概率语言模型(NPLM),循环神经网络(RNN),Seq2Seq(S2S),注意力机制,Transformer,从初代GPT到ChatGPT再到GPT-4等一系列突破性技术的诞生与演进。 本书将以生动活泼的笔触,将枯燥的技术细节化作轻松幽默的故事和缤纷多彩的图画,引领读者穿梭于不同技术的时空,见证自然语言处理技术的传承、演进与蜕变。在这场不断攀登技术新峰的奇妙之旅中,读者不仅能深入理解自然语言处理技术的核心原理,还能自己动手,从零开始搭建起一个又