离散数学--教案全套 （冯岩）第1--9章 命题逻辑 ---代数系统.docx

课程信息

教学内容

教学目的和要求、教学重点和难点

学时

第一章命题逻辑

命题及联结词

命题公式及真值表

命题公式的等值式与蕴含式

联结词全功能集

命题公式的范式

推理理论

命题逻辑的应用

教学目的和要求：（1）理解随机试验、样本空间和随机事件的基本概念，掌握事件的关系与运算（包含、相等、互斥、对立等关系以及并、交、补、差等运算）；（2）掌握概率的公理化定义、基本性质和计算法则，能够量化描述简单随机现象；（3）理解古典概型的定义，掌握古典概率计算方法，了解概率模型的应用；（4）理解条件概率的定义，掌握乘法定理、全概率公式和贝叶斯公式的基本应用；（5）理解事件独立性的概念，能够判断事件的