计算机等文库下载_中国高校课件下载中心

文档格式：PPT　文档大小：208KB　文档页数：28

3.1算术运算 3.2赋值运算 3.3增自减运算 3.4关系运算与逻辑运算 3.5条件运算 3.6逗号运算 3.7位运算 3.8类型转换

文档格式：PPT　文档大小：107KB　文档页数：7

本章可视为前一章的深入和提高；由于命题逻辑的局限性我们必须引入谓词逻辑.学习本章时要求掌握好谓词与命题的关系、量词、辖域、公式等概念.比较谓词公式的等价、蕴涵与命题公式相应的概念的异同；能将自然语言符号化；能用谓词逻辑进行推理；理解前束范式的意义

文档格式：PPT　文档大小：101.5KB　文档页数：8

高等学校计算机专业教材：《离散数学》课程PPT课件_第四章命题逻辑

文档格式：PPT　文档大小：130.5KB　文档页数：15

高等学校计算机专业教材：《离散数学》课程PPT课件_第六章代数结构

文档格式：PPT　文档大小：100.5KB　文档页数：13

高等学校计算机专业教材：《离散数学》课程PPT课件_第八章图的基本概念

文档格式：PPT　文档大小：107KB　文档页数：7

高等学校计算机专业教材：《离散数学》课程PPT课件_第五章谓词逻辑

文档格式：PPT　文档大小：148.5KB　文档页数：12

高等学校计算机专业教材：《离散数学》课程PPT课件_第二章二元关系

文档格式：PPT　文档大小：96KB　文档页数：7

高等学校计算机专业教材：《离散数学》课程PPT课件_第九章树与平面图

文档格式：PPT　文档大小：60.5KB　文档页数：5

高等学校计算机专业教材：《离散数学》课程PPT课件_第三章集合的基数

文档格式：PPT　文档大小：106.5KB　文档页数：6

高等学校计算机专业教材：《离散数学》课程PPT课件_第七章格与布尔代数