全书共12章，包括48个实验，每个实验都设有“实验目的”“实验环境”“实验内容和步骤”“思考与练习”。每个实验都给出操作步骤或操作提示，并通过示例引导学生快速掌握各种软件的基本功能和操作技术。本书实验内容丰富、覆盖面广、图文并茂，有利于学生上机操作，巩固所学的知识。

本书以人工智能基本素养和应用能力培养为目标，兼顾基础知识和实际应用。全书理论与实践相结合，注重科学性、普适性、应用性和兴趣性。本书共9章，内容涵盖计算机基础知识、人工智能概述、Python程序设计、机器学习、深度学习、计算机视觉、自然语言处理、知识图谱、大模型技术。

本书不仅详解多模态融合、大模型推理、快思考到慢思考、算力与对策、幻觉与对策等前沿技术，还直面AI伦理之问：当模型参数量突破人类神经元总数，模型会成为文明的颠覆者，还是人类最强大的外脑？本书由具有海外工业界背景的、多年深耕AI技术的大学教授编著完成，用场景叙事与工业美学，呈现大模型的技术史诗。翻开本书，您将走入大模型的美

本书涵盖了人工智能的定义与内涵、人工智能的发展历程、人工智能在生活中的应用实例、职业场景导入、人工智能平台与工具、人工智能在生活中的应用拓展、人工智能项目实战(初级)——语音助手开发、人工智能项目实践(中级)——智能助手开发、人工智能项目实践(中级)——图像识别应用、人工智能项目实战(高级)——数据分析与预测、人工智能

"本书系统、全面地介绍了初识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的艺术图像风格迁移等。每个项目都包含引导案例和具体任务，通过任务实施，使学生能够