更新时间：2019-10-31 10:28:53
封面
版权信息
内容简介
前言（第二版）
第一篇 集合论与数理逻辑（Set theory & Mathematical logic）
第1章 集合（set）
第2章 关系（relations）
第3章 映射（mapping）
第4章 可数集与不可数集（countable sets and uncountable sets）
第5章 命题逻辑（proposition logic）
第6章 一阶逻辑（first-order logic）
第二篇 图论与组合数学（Graphic theory & Combinatorial mathematics）
第7章 图（graph）与子图（subgraph）
第8章 树（tree）
第9章 图的连通性（connectivity）
第10章 E图（Euler graph）与H图（Hamiltonian graph）
第11章 匹配（matching）与点独立集（independent set of vertices）
第12章 图的着色（coloring）
第13章 平面图（planar graph）
第14章 有向图（directed graph）
第15章 网络最大流（maximum flow of network）
第16章 排列和组合的一般计数方法
第17章 容斥原理（including-excluding principle）
第18章 递推关系与生成函数
第三篇 代数结构与初等数论（Algebraic structure & Elementary number theory）
第19章 整数（integer）
第20章 群（group）
第21章 环（ring）与域（field）
第22章 格（lattice）与布尔代数（Boolean algebra）
第四篇 形式语言与自动机理论基础（Foundation of formal language & automata theory）
第23章 形式语言（formal language）
第24章 有限自动机理论（finite automata theory）
参考文献
