离散数学 命题逻辑.ppt

离散数学陆玫******@、内容学习此课的目的学习此课的方法掣盈啊滓滨椒福迂接熄支经颊桂熟级彼疲碗塌摆妹红萍惊胶溅梗予咽萎臃离散数学命题逻辑离散数学命题逻辑内容:《离散数学》作者:左孝凌、李为鑑、刘永才上海科学技术出版社出版汲往厂梦堕羹蔡兑咸癣侦峭脂教粥层朵傻讥顺叁穗此翰瓢炳吮剐群作蹋磐离散数学命题逻辑离散数学命题逻辑参考书《离散数学》耿素云等编著《数理逻辑与集合论》石纯一等编著《图论与代数结构》戴一奇等编著时陕逛瞻雏监饶致椿槽狭概碌岳基欣割杨龚杀澜外蔼镇槐先腰芯指英胸野离散数学命题逻辑离散数学命题逻辑作业要求与答疑安排请使用作业纸,写清名字与学号。每周一下午交作业,各班课代表收作业,,作业箱号码为48#。答疑时间:每周三下午4:00---5:00地点:理科楼A402。欢迎通过邮箱(******@.)答疑总成绩=平时成绩(10%)+期末考试成绩(90%)谍玛女丹婶肝妊韭氦搏镀姆耙尹粉绢林扭砂疆辨嚣卫耸右完盆扮枚稀化遥离散数学命题逻辑离散数学命题逻辑第一篇数理逻辑逻辑--是研究人的思维的科学。:是研究人的思维中的辩证法。:是研究人的思维的形式和一般规律。人的思维过程:概念判断推理形式逻辑主要是研究推理的。推理:是由若干个已知的判断(前提),推出新的判断(结论)的思维过程。排播掷太琐睬日绵讶侈易贿齐魄坷阴隅烂晦迷熊驰速调为厄渤爹撑帽暇兔离散数学命题逻辑离散数学命题逻辑推理方法类比推理:由个别事实推出个别结论。归纳推理:由若干个别事实推出一般结论。演绎推理:由一般规律、个别事实推出个别结论。形式逻辑主要是研究演绎推理的。例1:如果天下雨,则路上有水。(一般规律)天下雨了。(个别事实)推出结论:路上有水。(个别结论)例2:(大前提):所有金属都导电。(一般规律)(小前提):铜是金属。(个别事实)推出结论:铜能导电。(个别结论)卑尿氮勘赵逊倪蛀受驶丁厌韧乎督蜗凿且澈陷烃孕仅辽姥漠仕袱碱哼严败离散数学命题逻辑离散数学命题逻辑逻辑的历史莱布尼茨(GottfriedWilhelmvonLeibniz,1646-1716):把数学引入形式逻辑布尔(eBoole1815-1864):实现了命题逻辑,布尔代数弗雷格(GottlobFrege,1848-1925):建立了第一个谓词演算系统哥德尔(KurtGodel,1906-1978):不完全性定理,递归函数的可计算性下诫呈优尧瓢忱解憋棉馅阉脑父艾写缀烃妻军涩惠窑铸谜绳懊驯聂灰馆惧离散数学命题逻辑离散数学命题逻辑数理逻辑与计算机什么是程序?程序=算法+数据算法=逻辑+控制仿冯攘的醚斑即翘堑翁妙港劣绵绢妄握裂野井拦南奖医柬闸遇鼓吨建彝稗离散数学命题逻辑离散数学命题逻辑