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

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

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

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

本书针对信息内容安全对抗，阐述了信息内容安全相关的主要概念，通过项目组及国内外信息内容安全相关的重大研究项目，体系化地分析了攻守双方的对抗技术，并构建了主动认知安全的框架。第1章阐述了信息内容安全、认知对抗的概念和认知对抗的经典周期模型。第2章介绍了美国国防高级计划研究局、美国自然科学基金以及其他相关研究。第3-6章按

本教材以实际应用场景为导向，以短小精悍的案例为引领，培养学生综合运用OpenCV视觉库进行图像处理的能力。充分利用校企合作的优势，在真实的工作情境中突出工学结合，选择典型的工作任务为实训任务，实现实训与生产相结合。主要内容包括OpenCV简介、开发环境配置、数字图像基础、图像基本操作，图形绘制，几何变换，平滑滤波，阈值

本书主要研究退化视觉图像智能清晰化发展的理论、相关应用以及评价方法。本书首先系统梳理了图像清晰化技术的理论与发展，阐明神经网络、机器学习和深度学习等基本概念、模型、方法对图像清晰化理论的意义；然后针对主客观物体移动、非均质雾霭、雨痕以及雨水累积效应等诸多影响图像退化的干扰因素，着重研究“图像去雾”“图像去雨”和“图像去

全书共有11章，主要介绍了Python语言的程序设计方法，并按照循序渐进的原则，采用程序带动语法的方式，引导读者在实践中掌握核心编程思想，有助于读者提高编程及应用开发能力。本书各章内容前后衔接、深入浅出，选用了大量的程序设计语言经典实例来讲解程序设计的方法，每章配有课后习题供读者练习。

本书属于“一流本科公共计算机系列规划教材”，全书共有13章，主要内容包括程序设计的思想和方法、基本数据结构和控制结构、项目开发过程和编程实践等。本书从实用性和适应性出发，按照循序渐进的原则，以培养读者的计算思维和程序设计能力为目标，采用程序编写带动语法教学的模式，引导读者掌握C语言的核心编程方法，提高读者的应用开发能力

本教材的开发基于对江苏联合职业技术学院所有学校和办学点信息技术课程需求的调研，参考教育部中职和高职信息技术课程标准，吸收五年制高职教育的最新理论和实践研究成果，符合五年制高职教育人才培养目标的定位和要求。教材适当反映信息技术的历史、应用和发展，内容深入浅出、难易适中，突出专业实践技能经验的积累和培养，重视启发学生思维和