本书从数字、递归、对称、范畴、融合、无穷、悖论七个方面介绍了计算机程序的数学基础和原理,并以 同构 概念为线索揭示出编程本质上是和数学同构的。第1章介绍皮亚诺算术公理系统,通过5条公理,构筑了计算机程序大厦的基石;通过单向链表、斐波那契数列等例子,展示了和自然数同构的计算结构。第2章介绍递归,通过欧几里得算法作为开端,终把递归的数学原理构建在Lambda演算和Y组合子之上。第3章介绍对称群、环、域等抽象代数结构,解释了伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论,把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律,它是进行算法推导和优化的有力工具。第6章介绍无穷,给出了康托尔的无穷集合论和超限数概念,介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、
本书精心选择了回归分析、机器学习、聚类分析、神经网络分析、自然语言处理、计算机视觉、社会网络分析、ABM等内容。通过飞桨平台提供多种开发工具和预训练模型,以及详细的帮助文档和课程,让广大师生快速有效地开展学习和研究。 本书是一本开源的、不断更新的、 适文化 的教材,可作为人文社科类学生学习计算社会科学的入门教材,目的是让他们了解计算社会科学主要的研究议题、研究方法、源起和发展,从而开启他们的学习与探索之旅。本书也可以供计算社会科学相关专业学生和研究者来了解 社会科学家们到底在做什么? ,有助于计算社会科学相关专业学习人员提高人文素养。
本书是一本关于信息学竞赛入门的图书,全书包括计算机程序设计C 语言和基础数据结构及基础算法两篇,共16章。篇包括C 编程入门、顺序结构、选择结构、循环结构、数组、字符串、函数与函数递归、结构体与文件; 第二篇包括队列、栈、简单的排序、顺序查找与二分查找、枚举算法、贪心法、递推以及常用库函数。本书语言描述通俗易懂,通过知识讲解努力帮助读者形成编程思维和计算思维,提升创造力、想象力和分析问题、解决问题的能力。本书可作为信息学入门学习用书,也可为开展编程教育的中小学教师提供参考。
《控制之美(卷1) 控制理论从传递函数到状态空间》涵盖了动态系统分析、经典控制理论与现代控制理论的核心基础内容。其中,经典控制理论以拉普拉斯变换为数学工具,通过传递函数分析系统的表现并进行控制器的设计;现代控制理论以状态空间方程为研究对象,以微分方程和线性代数为数学工具,从时域的角度分析系统的表现并设计系统的控制器。 本书在多个章节对比讲解了两种理论之间的区别与联系。本书共分为10章。第1章为绪论;第2、3章分别介绍使用传递函数和状态空间方程描述系统的方法;第4、5章使用这两种方法分析一阶系统与二阶系统的时域响应;第6章介绍系统稳定性的概念;第7、8章重点分析经典控制理论中的控制器设计方法,包含比例积分控制和根轨迹法;第9章介绍系统的频 率响应并与滤波器的设计相结合;第10章讨论现代控制理论中的控制器设计,以及
本书系统论述了基本达芬奇架构的昇腾(Asccnd)AI处理器的原理、架构与开发技术。全书共分6章,内容涵盖了神经网络理论基础、计算芯片与开源框架、昇腾AI处理器软硬件架构、编程理论与方法,以及典型案例等。为便于读者学习,书中还给出了基本昇腾AI处理器的丰富的技术文档、开发实例等线上资源。 本书可以作为普通高等学校人工智能、智能科学与技术、计算机科学与技术、电子信息工程、自动化等专业的本科生及研究生教材,也适合作为从事人工智能系统设计的科研和工程技术人员的参考用书。
随着信息化建设的深入推进,信息化项目的建设与管理也已成为党政机关、企业和事业单位的一 项重要工作。尤其是随着云计算、大数据、物联网、人工智能、区块链等现代信息技术的快速发展,以及与传统产业的深入融合,各类智慧应用系统建设需求更趋迫切,信息化建设项目越来越多。与此同时,信息化建设项目的技术越来越复杂,规模、难度、投资也越来越大,特别是对项目建设与管理的要求越来越规范、越来越严格。 本书针对信息化项目建设与管理的实际需求,按照项目的全生命周期,系统地介绍了信息化项目的可行性研究、顶层设计、立项咨询、政府采购与招投标、项目管理、项目监理、质量检验检测、项目验收、运行维护、绩效评价和迭代更新等内容。根据国家相关政策、法律法规以及标准规范,本书对每一个重要节点的工作流程、要求、方法以及注意事项均作
本书分十大章节,分别是数字逻辑基础、逻辑门电路、verilog HDL和FPGA、组合逻辑及电路实现、时序逻辑及电路实现、脉冲发生电路、有限状态机、存储器、ADC和DAC、综合实例。在精炼数字电路知识点的同时,加入了大量案例,包括74系列芯片和FPGA的应用电路。同时对硬件描述语言和FPGA做了介绍,并辅以大量案例,以帮助读者掌握数字系统设计技能。基础理论加习题练习是大部分传统数电书籍的基本结构,本书没有使用大量篇幅去介绍数字电路基础理论,而是将知识点精炼之后通过大量应用案例使读者学以致用,从实践角度理解数字逻辑的原理,同时增加了硬件描述语言、FPGA以及EDA工具的使用内容,并辅以大量设计案例和设计技巧,使读者了解行业内主流的数字电路设计技能,因此实践性强是本书最大的特色。
书以 新工科 教育理念为指导,以产教融合为突破口,面向产业需求,全面重构课程内容,将产业界的最新技术引入教学。从科研、教学和工程实际应用出发,理论联系实际,全面系统地讲述了基于STM32CubeMX Keil MDK和STM32Cube(STM32CubeMX和STM32CubeIDE)开发方式的嵌入式系统设计与应用实例。 全书共分12章,主要内容包括:绪论、Arm处理器体系架构、STM32嵌入式微控器、STM32CubeMX的应用、STM32CubeIDE开发平台、STM32通用输入输出接口、STM32中断系统、STM32定时器系统、STM32 通用同步异步收发器(USART)、STM32模数转换器(ADC)、STM32 DMA控制器和嵌入式实时操作系统FreeRTOS。全书内容丰富,体系先进,结构合理,理论与实践相结合,尤其注重工程应用技术。
本书秉持 学为中心 理念,用一个梦游故事串联了 复变函数与积分变换 课程的主要知识点,包括复数和复变函数、导数、积分、级数、留数、保形映射、傅里叶变换和拉普拉斯变换等内容。本书模糊了时空概念,强调知识体系所蕴含的科学思想方法、内在逻辑性以及表达的趣味性,本书采用章回体小说的形式,用近乎荒诞的故事和诙谐幽默的语言,解释了复变函数课程的概念、理论和方法,易懂、生动。 本书可作为高等院校有关专业 复变函数与积分变换 课程的参考书,也可供相关技术人员阅读参考。
本书为读者提供了一次深入探索人工智能和自动化编程的奇妙之旅。全书从AI(Artificial Intelligence,人工智能)的基本概念和背景入手,逐渐深入到如何使用具有代表性的AIGC工具 ChatGPT、GitHub Copilot和Claude2等进行自动化编程。此外,本书还详细介绍了其他多种AI代码生成解决方案。针对桌面应用、Web应用、游戏、办公自动化等场景,本书还提供了丰富的实例。 本书适合对AI和自动化编程感兴趣的初学者阅读,也适合有一定基础并且想要提高开发技能的程序员阅读。同时,本书也可以作为高校或培训机构的参考书。
AIGC的应用领域日益广泛,而在图像生成领域,扩散模型则是AIGC技术的一个重要应用。本书以扩散模型理论知识为切入点,由浅入深地介绍了扩散模型的相关知识,并以大量生动有趣的实战案例帮助读者理解扩散模型的相关细节。全书共8章,详细介绍了扩散模型的原理,以及扩散模型退化、采样、DDIM反转等重要概念与方法,此外还介绍了Stable Diffusion、ControlNet与音频扩散模型等内容。最后,附录提供由扩散模型生成的高质量图像集以及Hugging Face社区的相关资源。 本书既适合所有对扩散模型感兴趣的AI研究人员、相关科研人员以及在工作中有绘图需求的从业人员阅读,也可以作为计算机等相关专业学生的参考书。
从1999年开始,作者在普林斯顿大学开设了一门名为 我们世界中的计算机 的课程(COS 109:Computers in Our World),这门课向非计算机专业的学生介绍计算机的基本常识,多年来大受学生追捧。本书就是基于这门课程的讲义编写而成的,书中不仅解释了计算机和通信系统的工作原理,还分析了新技术带来的隐私和安全问题。第2版的新增章节讨论了Python编程、人工智能、机器学习以及大数据等内容。本书适合所有希望了解数字世界的读者阅读,通过了解技术的工作原理、起源和未来发展趋势,更好地理解并改变我们身处的世界。
本书由计算理论领域的知名权威MichaelSipser所撰写。他以独特的视角,系统地介绍了计算理论的三个主要内容:自动机与语言、可计算性理论和计算复杂性理论。作者以清新的笔触、生动的语言给出了宽泛的数学原理,而没有拘泥于某些低层次的细节。在证明之前,均有“证明思路”,帮助读者理解数学形式下蕴涵的概念。本书可作为计算机专业高年级本科生和研究生的教材,也可作为教师和研究人员的参考书。
诞生于1966年的图灵奖被誉为 计算机领域的诺贝尔奖 ,至今共有79位科学家获得此荣誉。本书介绍了图灵及76位ACM图灵奖获得者的工作和事迹。通过对20世纪下半叶及21世纪初有代表性的计算机科学家的介绍,多方位、多视角地反映了计算机科学技术半个多世纪的发展历程。本书在一定程度上反映了计算机体系结构、程序设计语言、算法设计与分析、操作系统和编译程序、数据库技术、计算复杂性理论、软件工程、人工智能、信息安全等计算机科学技术主要分支的形成过程和发展概况。本书旨在宣扬科学和科学家精神,通过追寻成功者的足迹,给人以必要的启迪,使读者从阅读本书中汲取成长和成功所必需的养分。
量子计算是基于量子力学原理调控量子比特进行信息处理的计算模式,是国内外重点关注的交叉 研究领域。本书介绍量子计算理论中最为重要的基础知识和研究内容,并适当介绍密切相关的**研 究进展。全书共8 章,第1 章简要介绍量子计算的发展历史、背景及现状,并指出量子计算的优势及 潜在应用:第2 章描述与量子计算密切相关的基本概念,并指出经典计算是量子计算的特殊情形; 第3 章概述与量子计算密切相关的线性代数基础知识,特别是系统地归纳了算子(矩阵)分解的相关 定理和超算子等内容;第4 章陈述基本的量子密码和通信协议;第5 章阐述基本的量子计算模型,包 括量子有限自动机、量子图灵机与量子电路等;第6 章介绍量子计算的核心内容 重要的量子算法, 主要包括Deutsch 算法、Deutsch-Jozsa 算法、Simon 算法、Shor 算法与Grover 算法,以及HHL 算法
本书以自然语言处理作为底层理论知识在教育技术领域的发展和应用现状展开介绍,包括作为智慧教育底层依托的教育知识图谱构建及其表征学习相关理论,以及基于教育知识图谱的目前三大应用方向,教育问答,认知诊断和作文批改,然后作为补充,介绍了融合视频,声频等数据的多模态学习分析,以及另一热门技术,区块链,在教育上的智能应用。 具体由8个章节组成,其结构如下:章简介智慧教育的发展和智慧教育系统。第二章和第三章介绍知识图谱相关知识。第四章介绍基于知识图谱的教育问答。第五章结合心理学测评方法,利用大数据分析对学习者的学习状态进行认知诊断,使用学习者更好地被学习环境感知。同时也介绍了用学习路径推荐方法,为学习者提供更好地学习内容。这与智慧教育本质特征要求相符合。第六章介绍知识图谱技术在作文批改中的
ChatGPT和大语言模型,引领我们进入了AI新纪元。但是,人类应该如何应对?我们个人又要怎么做才能在这波AI大潮里不落后、不掉队,甚至成为驾驭AI的少数人呢? 对于AI,你关心的种种问题,都能在书里找到启发: ·我们该怎么理解这个AI大时代的哲学?AI作为一个新的智慧形态,它的能力边界、它的底牌和命门,究竟是什么? ·大语言模型的智能为什么是出乎意料的?它的原理对我们有什么启示? ·当AI渗透进经济活动,会如何提升生产力?路径和逻辑又是什么? ·当AI干预了道德,甚至法律,我们的社会将会变成什么样子? ·AI还在以更快的速度迭代,面对这个局面,教育应该怎么办?公司应该怎么办?人应该怎么办? ·如果AGI和超级人工智能也有了人的意识和情绪,人应该放弃这些能力和价值吗?
全书共分成8章,主要包括:复数、复函数、作为映射的解析函数、复积分、级数与乘积展开、共形映射、狄利克雷问题、椭圆函数以及全局解析函数。此外,大部分章节后都有练习,便于学生掌握书中内容,其中加上“*”号的练习供学有余力的学生选做。本书假定读者具备大学二年级的数学基础,可作为高等院校高年级本科生以及研究生的教材和参考书。
在计算机出现之前,算法就已经存在了。本书旨在介绍经典算法及其起源,提供解决问题的新思路,让读者知其然并知其所以然。本书从*基础的 什么是算法 开始讨论,首先介绍如何评价算法的性能,然后展开讨论与图、搜索和排序相关的经典算法,解释 算法是怎么运作的 ,*后介绍PageRank和深度学习两个大型算法应用。本书用通俗易懂的语言来描绘算法世界,穿插有趣的文化历史故事和简单易懂的例子,不涉及艰深的数学知识,即使非专业人士也能轻松读懂。
本书旨在帮助读者进一步理解数据在社会中的角色和作用,并帮助个人和组织提高他们的数据素养。 本书分为三大部分。第一部分首先讲解什么是数据和数据素养,随后概述大众数据素养的现状,表达了对于数据素养缺失的担忧,并给出提高大众数据素养的具体需求内容。第二部分介绍一个数字公民框架,针对移动数据传播者、成人数据传播者、知识工作者、数据教师和数据专家分别给出具体的数据知识。第三部分介绍如何培养具备数据素养的组织,并给出提升组织数据素养的十二步法。 本书适合所有与数据打交道的读者阅读,尤其是那些希望提升个人或组织的数据素养的读者,包括普通的个人、数据管理者、组织管理者、数据科学家等。
本书回应人机技术背景下传播范式面临的处境:即现有传播理论在面临人机交互的技术背景时解释力不足的问题,以及智能技术已经突破既有的传播学框架向人机交互的技术领域、认知领域和何者为 人 的哲学领域蔓延。本书从人机交互的背景出发,尝试建立传播学各个环节的新框架,包括以控制论为代表的人机交互的认识论,及人机交互传播的新形态、人机协同的传播新主体、参数化标准的传播新效能等。同时,本书还关注人机交互的文化意蕴,包括数字化身的新主体、真实与虚拟结合的新空间及人机交互中的伦理议题;人机交互亦使后人类命题难以回避。