1内容简介 本书包括数理逻辑、集合论、图论、组合分析初步、代数结构和形 式语言与自动机初步等6个方面的内容. 书中概念论述清楚，内容丰富，通俗易懂，并且着重于概念的应 用，而不着重于定理的证明.每章后均附有习题，建议学时60～80. ...

1目 录 第1章 命题逻辑 引言 1.1 命题及其表示 1.2 逻辑联词 1.3 命题公式与真值函数 1.4 真值表与等值公式 1.5 重言式与蕴涵式 1.6 其他逻辑联词及逻辑联词完备集 1.7 对偶和对偶定律 1.8 范式 1.9 命题演算推理理论 1.10 命题...