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

《智能控制技术与应用案例设计》聚焦智能控制技术在石化行业的应用，全书共六章。首章阐述智能控制的发展、研究内容、对象、性能及特点。第二章围绕模糊控制，涵盖理论、模糊PID、Matlab实现及工程实验。第三章将李雅普诺夫稳定性理论融入自适应控制，解决非线性系统问题并给出仿真实例。第四章构建神经网络系统辨识体系，用于流程工业

本书以最新的MySQL8.0为平台，系统介绍了数据库概述、MySQL数据库与SQL基础、MySQL数据定义功能、MySQL数据操纵功能、存储过程和自定义函数、触发器和事件、事务机制和锁机制、关系规范化理论、数据库维护、数据库应用案例、上机实验共11章内容。第1～10章为MySQL数据库的基本概念及应用技术，第11章为配

本书阐述各技术的基本概念、发展脉络、核心原理和关键应用。物联网模块，介绍从感知层到网络层的各类技术，并结合智能家居、智慧农业等实际案例剖析；云计算章节深入探讨其核心技术、服务与部署模式，以及在金融、医疗等行业的应用场景；大数据板块涵盖数据处理全流程知识，并通过电商等行业案例展现大数据的价值；人工智能领域，讲解机器学习、

本书共分为4部分：第1部分为软件工程，包括软件工程基础知识、软件系统需求分析和开发文档的识读与编写；第2部分为必须掌握的计算机基础知识，包括计算机基础与体系结构、操作系统原理与技术和计算机网络；第3部分为实际的软件设计，包括基本应用程序开发、算法设计基础、数据库设计、桌面程序设计、网页程序设计和网络应用程序开发；第4部

本书共11章，主要介绍了数据分析入门知识，Python的安装与基础知识，Excel与Python的数据获取、数据清洗、数据预处理、数据计算、数据统计汇总和数据可视化分析，还介绍了Python批量处理Excel数据的方法，并通过两个综合实例讲解了数据处理与分析的实战操作。

本书通过四大篇章的讲解，全面涵盖了Unity开发从入门到实战的各方面内容。在起航篇中，通过讲解Unity引擎的基础使用，帮助读者快速上手引擎开发。在编程进阶篇中，通过C＃编程、面向对象开发、设计模式、Unity引擎编程基础以及数学开发基础5个章节的讲解，为初学者建立系统的编程技能，并掌握基础的3D数学思维与引擎编程能力

本书从增强现实技术的基本概念、发展历史、应用领域，到增强现实技术框架，界面设计，以及到最后的技术实现，详细讲述了AR技术的应用场景及制作方法，可帮助读者从基本的增强现实技术认知，到上手制作增强现实应用，是一本综合性的教材。

本书主要内容包括WPS文档的演示，文档的设计，表格的使用Python基础知识的介绍以及人工智能的应用。本书将案例和课程思政通过实验的方式巧妙融合，结构清晰、内容翔实，实践案例丰富，覆盖前沿技术，启发学生对技术发展的辩证思考。

本书共七个项目，内容包括计算机基础知识、MicrosoftOffice应用基础、Word文档高效处理、Excel数据处理与分析、PowerPoint演示文稿设计、综合应用与应试强化、AI赋能文档处理。