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

一、作用:对源程序编译之前做一些处理生成扩展C源程序

9.1串行通信 9.280C51的通用同步/异步收/发器USART模块

3.3 数据传送 3.2 寻址方式 3.1 程序状态字 3.4 算术指令

第12章位运算 12.1概述 12.2位运算 12.3位运算举例 12.4位段

绪论 一、离散数学的主要内容 二、离散数学的学习方法

第5章函数 5.1基本概念 5.2函数的复合 5.3特殊性质的函数 5.4鸽洞原理

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

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

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