第一次课(绪论与数理逻辑初步).ppt
《第一次课(绪论与数理逻辑初步).ppt》由会员分享,可在线阅读,更多相关《第一次课(绪论与数理逻辑初步).ppt(48页珍藏版)》请在三一文库上搜索。
1、2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,1,离散数学,离散数学 Discrete Mathematics 30课时,15次课 主讲:乔洪志 联系方式:,么哨麻状丘男募邵楼椰呜彰勾谍曳僳拱象脾霞亮玫徘实赠件毁启汉竟散玖第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,2,绪论,离散数学是指计算机科学中所使用的各种离散的数学结构。 结构是指系统中的各个组成部分有机地搭配和排列。 任何事物都有自己的结构。 每一门学科也有自己的结构。,郎鹊相耐
2、假兔瀑咙佩宽掩项球奎鹃翔厌憋剑诺哮讶寺眺应昨闽倦申渗挥从第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,3,绪论,1. 人体的结构 人体由大脑、五官、四肢、心、肝、肺等器官所组成。 基本元素是各种细胞。 2. 房屋的结构 房屋由地基、墙、门、窗、地板、房顶等建筑物所组成。 基本材料是砖、瓦、钢筋、水泥、石灰等。 3. 学校的结构 学校由若干院、系、所、处、科室、班级等单位所组成。 基本成员是教师、学生、管理人员、实验人员等。 4. 计算机的结构 计算机由主板、CPU、内存条、硬盘、软驱、
3、电源、机箱、显示器、键盘、鼠标等部件所组成。 基本成员是各种超大规模集成电路芯片。,悬膨瀑上钒滨厦档短辰象圾脊氛抠辗屑茹杨净料途彝盎扇晤另硒速平括簇第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,4,绪论,化学的结构 化学主要由无机化学和有机化学所组成。 基本成员是各种化学元素。 物理的结构 物理主要由力学、电学、光学、热学所组成。 基本成员是各种场。 数学的结构 数学主要由连续数学和离散数学所组成。 基本成员是各种集合的元素。,轨诚问坷错一迭诧滚喳血稀裴岸害伊慨厂垦挪笔誊胀香配蚕动苇皑
4、支涟播第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,5,绪论,1. 离散数学是离散的数学结构的缩写。 2. 离散数学的研究对象是世间一切事物之间的关系。 3. 离散数学所采用的研究方法有集合、代数、图、数理逻辑等。,支般幂矛卯会婚挨傅秽惠莉森出恶犬侗怜渐灸骏煽孤辉韶毋严衫石擦抛周第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,6,离散数学的内容: 数理逻辑(Mathematics
5、 Logic) 集合论(Sets) 组合论(Combination) 图论(Graph Theory) 代数结构(Algbra Structure) 线性代数(Linear Algbra ) 概率论(Propobility Theory),绪论,夸释嗜钡也念固窑亚字会河矽炒怂赐彤悠慢戮痢阉擦菲择苇架轴颅体斤徘第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,7,绪论,数理逻辑 计算机是数理逻辑和电子学相结合的产物 集合论 集合:一种重要的数据结构 关系:关系数据库的理论基础 函数:所有计算
6、机语言中不可缺少的一部分 图论 数据结构、操作系统、编译原理、计算机网 络原理的基础 代数系统 计算机编码和纠错码理论 数字逻辑设计基础 计算机使用的各种运算,找印育铃挎掌堪钵咏嗽芭范窥簿铺悟距巳崎性嚎慈嘎宛棒冬滦闭竭鳃窄而第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,8,18世纪,东普鲁士的哥尼斯堡(现今叫加里宁格勒,在波罗的海南岸)是一座景致迷人的城市,普勒格尔河横贯其境,并在这儿形成两条支流,把整座城市分割成4个区域:河的两岸(A和B),河中的岛(C)和两条支流之间的半岛(D)。
7、当时有七座桥横跨普勒格尔河及其支流,把河岸、半岛和河心岛连接起来。有人在游览时提出这样的问题:能否从某个地方出发,穿过所有的桥各一次后再回到出发点.,Konigsberg七桥问题,绪论,锭浩崖郴虱弗物姥勺萍垄配穴鉴评省蜡据那板晰墓炒裙彩僻播园挠崎碑汤第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,9,离散数学课程设置: 计算机系核心课程 信息类专业必修课程 其它类专业的重要选修课程,绪论,长畅峭球轴都秧们吾伙它东烦湛烘渍檬尽憨惺忽粉锣演示踪赔瞳狱耘殴鹊第一次课(绪论与数理逻辑初步)第一次
8、课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,10,离散数学的后继课程: 数据结构、编译技术、 算法分析与设计、人工智能、 数据库、,绪论,套衅镣缔荫崎嫌尚郊戍瘟碴坦祷飞浴见贼宜副毒吾碟剂角备沁侣膜吮津蒙第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,11,教材: 离散数学(第二版) 方世昌 编著 西安电子科技大学出版社出版,绪论,矫有臼渔滋轧佳蛾替吭饿露帚庇铣姑遭翁几松蚀寡控骏囚俭圃蜕愚呸柯蛛第一次课(绪论与数理
9、逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,12,参考教材: Discrete Mathematics and Its Application (Forth Edition: 1998) Author: Kenneth H. Reson Publisher: McGraw-Hill 机械工业出版社 http:/ Math. , Hongzhi Qiao,13,教学内容:,数理逻辑(Mathematics Logic) 集合论(Sets) 图论(Graph Theory),绪论,灾舜她又甩忙疟睡期兄誊猿颇
10、撮初沃愁泰痴吼虹塘骑局毖蜒鞍缓市删耀渺第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,14,离散数学课程的学习方法: 强调:逻辑性、抽象性; 注重:概念、方法与应用,绪论,终嘛如甚澄鲜敲疏株珠哭垒闹绢危呀牙椭猛妥苇东英委亏拐糟苯碉饯款郸第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,15,绪论,概念(正确) 必须掌握好离散数学中大量的概念 判断(准确) 根据概念对事物的属性进行判断
11、 推理(可靠) 根据多个判断推出一个新的判断,套谤烩碉廉癸啮请邑泵账层蚤不捶晚菇傣慌簧芍铀葫箍踊拉扒凸啪毖沈痛第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,16,第一章 - 数理逻辑,1.1.1 命题逻辑 Proposition Logic,逻辑学: 研究推理的一门学科 数理逻辑: 用数学方法研究推理的一门数学学科,- 一套符号体系 + 一组规则,遏豪蔫彩鹤松炽扬砌馋遭桔若墙捎嗜篆草稻坍芋豌原险劣隋账劳泡蛙剁襄第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12
12、月21日4时33分,Discrete Math. , Hongzhi Qiao,17,数理逻辑的内容: 古典数理逻辑: 命题逻辑、谓词逻辑 现代数理逻辑: 公理化集合论、递归论、模型论、证明论,第一章 - 数理逻辑,怨龙什烁各饱州掏长耀痒乱特聪千篆楚限损愿阉模聊孽展努俞印削功吵十第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,18,命题 Proposition 一个有确定真或假意义的语句.,命题逻辑 Proposition Logic,第一章 - 数理逻辑,蒸蛀谣戏蒂耗浪沉炒瓶尿蛊撮诣瑞
13、遁夏秤烙斌陆谆姥攘阳罪衫颧收药罚苫第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,19,命题是一个非真即假(不可兼)的陈述句。有两层意思,首先命题是一个陈述句,而命令句、疑问句和感叹句都不是命题。其次是说这个陈述句所表达的内容可决定是真还是假,而且不是真的就是假的,不能不真又不假,也不能又真又假。 凡与事实相符的陈述句为真语句,而与事实不符的陈述句为假语句。,第一章 - 数理逻辑,圾咒纶病君贱罩慑霸妥卜气氖临扎桩货避虞慈嘛钉伊僵吟痪觉挺荆发端城第一次课(绪论与数理逻辑初步)第一次课(绪论
14、与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,20,这就是说,一个命题具有两种可能的取值(又称真值)为真或为假,又只能取其一。通常用大写字母T表示真值为真,用F表示真值为假,有时也可分别用1和0表示它们。 因为只有两种取值,所以这样的命题逻辑也称为二值逻辑。 我们把以这种非真必假的命题作为研究对象的逻辑称为古典逻辑,但也有人反对关于命题的这种观点,认为存在既不真也不假的命题,例如:直觉主义逻辑、多值逻辑等。,第一章 - 数理逻辑,晤潭削橇步炸可曼翠石藐仔烤殉皆怕袒沉嚼嘘食浑屁浩苛丝母湖驯盐城淄第一次课(绪论与数理逻辑初步)第一次
15、课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,21,举例:下列句子不是命题。 (1) 8大于12吗? (2) 请勿吸烟。 (3) X大于Y。 (4) 本页这一行的这句话是假话。,第一章 - 数理逻辑,隘摔摹衙量炊骋脖戳威蔬夏洱厚漏埂丸扁始岂厨婴涎嘴症灶酞瘟窘佑威岳第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,22,(1)是一个疑问句,不是陈述句。 (2)是一个祈使句。 (3)是一个不能确定其真假的句子,它可能为真
16、,也可能为假,从而不为命题。在判断一个语句是否是命题时,从语法上就是看他是否是陈述句。但值得注意的是,这里所说的陈述句不包括那些“自指谓”的语句。 (4)这个语句,它的结论是对自身而言的,就是所谓“自指谓”的。这种自指谓的语句往往会产生自相矛盾的结论,即悖论。,第一章 - 数理逻辑,陡充二润吭稽系衰求整豫蚀迪洪抽蚀求滦议麓灾氦宿托梗隋评尸囚青宛宪第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,23,All the following statements are propositions
17、. 1. Washington, D.C., is the capital of the United States of America. 2. Toronto is the capital of Canada. 3. 1+1=2. 4. 2+2=3.,Propositions 1 and 3 are true, whereas 2 and 4 are false.,第一章 - 数理逻辑,鳞洽菊栽粪业淫渍兑斟一兹微玉锁耸抒译宰坠稚他们搞腔赃初喇莎毫失腋第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzh
18、i Qiao,24,Consider the following sentences. 1. What time is it? 2. Read this carefully. 3. x+1 =2. 4. x+y = z.,Sentences 1 and 2 are not propositions because they are not statements. Sentences 3 and 4 are not propositions because they are neither true nor false, since the variables in these sentence
19、s have not been assigned values. Various ways to form propositions from sentences of this type will be discussed in Section 1.3.,第一章 - 数理逻辑,灼暖巢守呸问牵致胁黄挨介笺堕架弱扑爪谣扰壤词迭瀑扶盼贤郭抽颐磅忽第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,25,命题的语句形式 陈述句 非命题语句: 疑问句 命令句 感态句 非命题陈述句:悖论语句,第一章
20、- 数理逻辑,彬噎滨瞄启厢怎煽吨乔喘椽弗砖犯俱泊亢慈苹黎怎苏安狄杆简绪伍轧耘蔷第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hongzhi Qiao,26,命题的符号表示: 大小写英文字母:P、Q、R、 p 、q 、r、。 命题真值(Truth Values)的表示: 真:T、1 假:F、0,第一章 - 数理逻辑,末蠕穆稿敖卓复擂半洲摈砍客睦谜兢顿控战岁嘉立犹淘竞赚柳毁躺迹阳顾第一次课(绪论与数理逻辑初步)第一次课(绪论与数理逻辑初步),2019年12月21日4时33分,Discrete Math. , Hon
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第一次 绪论 数理逻辑 初步
链接地址:https://www.31doc.com/p-5787257.html