本书分为数理逻辑、集合论、图论、组合数学和代数系统简介五个部分,具体内容包括:命题逻辑的基本概念,命题逻辑等值演算,命题逻辑的推理理论,一阶逻辑的基本概念,一阶逻辑等值演算,集合代数,二元关系,图的基本概念,几种特殊的图,基本的组合计数公式,代数系统简介等。
屈婉玲 耿素云 张立昂 / 高等教育出版社 / 2018-12 / 其他
八五品
12.50
2021-08-15 上书
加入购物车
收藏