本教材总结了人工智能的发展历程和取得的阶段性成果，涵盖了人工智能主要的两大类内容：符号主义和联接主义，重点阐述了人工智能经典理论和方法，补充完善了丰富的人工智能新技术。内容包括：绪论、知识表示和逻辑推理、搜索技术、进化算法和群智能算法等传统的人工智能范畴，以及机器学习、强化学习、自然语言处理等人工智能的新技术。

本书是主要阐述人工智能技术在不同领域应用。全书共分为八章，首先介绍了绪论，包括研究背景和意义、研究目的和内容、研究方法和技术路线以及论文结构安排；第二章概述了人工智能技术的定义和发展历程、分类和特点，并探讨了其现状和发展趋势；第三章至第六章分别探讨了人工智能技术在医疗、金融、教育和交通领域的应用；第七章对人工智能技术的

本书是释放人工智能工具ChatGPT力量的终极快速入门指南。你将了解人工智能是如何在日常生活中得到应用的，以及像ChatGPT这样的工具是如何改变未来的工作和生活的；了解ChatGPT可以完成的不同任务，以及何时和如何最有效地使用它；逐步了解关于智能写作、具体提示和后续询问的建议，从而产生更优答复；通过有趣的例子、建议

本书正是基于当前我国人工智能人才培养的痛点、堵点以及核心需求，通过对国内外、多主体人工智能人才培养典型案例的分析挖掘，梳理提炼人工智能人才培养模式与有效路径，充实人工智能人才培养资料库和案例库。此书对关注人工智能人才培养的教育前沿与科研人员、相关政策制定者、教学设计者以及社会公众都有很好的参考价值，能使其迅速了解人工智

深度强化学习

本书全面介绍了ChatGPT指令编程的基本原理和实际应用,分析了指令编程的挑战与未来发展方向。全书共7章。第1章介绍指令编程基础,第2章介绍指令编程的基本知识与技能,第3章介绍指令编写技术,第4章介绍指令编程实践,第5章介绍高级指令编程技巧,第6章分析指令编程的挑战,第7章对指令编程的未来进行展望。

数系的扩充始终贯穿于数学理论的发展之中. 本书利用交互式定理证明工具Coq,在Morse-Kelley公理化集合论形式化系统下, 给出中国科学与技术大学汪芳庭教授在其《数学基础》中采用算术超滤分数构造实数的机器证明系统,包括超滤空间与算术超滤的基本概念、超滤变换以及用算术超滤构造算术模型的形式化实现,构建了非标准实数模

本书系统地介绍了自动控制理论的基本内容，并注重阐述基本理论、基本概念和综合分析方法。本书共分9章，主要内容包括：绪论、自动控制系统的数学模型、时域分析法、根轨迹分析法、频率分析法、控制系统的校正、离散控制系统以及现代控制理论基础的部分内容与非线性系统分析。本书重点突出，层次分明，理论联系实际。各章不仅介绍MATLAB相

神经网络计算引发了新一轮信息技术革命，也对硬件的性能提出了更高的需求。基于模拟型阻变存储器的存算一体系统可以有效缓解存储墙问题，阻变存储器的可靠性退化问题是影响存算一体系统准确率的关键因素，当前尚缺乏面向神经网络应用的可靠性研究。本书从神经网络计算的应用需求出发，建立了从器件到系统的跨层次可靠性分析与评估框架；围绕模拟

本书专注于当今人工智能的核心技术和过程，包括章节总结、历史概述、练习、计算机作业、思维实验，以及强化关键概念的控制题；借助可视化图形来说明基本思想，通过易于遵循的示例来说明如何在实际实现中使用这些思想。本书可作为人工智能、计算机科学与技术、控制科学与工程、优化理论等专业本科生、研究生的专业课教材，也可供计算机科学与技术