《计算机科学的逻辑基础》以实际问题的求解为导向，对计算机科学的逻辑基础知识进行了介绍、讨论和归纳，实现了逻辑与计算机之间的知识贯通。《计算机科学的逻辑基础》主要内容包括逻辑与等式、计算机算术、算法、计算实践四个部分，采用三种形式化表示法，即传统的逻辑代数公式表示法、数字电路图表示法以及ACL2表示法实现逻辑推理。《计算

人工智能相比于人力而言具有低成本、高效率和全天候等巨大优势，但其发展往往不能全面满足实际场景的旺盛需求。近年来人工智能与计算机视觉的结合日益紧密，基于深度学习研究计算机视觉成为一个新方向。深度学习的特点是层次化的特征提取、规模更大、数据更多、计算更复杂。本书从介绍计算机视觉的任务入手，总结从传统手工提取特征方法到深度学

本书旨在建立计算机视觉技术的基础知识体系，为读者进入人工智能视觉领域奠定基础。全书共9章，分别从计算机视觉概述、开发工具的使用等基础知识点出发，向与具体任务相结合的技术知识点（包括图像运算、图像增强、图像去噪、图像分割、视频处理、人脸识别、目标检测等）延伸，由浅入深，层层递进，为读者呈现丰富的技术实践场景。本书采用任务

《信息内容安全管理及应用》从概念、技术、应用三个角度出发，介绍了信息内容安全领域的基础知识，包括信息内容安全的概念、管理理论和应用模型、管理应用体系；详细介绍了该领域所处理的各类媒体信息，包括文本、图像、音频等的特点和处理方法，以及互联网信息获取的技术；介绍了各类媒体信息的进一步智能处理的各类算法，以及社交网络的分析模

本书不仅讲解传统的算法设计策略和技巧，而且关注算法领域不断涌现的新概念、新方法和新应用，帮助读者把握技术热点及发展趋势。书中引入了降维技术、并行算法、随机算法、层次化存储结构算法和流算法等新内容，大量使用概率分析和随机化技术，并包含众多新颖的示例，特别是强调计算模型和计算环境，不再局限于理想化的随机存取机模型。全书内容

OpenCV是计算机视觉领域的开发者必须掌握的技术。该书针对OpenCV4.5进行编写，全面系统地介绍OpenCV4.5的使用。书中重点介绍OpenCV4.5相比之前的版本做出的重大修改。《OpenCV4.5计算机视觉开发实战（基于VC++）》共14章，主要内容包括OpenCV4.5的基础知识、OpenCV开发环境搭建

机器视觉简单来理解就是一门用机器代替人眼做测量和判断的技术，在现代制造中应用广泛，如在产品定位、缺陷检测、尺寸测量、条码识别等方面均有应用。机器视觉是一门综合技术，包括数字图像处理、自动控制、光源照明、光学成像、传感器、机器人等知识。本书由浅入深比较全面地介绍了机器视觉的相关知识，包括机器视觉基本知识、工业相机原理及选

本书以培养学生的职业能力为核心，以实际项目为导向，采用任务驱动的教学方法组织教材内容。全书共设置九个项目，每个项目又以不同的工作任务为驱动，充分体现学做一体化特点，增强学生实践动手能力。本书由长江职业学院与西安开元电子实业有限公司合作编写，教材内容设计与硬件技术工程师实际工作岗位相结合，课程标准对接岗位需求，内容通俗易

本书给出了计算机系统设计策略三十六计和算法三十六计的研究成果，提出了计算机学科的四种基本的对立统一关系，即四个基本科学问题，包括集分定位、刚柔相摩、供需相应和串并转换。从集分定位出发，在策略三十六计中提出了架构设计十八计，包括时空转换和多种计算模式的计策；从刚柔相摩出发，在策略三十六计中提出了系统特性十八计，包括八类特

本书面向高等职业院校电气、电子类的专业学生，引入源自企业现场的实际应用案例，结合学生个性化学习需求和高等职业院校复合型高素质技术技能人才培养需要，以温度、力、速度、位移和视觉五大物理量的测量为主线，针对温度、力、速度、位移和视觉中每一种物理量的测量需要，介绍不同传感器的结构、原理、类型、选型及应用方法，进而突出传感器选