这是一本系统讲解DeepSeek大模型的技术指南，它全面覆盖DeepSeek的底层架构、核心原理及实际应用。本书从人工智能基础、DeepSeek的技术架构，到多模态模型的训练与优化，帮助读者深入理解DeepSeek的工作机制，并掌握DeepSeek在大规模预训练、推理优化及应用部署中的关键技术。全书共有12章，主要包括

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

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

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

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

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

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

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

本书旨在提高读者的人工智能通识素养水平，增强个体在智能时代的适应力与创造力。本书系统构建从人工智能基础理论到前沿应用的完整知识体系，以任务式教学为特色，包括五大项目、14个典型任务，核心内容涵盖人工智能基本概念与平台工具、典型的机器学习算法与应用、深度学习与计算机视觉技术的应用、自然语言处理与语音处理技术应用、AIGC

本书全面、系统地介绍人工智能基础与AIGC应用相关理论与实践。全书共11个模块，分别为初识人工智能、初涉AI大模型、认知AIGC、领会AIGC提示词、AIGC助力在线搜索与文本生成、AIGC助力数据分析与图表绘制、AIGC助力PPT制作与图形生成、AIGC助力图像生成与创意设计、AIGC助力音视频生成与动画制作、AIG