相关文档

西安电子科技大学出版社:面向21世纪高等学校计算机类专业系列教材《离散数学》课程教学资源(PPT课件讲稿)第1章 命题逻辑

1.1命题符号化及联结词 1.2命题公式及分类 1.3等值演算 1.4联结词全功能集 1.5对偶与范式 1.6推理理论 1.7命题演算的自然推理形式系统N 1.8例题选解
团购合买资源类别:文库,文档格式:PPT,文档页数:203,文件大小:3.02MB
点击进入文档下载页(PPT格式)