形式语义学是逻辑与语言交叉研究的产物，是在逻辑框架内构建的关于自然语言的语义学。形式语义学根植于逻辑学、哲学、数学、语言学等好几个学科，其显著特征是运用逻辑和数学的形式化方法去研究自然语言的形成规律。高芸编著的《形式语义学研究》介绍了经典形式语义学理论的两个重要代表一一塔斯基真值语义理论和蒙太格语法，描述了动态语义学理
《计算机组装与维护技术实训教程（第2版）/21世纪高等学校计算机基础实用规划教材》从计算机组装与维护的实训出发，结合计算机系统最新发展动态，讲解了计算机硬件组成、硬件选购和组装、BIOS设置、硬盘分区、软件系统安装、移动网络组建、系统安全维护与故障处理、数据备份与恢复等技术细节，虚拟化技术的概念及虚拟机VMWareWo
《计算机硬件检测维修》以全国技能大赛所用的计算机硬件检测维修台为学习平台，内容分五个模块：认识常用元器件、掌握常用维修工具及维修平台的使用、认识计算机系统原理、学会检测维修台式计算机、学会检测维修笔记本电脑，并将每个模块内容任务化，以任务教学来达到技能的培养。书中配有大量图示，操作方法翔尽，可操作性强，同时配有光盘（包
《信息安全概论(重点大学信息安全专业规划系列教材)》由郝玉洁、吴立军、赵洋、刘瑶编著，本书全面介绍信息安全的基本概念、原理、知识体系与应用，涵盖了当前信息安全领域的主要研究内容，是信息安全专业的入门教材。本书主要涉及密码学基础与应用、网络安全技术、环境与系统安全技术、操作系统安全技术、数据库安全技术等信息安全领域的基础
《机器视觉自动检测技术》提出了网络化多目视觉在线快速检测理论与系统，系统地介绍了机器视觉自动检测领域的知识和技术。本书共分为六章。第1章讲述数字图像与机器视觉技术的发展历程、发展趋势和前景。第2章讲述机器视觉系统的硬件构成，包括相机的分类及主要特性参数、光学镜头的原理与选型、图像采集卡的原理及种类、图像数据的传输方式等
本书是根据全国高等教育自学考试计算机及应用专业（独立本科段）课程自学考试大纲编写的。全书共分8章，主要内容包括：计算机系统结构概论；数据表示、寻址方式与指令系统的设计、优化、发展和改进；存储、中断、总线与I/O系统；存储体系概念、虚拟存储器、高速缓冲存储器、三级存储体系；重叠方式和流水方式的标量处理机及指令级高度并行的
计算机硬件组成包括运算器、控制器、存储器、输入设备和输出设备五大部件，《计算机组成原理教程/应用型本科信息大类专业“十二五”规划教材·21世纪普通高等教育优秀教材》即围绕这五大部件展开讨论。全书共分9章：第1章为计算机系统概论；第2章为计算机中的数制及编码；第3章为总线系统；第4章为中央处理器；第5章为指令系统；
相比于传统类型的算法分析与设计教程，本书的最大特点是将计算思维这种思维方式贯穿于全书的各个章节中，力图使读者不仅理解和掌握这门课程的基本内容，而且通过对全书的学习，能够认识和体会计算思维这种新的思维模式在算法的分析与设计中的运用方法。除此以外，本书在第8章介绍了当前在算法研究领域的前沿一一智能算法。为了便于读者很好地掌
“计算机数学”是计算机类专业的一门基础课，它描述了计算机科学离散性的特点。全书共分6章，深入浅出地介绍了数字系统，集合、关系和函数，命题逻辑、谓词和量词、推理规则，算法基础（欧氏算法、递归算法等），图论，树和二叉树等基础知识。同时各章节配备了适量的习题供读者练习，以便读者切实掌握相应的数学知识，增强应用能力。
本书是“基于卓越人才培养模式的硬件课程体系建设和教学模式改革”教学改革研究课题的重要成果之一。全书按照普通高等院校计算机专业本科生的教学要求，并根据“计算机组成原理”课程教学大纲及硕士研究生入学考试的要求编写而成。共分为7章：第1章总体介绍了计算机组成原理的基本概念及应用领域；第2章介绍了计算机运算的方法，包括定点数与
书单推荐
