计算机科学理论与基础知识
-
AIGC自动化编程李宁本书为读者提供了一次深入探索人工智能和自动化编程的奇妙之旅。全书从AI(Artificial Intelligence,人工智能)的基本概念和背景入手,逐渐深入到如何使用具有代表性的AIGC工具—ChatGPT、GitHub Copilot和Claude2等进行自动化编程。此外,本书还详细介绍了其他多种AI代码生成解决方案。针对桌面应用、Web应用、游戏、办公自动化等场景,本书还提供了丰富的实例。本书适合对AI和自动化编程感兴趣的初学者阅读,也适合有一定基础并且想要提高开发技能的程序员阅读。同时,本书也可以作为高校或培训机构的参考书。
-
控制之美王天威、黄军魁本书是一本围绕最优控制理论展开的实用指南,以深入浅出的方式介绍了最优控制理论、动态规划、线性二次型调节器(LQR)、模型预测控制(MPC)和卡尔曼滤波器以及它们之间的联系,并展示了它们在综合应用中的使用方法与技巧。本书旨在为读者提供全面而直观的学习资源,同时将这些概念有机地应用于实际控制问题。通过书中丰富的例子和详细的代码,读者可以直接实践和验证所学内容,从而深化对这些理论的理解。本书的目标读者群体为自动化类专业的本科生和研究生以及相关领域的科研人员。
-
科技想要什么(美)Kevin Kelly(凯文·凯利)《科技想要什么》一书中,凯文·凯利预测了未来数十年科技的12种趋势,包括创造大脑这一得寸进尺之举。不过,为了让人类创造的世界实现收益最大化,需要对这种全球体系产生的问题和代价保持敏感。作者详细讲述了值得我们学习的阿米什"早期使用者”和其他批判科技自我主义倾向的人所具有的智慧。凯利的新科技理论提供了三种实践经验:通过倾听科技的需求,我们和我们的孩子可以更加出色地做好准备,迎接必将到来的科技;通过采用主动融合原则,我们可以驾驭科技,使之发挥大作用;通过遵从这种类生命系统的长期规则,我们可以获得它的全部馈赠。
-
统计学基础[美]罗伯特·古尔德,[美]丽贝卡·王,[美]科琳·莱恩 著本书是一本一学期的统计学教材。全书分为十章,第 1~4 章讲述探索性数据分析,第 5~8 章的重点是推断,第 9~10 章拓展到一些重要的统计方法。本书的前八章是概念驱动的,涵盖了探索性数据分析和推断统计,这些概念是每个入门统计学生都应该学习的基本概念;后两章建立在前面的扎实的概念基础之上,介绍了几种流行的统计方法,并更全面地探索了前面介绍的方法,例如回归和数据收集。
-
面向乡村振兴的社会公共资源新型网络化城乡共享机制研究李盛竹本书围绕乡村振兴战略对社会公共资源城乡均衡共享的时代要求,以服务农业发展、增强农村活力、提高农民生活品质为导向,建立“社会公共资源城乡共享差距”→“农村信息化促进不足与原因”→“新型网络化共享突破条件”→“共享创新模式、机制与对策”理论架构,剖析农村信息化在促进社会公共资源城乡共享中存在的问题与短板,以新型信息网络技术和各类智能设备为手段,从总体上揭示新型网络化促进社会公共资源城乡共享的机理,整体研究乡村振兴战略背景下社会公共资源城乡共享机制,综合设计出促进社会公共资源新型网络化城乡共享的模式、机制与政策体系。本书是教育 部人文社科基金项目“面向乡村振兴的社会公共资源新型网络化城乡共享机制研究(批准号:18XJA630003)”的研究成果集成。
-
硅谷人生费代里科?法金(Federico Faggin)微处理器的诞生开启了全新的数字时代——正是英特尔4004微处理器的发明,为人类带来了前所未有的融合。而它的发明人就是费代里科•法金。在本书中,国际知名的发明家兼企业家法金为我们依次描述了他的“四次生命”:在饱受战火摧残的意大利北部度过的早年生活;在美国的微电子行业的开拓性工作;作为成功人士的高科技公司企业家生活;近年在意识科学领域进行的探索。在这本回忆录中,法金生动地讲述了诸多轶事,带领读者走过技术发生巨大变革的数十年,并分享了他在人生每一阶段的洞见。本书译者是同济大学外国哲学硕士,曾任商务印书馆编辑,现就职于同济大学设计创意学院可持续未来设计研究中心,任研究助理。曾担任《给设计师的研究指南》一书的译者。
-
矩阵结构与矩阵函数的形式化施智平,吴爱轩,关永,王国辉,张倩颖本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系,并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括:矩阵结构的形式化;矩阵序列与矩阵级数理论的形式化;矩阵函数微分的形式化;矩阵理论的自动化定理证明;矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。
-
计算机组成与体系结构威廉·斯托林斯 著本书介绍了计算机组成及体系结构的核心知识,内容包括计算机系统的概念、运算、CPU、指令集和汇编语言、并行处理等,是计算机及相关专业了解计算机组成的经典教材。
-
大学计算机实验教程刘文洋,许晓强,杨宇姝全书针对Windows操作系统、Office办公软件和主流程序设计工具的操作与使用编写了6个实验,主要内容包括:Windows操作系统的基本操作、管理与维护功能的使用;Word文档的创建、编辑与排版操作;Excel工作表的基础操作、数据的管理、数据统计与查询、图表制作;演示文稿PPT的创建、幻灯片的基础设置和设计; C语言的常量与变量、格式化输入输出函数、语句结构; Python的编程规范、程序运行方式和语法基础。为强化重点实践内容操作的熟练程度,在每个实验后面附有少量操作作业。附录部分根据“大学计算机”课程的实际学习需要,提供了5组习题,供学生课后进行自测。
-
云原生时代的可观测系统最佳实战罗梦婷 蒲实 著在云原生时代,可观测性覆盖了应用的全生命周期,是云原生应用工具之一。本书基于笔者多年的云原生可观测性实践经验,从可观测系统的演进和基础理论开始介绍,结合案例对可观测系统的开源架构、日志、链路、监控、事件和诊断等关键要素的系统设计方案及问题解决思路进行阐述,帮助读者了解在业务实践中可观测性对云原生应用有哪些巨大助力。本书适合云原生应用开发人员、架构师、运维人员、测试人员,以及云计算相关从业人员阅读。