"本书系统、全面地介绍了初识AI——人工智能基础知识，玩转AI——人工智能应用体验，揭秘AI——人工智能核心技术和思辨AI——人工智能安全与伦理等各个方面知识。通过本书，读者可以更好地理解人工智能技术在各行业领域的广泛应用，为后续深入学习人工智能的各种技术奠定基础。本书立足于人工智能时代的前沿，注重培养读者的人工智能思

布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础。利用计算机证明辅助工具，可以完整构建这三大母结构的形式化系统。本书利用交互式定理证明工具Coq，实现Morse-Kelley公理化集合论形式化系统，可以迅速而自然地给出一个数学基础，摆脱了明显的悖论。在我们开发的系统中，全部定理无例外地给出Coq的机器证明代码，所

本书覆盖智能文档处理、协同办公、对话系统三大核心场景，详细阐述表格推理、文本纠错、公文写作、RAG问答系统等关键技术方案，并通过企业级案例展示工程化落地的全流程。

本书重点介绍企业级大模型应用开发、模型调优及部署运维等技能。全书共10章，内容涵盖生成式AI概述、大模型提示词深度解析、LangGraph+CrewAI案例、生成式AI应用开发项目实战、大模型指令微调与PEFT技术、RLHF与DPO模型对齐、大模型应用开发案例实战、为何Sora是通往AGI道路的里程碑、解码Sora架构

本书分为三篇。AIAgent基础篇：介绍AIAgent的基本概念和开发模式，引出AIAgent的技术体系和实现方式，并以最常见的OpenAILLM为例，演示从零构建一个AIAgent的过程，提供OpenAISwarm框架的使用方式和案例。AIAgent实现篇：介绍AIAgent的典型实现模式，包括通用型的ReActAg

本书共分为6个项目。共分为六个项目，分别为TensorFlow在服饰行业中的应用、TensorFlow在用户评论分析中的应用、迁移学习在医疗行业图像分析中的应用、基于Flask的动物识别应用与部署、基于RNN的古诗词生成应用、基于VGG19的艺术图像风格迁移等。每个项目都包含引导案例和具体任务，通过任务实施，使学生能够

本书以零基础读者为核心，系统、全面地讲解了人工智能的基础知识、应用场景及工具使用等内容，引领读者在认知与实践层面理解人工智能，为后续深入研究与多元应用奠定基础。本书采用“概念原理+工具应用+价值思考”的结构进行讲解。本书共9章，包括AI认知基础模块（认识人工智能和人工智能工作原理）；核心应用模块（大语言模型及提示词工程

本书通过系统而全面的介绍，帮助读者深入理解和掌握图机器学习的基本原理、方法和技术；同时，通过丰富的案例和实践经验，展示了图机器学习在各个领域的应用价值和广阔前景。 本书基于斯坦福大学图机器学习CS224W课程的内容编写，结合作者自身和团队学生在图机器学习中的痛点和实践经验，重新梳理知识脉络，重点介绍图机器学习的相关知识

本书以人工智能基础理论为基石，以“认知—技术—应用—素养”为主线脉络，采用由浅入深、循序渐进的编排方式，构建系统的学习体系。 本书共分为四大学习模块，人工智能认知基础模块包括“探索启蒙一智能新纪元的奥秘”学习主题，带领学生了解人工智能的起源与发展；人工智能技术支撑模块包括“理论洞见——人工智能的根基”与“技术前沿——人

在数字化时代，随着大数据、深度学习、自然语言处理等关键技术的飞速发展，生成式人工智能已经从概念走向现实，深刻地改变着人们的生产生活方式。本书以人工智能生成内容（AIGC）为核心，系统地讲解生成式人工智能在各个领域的具体应用，共分为10章，分别是AI与AIGC概述、AIGC工具应用基础、AIGC文案创作、AIGC图像创作