计算机科学理论与基础知识
-
信息技术基础实训教程张立立 王彤 刘晨 陈郭成 郭崇双本书致力于系统培养大学生信息技术基础实践能力,详细介绍了实验室管理及用电安全、实验软硬件开发环境、基于单片机的程序设计及焊接实践、基于树莓派的应用系统实践、智能家居的设计与应用实践及通用计算机系统实践。在内容选择上,本书既保留传统基础性实验,同时又增加了新兴热门知识;在实际操作训练中,严格按照工程要求和流程进行操作,手把手教学,使学生掌握基本技能和工艺制造流程。书中包含大量有趣的与工程和生活相关的实践内容,主要实训如下: 树莓派系统环境搭建 数码管显示及应用 单片机按键检测及蜂鸣器应用 爱心灯套件的焊接及调试 基于树莓派的综合实验 智能家居系统实物设计及虚拟设计 计算机硬件系统的拆卸与组装 计算机操作系统的安装通过实训项目的设计,让学生自己制定实验计划和实验方法,并逐步完善实验方法和实验步骤,实现预定目标,进而提高学生工程设计能力和训练水平。 -
React设计原理卡颂本书致力于剖析React设计理念与实现原理,基于React 18版本源码讲解。全书划分为3个篇章,第1篇为理念篇(第1章~第2章),讲解React在主流前端框架中的定位与设计理念。第2篇为架构篇(第3章~第5章),讲解React架构中的3个阶段——schedule、render、commit,以及如何在架构中践行设计理念。第3篇为实现篇(第6章~第8章),贯穿React架构中的3个阶段,讲解具体API的实现细节。本书的目标读者包括有实际React项目经验并希望更深入理解React的开发人员,以及没有使用过React但对前端框架设计感兴趣的开发人员。通过学习本书,读者可以对当前主流前端框架的实现原理有清晰的认识,并对React从理念到实现层面有更深入的理解。 -
同构刘新宇本书从数字、递归、对称、范畴、融合、无穷、悖论七个方面介绍了计算机程序的数学基础和原理,并以“同构”概念为线索揭示出编程本质上是和数学同构的。第1章介绍皮亚诺算术公理系统,通过5条公理,构筑了计算机程序大厦的基石;通过单向链表、斐波那契数列等例子,展示了和自然数同构的计算结构。第2章介绍递归,通过欧几里得算法作为开端,终把递归的数学原理构建在Lambda演算和Y组合子之上。第3章介绍对称群、环、域等抽象代数结构,解释了伽罗瓦理论这一抽象思维的明珠。第4章介绍范畴论,把列表、异常、多态、类型系统、复合数据结构等众多编程概念构筑在范畴论的基础上。第5章介绍融合律,它是进行算法推导和优化的有力工具。第6章介绍无穷,给出了康托尔的无穷集合论和超限数概念,介绍了编程中流的概念和无穷的关系。第7章以罗素悖论、可计算性和哥德尔不完全性定理结束本书,介绍了计算能力的边界和对编程基础哲学的影响。 本书还在各个章节中介绍相关数学家的人生经历和逸闻趣事,讲解他们如何克服困难、追求真理、创造奇迹,并穿插讲述编程、数学、艺术、音乐之间的有趣联系。 -
大计算概论与应用程伟,高锡超,丁峰,林兵,潘润铿大计算是融合了算力生产、算力传输和算力服务的一个综合体, 通过深度应用云计算、 大数据、 人工智能等新兴技术, 有力支撑了我国数字经济发展。本书从技术和应用两个角度出发, 系统总结了作者多年来在云计算、大数据、 人工智能、 数据中心等领域的工作实践经验, 在阐述大计算相关理论的基础上, 结合国际最新技术发展方向及典型应用案例进行编写, 并配有 100 多幅精美图片, 力求深入浅出、 通俗易懂。全书共分七章,分别对大计算、数据中心、云计算、智能计算、超级计算、边缘计算及其融合发展进行了探讨、分析,最终提出了异购算力平台的建设思路。 -
分布式人工智能安波 等全书可分为五大部分,阐述了分布式人工智能的基础知识以及相关进展,包括分布式人工智能简介、分布式规划与优化、多智能体博弈、多智能体学习和分布式人工智能应用。除此之外,由于本领域尚处于蓬勃发展阶段,相关技术与应用层出不穷,因此书中还提供了研究者对于分布式人工智能发展的相关预测,主要集中在:第一,更复杂和更大规模的分布式人工智能问题的研究和解决;第二,分布式人工智能的安全性,鲁棒性和泛化性,这将极大地促进人们对于分布式人工智能问题的理解;第三,分布式人工智能的可解释性,这将使得人类能够理解算法的决策,为分布式人工智能的落地减少障碍。 本书适合相关领域的从业者学习,也适合作为本领域研究者的案头参考。 -
逐梦太空兰宁远本书是一部航天题材的科普读物,是作者在航天系统工作20余年,深入研究、采访写就的呕心之作。全书聚焦国家力量和民族智慧,以中国载人航天工程的重大节点为脉络、以时间为线索、以人物为灵魂,生动讲述了中国载人航天的发展之路,是一部严谨专业、文字生动、富有情趣,科学性、思想性和艺术性相统一的优秀作品,既可以作为普及载航天知识的教科书,也是传承载人航天精神、开展爱国主义教育的生动教材。 -
网络空间环境概览任传伦 等人类既是环境的产物,也在不断改造环境。网络空间环境就是人类创造出来的另一个生存环境。随着计算机科学、通信与网络技术的飞速发展,这个由科技为底色、物质与思维共同参与的新空间,已经在人类的生活当中无处不在,人类也由此走进了一个全新的生存环境。可以说,网络空间是陆地、海洋、天空与太空的延伸,是物质意义上的"第五空间”,网络空间环境是自然环境、社会环境的延伸,是人类生存的"第三环境”。本书共分为六章,第一章是认识网络空间环境,从历史维度阐述了网络空间的产生和发展历程,网络空间环境概念的形成以及研究网络空间环境的学术意义与现实意义;第二章是网络空间环境对世界的影响,网络空间是一个崭新的生存环境,它的影响是方方面面的,本章从政治、经济、文化和军事四个方面入手,分析阐述了网络空间环境对世界的影响;第三章是网络空间环境的特点与构成,作为一个新生事物,我们从物质基础、存在形式、运用模式、行为主体和沟通互联等几个方面,阐述了它的特殊之处,同时也从不同维度展示了它的构成和指标;第四章是网络空间环境的构建及技术保障,作为一个不同于现实环境的虚拟空间,如何让它可视化、具象化,是进一步理解、运用网络空间环境的重要技术,本章从技术角度出发,给出了解决方案;第五章是网络空间环境的安全困境,作为"第三环境”,网络空间环境如同自然环境遭到破坏、社会环境出现动荡一样,网络空间环境也日益面临各式各样的安全挑战;第六章是如何维护网络空间安全,本章从物理层面、技术层面和治理层面,给出了维护网络空间环境整体安全的思考。 -
生活数字化与网络民俗徐国源 等著随着互联网普及和迅速发展,传统民俗文化如节庆、信仰、文艺、娱乐等,已演变出许多具有网络专属特征的民俗新形式,如:网络生活习俗、网络祭拜、网络娱乐游戏、网络民间文艺等。本论著基于数字化时代民俗文化传播和传承出现的新变化,探讨生活数字化与民俗衍化、网络栖居与俗民关系重建、网络空间的“再习俗化”,“转生型”民俗、“再生型”民俗等问题,系统而深入地研究了数字化时代“网络民俗”这个学术新生长点,并对互联网时代民俗文化活态传承与保护问题进行了深度思考。 -
原理、技术与实战颜海镜开发JavaScript库是入门前端领域的重要一步。本书旨在帮助前端开发者掌握现代JavaScript库的开发技术,让每个人都可以开源自己的现代JavaScript库。本书系统介绍了现代JavaScript库开发涉及的技术、原理和最佳实践,以及将库开源后如何做好维护工作。在最佳实战部分,本书选取了9个典型库作为案例,展示开发流程,代码清晰、完善。 本书既适合对现代JavaScript库开发及开源感兴趣的前端开发者阅读,也适合想要学习前端项目开发技术的初学者阅读。 -
因果推断与机器学习郭若城 等本书是一本理论扎实,同时联系实际应用的图书。全书系统地介绍了因果推断的基本知识、基于机器学习的因果推断方法和基于因果推断的机器学习方法及其在一些重要领域的应用。 全书共分6章。第1章从潜结果框架和结构因果模型出发,介绍因果推断的基本概念和方法。第2章介绍近年统计和机器学习文献中出现的一些重要的基于机器学习的因果推断方法。第3章介绍能够提高机器学习模型的泛化能力的因果表征学习。第4章介绍因果机器学习如何提高机器学习模型的可解释性与公平性。第5章介绍因果机器学习在推荐系统和学习排序中的应用。第6章是对全书的一个总结和对未来的展望。本书对结合因果推断和机器学习的理论与实践进行了介绍。通过阅读本书,读者不仅可以掌握因果机器学习的基础理论,还可对本书中提到的论文代码进行钻研,从而在实践中加深对因果机器学习的理解。
