《离散数学课件》命题逻辑1.ppt

命题符号化 例2. 将下列命题符号化： （1）李明是计算机系的学生，他住在312室或313室。 （2）张三和李四是朋友。 （3）虽然交通堵塞，但是老王还是准时到达了车站。 （4）只有一个角是直角的三角形才是直角三角形。 （5）老王或小李中有一个去上海出差。 命题符号化 解：（1）首先用字母表示简单命题。 P：李明是计算机系的学生。 Q：李明住在312室。 R：李明住在313室。 该命题符号化为：P?（(?Q ∧ R) ∨ (Q ∧?R)） （2）张三和李四是朋友。是一个简单句 该命题符号化为：P 命题符号化 （3）虽然交通堵塞，但是老王还是准时到达了车站。 P：交通堵塞。 Q：老王准时到达了车站。 该命题符号化为：P?Q （4）只有一个角是直角的三角形才是直角三角形。 P：三角形的一个角是直角。 Q：三角形是直角三角形。 该命题符号化为：?P? ?Q 或 Q ?P 命题符号化 首先用字母表示简单命题。 P：老王去上海出差。 Q：小李去上海出差。 该命题符号化为：（P??Q）?（?P?Q）或者（P ? Q） ? ? （P?Q） 数理逻辑是计算理论的基础，而计算理论又是计算机科学的核心基础，在编译原理，复杂性分析中有广泛的应用；另外，数理逻辑也是形式语言，程序设计方法，机器证明，人工智能等学科的基础。 吴文俊, 1919年5月12日出生，数学家。毕业于交通大学，1949年获得法国斯特拉斯堡大学博士学位。70年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统(即算法化思想)，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为吴特征列方法，产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。首届国家最高科学技术奖(2000) 理论计算机科学研究中心在清华园揭牌?(2010-06-23)。清华大学交叉信息研究院，简称交叉信息院，成立于2010年12月30日，并于2011年1月15日举行揭牌仪式。交叉信息院由世界著名计算机学家、2000年计算机科学最高奖图灵奖得主、美国科学院院士、美国艺术与科学学院院士、中国科学院外籍院士姚期智先生领导，是国内首个致力于交叉信息科学研究的教学科研单位，目标为建设世界一流的交叉信息研究中心和人才培养基地，推动理论计算机科学和量子信息科学的发展，培养具有国际竞争力的拔尖创新人才。 姚期智进入计算机科学领域最早的论文之一。该文引起轰动，因为学术界原先认为，寻找最小生成树算法的时间复杂度的下界是O(|E| log |V|)，而姚期智的论文证明这个极限是可以打破的。 2011年9月16日，美国芝加哥大学数理逻辑学术会议上，云集了来自欧美的许多数理逻辑专家、学者，大会邀请了十二位专家、学者做学术报告，我校数学科学与计算技术学院08级本科生刘嘉忆作为亚洲高校唯一一位代表在会上做了40分钟报告，报告了他在数理逻辑方面的研究成果，席间，与会专家对这位来自中国的80后投向了赞许的目光。 2011年5月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行，还是大三的刘嘉忆应邀参加了这次会议，并做了题为”Ramsey?theorem?for?pair?as?second?order?arithmetic?statement?does?not?imply?Weak?Konig?Lemma”的报告，会上，刘嘉忆报告了他对目前反推数学中的拉姆齐（Ramsly）二染色定理的证明论强度的研究。这是由英国数理逻辑学家Seetapun于90年代提出的一个猜想，十多年来，许多著名研究者一直努力都没有解决。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了Seetapun的猜想。 带权图的最短通路算法 数理逻辑是计算理论的基础，而计算理论又是计算机科学的核心基础，在编译原理，复杂性分析中有广泛的应用；另外，数理逻辑也是形式语言，程序设计方法，机器证明，人工智能等学科的基础。 吴文俊, 1919年5月12日出生，数学家。毕业于交通大学，1949年获得法国斯特拉斯堡大学博士学位。70年代后期，在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统(即算法化思想)，转而研究几何定理的机器证明，彻底改变了这个领域的面貌，是国际自动推理界先驱性的工作，被称为吴特征列方法，产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。首届国家最高科学技术奖(2000) 理论计算机科学研究中心在清华园揭牌?(2010-06-23)。清华大学交叉信息研究院，简称交叉信息院，成立于2010年12月30日，并于2011年1月15日举行揭牌仪式。交叉信息院由世