01命题逻辑讲解.pptVIP

; 绪论 1.何谓离散数学 离散数学是随着计算机科学的发展而形成的一门工具性课程。它主要是研究离散量的结构及相互之间的关系，同时离散数学不仅重视存在性问题的研究，更重视可行性问题的研究。 2.开设离散数学的目的 奠定计算机科学必备的数学知识，提高学生逻辑思维的能力。 3.离散数学所包含的内容;目 录;学习本课程的具体要求; 考核的方式、要求、标准 本课程以总评成绩为最终考核成绩，总评成绩为百分制，满分为100分。总评成绩由2部分组成，其中平时成绩占30%，期末考试成绩占70%。平时成绩和期末考试成绩的考核方式、要求、标准分别如下： 一、平时成绩 平时成绩由三部分组成：考勤按全院统一要求，占总评成绩的10%，即10分；随堂测验（平时测验）占总评成绩的5%，即5分；作业占总评成绩的15%，即15分，总共30分。 考勤按学院的统一规定考核和记录。迟到和早退15分钟内为迟到，15分钟以上为旷课，迟到3次等同于旷课1次。登分标准是全勤10分，每缺勤一次扣10/34分，正式请假并批准的在考勤中不扣分；; 本课程安排一次随堂测验，占总评成绩5%，即5分。成绩按A、B、C、D、E五级，分别为5分，4分，3分，2分，1分。 作业是日常检查学生复习、理解、掌握所学知识的主要形式，每次批改作业评分标准从高到低分：A、B、C、D、E 5级，一学期作业全部完成后给一个总分。要求学生独立完成作业，对抄袭行为双方予以批评教育，情节严重的适当扣分。鼓励学生努力学习，凡主动找老师问问题和认真订正作业中的错误者都适当加分。 ;授课人： 田 检 答疑时间： 星期四 10:00pm—12：00pm 办公地点：基础部（综合楼414） 电 话：020E-MAIL： tj@ 课件下载地址：40 基础部 ;第一篇 数理逻辑 ; 辩证逻辑 　传统演绎逻辑 　　　　　　　　　　　　　　　　　 逻辑学　　　　　　　传统形式逻辑　传统归纳逻辑 　　　　　　　　　　　 　　　　　　　　　　　　　　　　　简单逻辑方法 　　　　　形式逻辑 　　　　　　　　　　　　　　　　　现代演绎逻辑 　　　　　　　　　　　　　　　　　（数理逻辑） 　　　　　　　　　　　　　　　　　现代归纳逻辑 　　　　　　　　　　现代形式逻辑　（概率逻辑等） 　　　　　　　　　　　　　　　　　非标准逻辑 　　　　　　　　　　　　　　　　　（模态逻辑等）; 在数理逻辑中，它撇开研究对象的实质含义，把直观的内容抽象为形式化，而且仅仅研究其形式关系，这些形式关系是数理逻辑研究的关键。 数理逻辑在计算机科学中的作用: （1）在程序设计中的应用。 （2）在逻辑电路设计中的应用。 （3）在定理证明中的应用。 a.1976年阿贝尔、黑肯的四色定理证明。 b.张景中院士的几何题机器证明。 （4）在程序正确性证明中的应用。;第一章 命题逻辑;1.1命题与联结词; 因为只有陈述句才能够表达对事物有“肯定”或“否定”的思维方式，我们把这种“肯定”和“否定”称为真值（Truth）。例如陈述句“今天下雨”，这是一个判断。如果今天真的下雨，则这个判断的值为真(true)；如果今天没有下雨，则这个判断的值为假（false）。 我们把具有这种特点的句子叫命题，它是形式语言中的基本单位。 定义1-1 在数理逻辑中，把能惟一判断真假的陈述句称为命题(proposition)，以命题作为研究对象的逻辑称为命题逻辑(proposition logic)。 ; 命题可能为真，也可能为假。命题的真(ture)、假(false)统称为命题的真值(truth values)。真值为真的命题称为真命题(ture proposition)，记作“1”（也可记作“T”）；真值为假的命题称为假命题(false proposition)，记作“0”（也可记作“F”）。 要判断一个句子是否为命题，应首先判断它是否为陈述句，再判断它是否有惟一的真值；若它是具有惟一真值的陈述句，则为命题。 ;例1-1判断下列句子哪些是命题：;