计算机科学中的离散结构

计算机科学中的离散结构 内容提要

    《计算机科学中的离散结构》是按照教育部离散数学教学大纲，参考ACM & IEEE CC2001和CCC2002（中国计算机科学与技术学科教程）的教改要求编写的。《计算机科学中的离散结构》涵盖了经典的“离散结构”或“离散数学”课程的主要内容，包括集合论基础、逻辑代数、形式系统与形式推理、组合论基础、图论基础、关系与函数、计算理论基础和抽象代数学基础。具有内容系统全面、阐述浅显易懂、编排合理新颖、使用灵活方便的特点。《计算机科学中的离散结构》可用作高等院校计算机科学与技术专业及计算机软件学院本科生、专科生的离散数学课程的教材，以及毕业生考研复习用书；也可作为计算机教育工作者、相关专业技术人员的参考读物。

计算机科学中的离散结构 目录

编者的话
前言
第1章 集合代数
第2章 两个常用数学基本原理
第3章 逻辑代数（上）——命题演算
第4章 逻辑代数（下）——谓词演算
第5章 形式系统与推理技术
第6章 计数
第7章 递归关系
第8章 图
第9章 二分图、平面图和树
第10章 关系
第11章 函数
第12章 递归函数集与可计算性
第13章 代数结构概论
第14章 群、环、域
第15章 格与布尔代数
参考文献

· 计算机网络实验教程

· 计算机基础教程

· 面向对象程序设计与Java语言

· 操作系统简明教程

· 编译方法

· 分布式对象技术

· 计算机网络程序设计

· ROSE对象建模方法与技术

· Sun核心技术内幕——Solaris多线程程序设计指南

· 计算机科学中的离散结构

· 离散数学导论

· 计算机科学中的现代逻辑学

· 离散数学解题指导

· 计算机数学基础