本书针对综合性大学和工程类院校计算机类专业本科生进行选材与编撰,内容覆盖ACM计算机科学课程体系规范2013(Computer Science Curricula 2013)中离散结构知识领域下除离散概率之外的全部知识点。
从离散结构形式化表示理论到各类离散结构及其数学模型的介绍,本书在内容组织上力求做到突出知识内在联系与保持知识模块完整性之间的平衡,从而使教材更具可读性和系统性。本书章节内容不仅覆盖集合论、数理逻辑、组合论、图论、可计算性、抽象代数等基础理论部分,还给出了这些基本理论在粗糙集、模糊集、自动推理、智能搜索、加密技术等领域的应用,并涉及公理化集合论、数理逻辑形式系统、形式语言与自动机等相关理论。本书以离散结构为建模对象,紧密联系计算机科学技术,特别强调应用能力、证明技术、计算思维的培养。
为便于学生及时复习并巩固所学知识,本书在每节后安排了大量习题;同时,为便于学有余力的学生进一步深造,每章后安排了一节阅读材料,以此来对本章所介绍的理论进行深入探讨,或进一步介绍技术的相关应用。
本书不仅可用作高等学校计算机类专业本科生的离散数学课程教材,也可供相关工程技术人员阅读参考。
Linux是一个自由开放的操作系统,集成了很多高效便捷的开发工具,大数据应用进一步推动了市场对Linux人才的需求,促进了Linux系统的发展。本书共分成3篇,第1篇包括7章,主要面向初学者,分别从系统使用者、网络管理者、shell程序开发者、应用程序开发者和内核开发者的角度,全方位地介绍Linux操作环境、操作命令,以及基本的开发方法;第2篇包括4章,主要面向大数据应用的开发者,介绍基于Linux系统的大数据计算平台、存储平台、几个广泛使用的应用开发和分析工具,以及常用的机器学习平台;第3篇是实验,使读者从初步认识Linux、熟练使用shell命令、掌握系统管理原理,到熟悉基于Linux的大数据开发平台,并学会几种典型的大数据存储和开发方法,以及常用的机器学习算法。
本书内容精简,知识覆盖面广,适合作为计算机科学与技术、软件工程、网络工程、人工智能等专业本科生教材,也可供基于开源平台的大数据应用开发工程技术人员参考。