1离散命题概念13-2-27要素.pptVIP

1、课程意义： 离散数学是现代数学的一个分支 随计算机的发展而出现的分支 研究方法与以实数连续性为基础的微积分形成鲜明对照 3、 主要内容 学习的主要内容： 1）数理逻辑－ （命题逻辑）1,2,3章 (一阶逻辑) 4，5章 2） 集合论 6，7 章 参考书： 离散数学及其应用 傅彦编 电子出版社（应用-通俗） 离散数学 左孝凌等编 上海科技文献出版社（经典） 4、 学习方法 （1）概念的基本术语，领会准确清晰 （2）定理的条件结论明确 （3）演绎、推理要求严谨 （4）听课认真 、作业自己完成、有问题及时问。 （5）课程成绩 （考勤、练习、作业40％，期末考试成绩60％） 第一部分 数理逻辑 逻辑学：研究人的思维形式规律的科学 根据研究的对象和方法分为三类 1.辩证逻辑---认识论（马克思主义的辩证唯物论） 2.形式逻辑--- 研究人的思维逻辑的形式和规律（古希腊-亚里斯多德） 3.数理逻辑---采用数学方法来研究形式逻辑中的推理规律（符号逻辑） 例、 判断下列句子是否为命题 (1) 太阳是圆的； (2) 北京是中国的首都； (3) x + y 0 ； (4) 充分大的偶数可表示为 两