第4、5、6章 一阶逻辑基本概念、一阶逻辑等值演算与推理、集合代数

知ing

离散数学

屈婉玲、耿素云、张立昂 编 / 高等教育出版社

. 上传

查看本书

第4章 一阶逻辑基本概念


第5章 一阶逻辑等值演算与推理


第6章 集合代数



查看更多