离散数学绪论数理逻辑.pptVIP

离散数学1

绪言离散数学(又称计算机数学)：数学中研究离散对象的部分。离散：由不同的或不相连的元素组成。研究离散对象的结构及相互之间的关系。如集合(表单)、图(网络)等。研究对象一般为：有限或可数个元素，例如自然数、真假值、有限个结点等。2

绪言离散数学：计算机专业的核心基础课程。重要性仍在不断增长。离散性、有限性是计算机科学的显著特点：计算机以离散的方式存储和处理信息；计算机的字长、容量(元器件)有限，数的个数、大小、绝对值最小数等都有限； 每一门计算机科学的课程都会用到本书的内容。3

绪言离散数学为计算机专业的后继课程如数据结构、数据库、编译原理、人工智能、网络等课程提供必要的数学基础。如， 数理逻辑——人工智能、编译原理 集合论——关系数据库 代数结构——OOP、数据结构 图论——网络、…4

绪言第五部分图论。包括图的基本概念，几种特殊的图。（第14~18章）第一部分数理逻辑。包括命题逻辑和谓词逻辑。 （第1~5章)第二部分集合论。包括集合、关系和函数。 （第6~8章）第三部分代数结构。包括代数系统的一般概念，几类典型的代数系统。（第9~11章）离散数学课程的主要内容5

绪言本课程有二个特点：(1)定义、定理多。 课程内容=定义+定理+例题(2)作业多。如何学好离散数学：(1)熟读教材。准确理解各个概念和定理的含义，弄懂例题；(2)独立思考，大量练习。必须通过大量练习，独立思考来真正获取知识。6

绪言说明：考试范围：课堂内容；希望大家认真完成课后作业。7

第一部分数理逻辑8

数理逻辑数理逻辑：是用数学方法研究思维(推理)规律的一门学科。概念判断推理如红绿灯、苏格拉底三段论代数就是算术的符号化，代数使计算变得精确和方便；解析几何就是几何学的代数化，使得少数天才的推理变成机械化的步骤。所谓数学方法是指：用一套数学的符号系统来描述和处理思维的形式与规律。因此,数理逻辑又称为符号逻辑。9

数理逻辑本课程介绍数理逻辑中最基本的内容，也是与计算机科学关系最为密切的：命题逻辑和谓词逻辑(一阶逻辑)。10

第一章命题逻辑基本概念11

1.1命题与联结词命题：能判断真假的陈述句。真值：命题所表达的判断结果。真值有“真”和“假”两种，分别用true/T/1和false/F/0表示。12

1.1命题与联结词说明：只有陈述句才有可能成为命题，其它如感叹句、祈使句、疑问句等都不是命题；不能判断真假的陈述句不是命题；不一定要求现在就能确定真假，将来能确定也可以。命题：具有惟一确定真值的陈述句。13

1.1命题与联结词例，判断下列句子是否是命题。若是命题则确定真值。1）北京是中国的首都。 2）11+1=100。 3）4是素数或6是素数。 4）存在外星人。 14

1.1命题与联结词5）明年8月8日中午我将在北京。6）请不要吸烟！7）今天你吃了吗？8）x大于5。9）我正在说谎。（悖论，命题逻辑中不讨论这类问题） 理发师悖论：“我给所有不给自己刮脸的人刮脸”x2-2x+1?0。若x能被4整除,则x能被2整除.15

1.1命题与联结词命题分类:原子命题：不能再分解成更简单的命题。如上1)、2)、4)。例：我是一名学生。复合命题：由联结词和原子命题复合而成的命题。如上3)。例：我是一名学生且他是一名工人。16

1.1命题与联结词命题标识符一般用小写的英文字母、或带下标的小写英文字母表示命题，称做命题标识符。如p,q,r,…,pi,qj,rk,…如， p：28是偶数。 q：28能被2整除。命题标识符分为：命题常量：命题标识符表示的是一个具体的、确定的命题，称做命题常量。命题变量：命题标识符表示的是任意一个命题，称做命题变量(命题变元)。命题变量代表任意命题，真值不确定，不是命题。17

1.1命题与联结词问题：下列命题如何表示？如果28是偶数，那么28能被2整除。4是素数或6是素数。符号化问题：命题，联结词数字化问题：数、字符p：28是偶数。q：28能被2整除。18

1.1命题与联结词联结词是复合命题中的重要组成部分。常用联结词5种：否定联结词、合取联结词、析取联结词、蕴涵联结词和等价联结词。定义1.1设p为命题，则p的否定是一个复合命题，记作?p。定义为：若p为真，则?p为假；若p为假，则?p为真。19

1.1命题与联结词由真值表给出严格的定义：p?p1001举例：1)p：北京是一座城市。 ?p：北京不是一座城市。2)q：每一种生物均是动物。F ?q：有一些生物不是动物。T 说明：否定命题，而不是动词。20

1.1命题与联结词定义1.2两个命题p和q的合取是一个复合命题，记作p?q。定义为：当且仅当p和q均为真时，p?q为真。合取联结词“?”的真值表，