[离散数学]马光思西安

【离散数学】马光思西安.pdf普通高等院校计算机类专业系列教材 离散数学 DiscreteMathematics普通高等院校计算机类专业系列教材 编审专家委员会名单 主任类员:冯博琴(陕西省计算机教育学会理事长,西安交通大学计算机教学实验中心主任,教授)副主任委员:陈建锋(陕西省计算机教育学会副理事长,西安石油学院计算机系教授)李伟华(陕西省计算机教育学会副理事长,西北工业大学计算机系副主任,教授)武波(陕西省计算机教育学会副理事长,西安电子科技大学计算机学院副院长,教授)李荣才(总编辑,教授)委员:(按姓氏笔划排列)巨永锋(长安大学信息工程学院副院长,教授)冯德民(陕西师范大学计算机科学学院院长,教投)石美红(西安工程科技学院信息控制系教授)朱明放(陕西目录 第1章命题逻辑 习题5 *141 1命题及命题联结词第6章 代数系统1命题公式的分类与演算 6 运算及其性质 1联结词完全集 6 代数系统 1命题范式.半群和么半群 1有效论证及推理规则 6 群的基本概念和性质 *1命题演算的形式系统L 6 循环群与置换群 习题1 6 子群、群同态、群同构 第2章 调词逻辑 6 陪集、正规子群及商群 2 谓词辑的基本概念环和域 2谓词公式及其分类 习题6 第7章 布尔代数 2前束范式 7 格 2谓词逻辑的推理理论4 7.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。