全书共分为8个单元，内容包括信息技术应用基础、文档制作、电子表格制作、演示文稿制作、信息检索、人工智能概述、人工智能的应用、人工智能的安全与伦理。根据教材知识采用传统体例+项目任务式相结合的编写体例，其中，WPSOffice部分采用项目任务式编写体例，其余部分采用传统知识讲解的方式进行讲解。

本书介绍了大数据的概念、基本原理、平台技术和分析技术，编写循序渐进、图文并茂。全书共分为12个模块，分别为大数据概论，Hadoop基础知识，HDFS分布式文件系统，YARN资源管理调度框架，MapReduce分布并行计算框架，Zookeeper分布式服务协调框架，数据采集工具，分布式数据仓库等。

本书基于项目式教学的方式，将HTML标签、CSS样式、JavaScript基础等Web前端开发的知识内容融入其中，具体包括固定宽度的网页制作、百分比自适应宽度的网页制作、rem自适应宽度的网页制作、响应式宽度的网页制作及响应式的网站制作。

本书以电商外卖系统作为案例，将Vue框架的知识划分为8个模块，主要包括制作基础页面、添加路由功能、添加事件交互功能、添加动画交互功能、读取与显示数据、绑定属性与样式、遍历数据、制作购物车功能。每个模块分为学习目标、学习情景、模块分析、实施步骤、扩展练习、测验评价等环节。

本书针对航空发动机关键部件如尾喷管、主轴轴承等对应的高温/高旋极端工况环境下温度、压力、转速等多参数在线精准测试需求，创新性地提出了耐高温敏感器件及测试系统的设计制备及验证方法，主要分析并设计了耐高温传感器件的敏感机理、制备工艺、转换电路、整体封装，集成信号采集、上位机软件补偿算法并实现耐高温高精度压力测试系统与旋转轴

本书共有8章，主要包括Python基础知识、基本数据类型、列表和元组、字典和集合、流程控制、文件、函数和模块、类。本书每一章都有明确的学习目标，每一节都按照“任务单→任务实施→相关知识→拓展任务→任务评价表”顺序编写。每节都有丰富的案例丰富，案例实用、富含思政元素，方便读者学练结合，提升程序开发能力，提升职业素养。在学

本书引入区块链技术构建种质资源数据安全共享模型，重点解决种质资源数据安全共享过程中的数据存储问题、安全问题和用户管理问题。主要工作内容如下：基于区块链的种质资源数据共享方案，针对用户身份数据和种质资源数据提出“IPFS+区块链”的链上链下协同存储模型，构建种质数据上链的合约及对应的上链交互函数，设计了链下存储种质数据的

本书分为9大任务，分别为搭建Spark开发环境、项目数据采集、探索Scala编程方法、揭秘弹性分布数据集、数据可视化、综合实践等。内容设计循序渐进，从Spark基础环境搭建开始，逐步引领读者步入spark的广阔世界。

本书共6个项目，内容涵盖信息素养与社会责任、WPS文档处理、WPS表格应用、WPS演示文稿制作、信息检索技巧以及新一代信息技术实践。本书紧扣教材内容、注重实践、题型多样、题量丰富，学生通过对信息技术技能的学习与应用实践，可增强信息意识，提升逻辑思维能力和解决问题能力。每个项目均设有明确的技能目标和思政目标，通过一系列精

本书重点介绍了基于矛盾体分离理论的一阶逻辑自动定理证明器的各个组成部分、系统构建、演绎过程验证和实验评估，设计实现了基于矛盾体分离演绎的一阶逻辑自动定理证明器、基于矛盾体分离演绎的一阶逻辑自动定理证明融合系统、基于矛盾体分离演绎的一阶逻辑自动定理证明验证检查工具，涵盖了用于一阶逻辑自动定理证明的整个体系。