课题网络环境的系统软件核心技术及运行平台.pdf

数理逻辑-课程简介 马 帅 北航计算机学院 马 帅 计算机学院 dfma@ mashuai@ 个人简介  北京航空航天大学(目前) • 计算机学院，教授 •计算机学院新技术研究所(ACT)开展工作  爱丁堡大学(2005年-2010年) •信息学院，博士/博士后 •从事数据质量和图数据管理的理论与应用研究  北京大学(2001年-2004年)计算机学院 •信息科学技术学院，博士 •从事数据挖掘在移动环境中的理论与应用研究 计算机学院 2 2 ACT教师队伍(Active, Creative,Teamwork) 怀进鹏教授 马殿富教授 刘旭东教授 樊文飞教授 徐洁教授 马帅教授 计算机学院 韩军教授 李欢副教授 胡春明副教授李建欣副教授 孙海龙副教授 沃天宇副教授 张日崇副教授 林学练博士 赵永望博士 李博博士 邓婷博士 王旭博士 计算机学院 3 3 什么是逻辑？  逻辑示例  第一个人推理： • 有2个红色帽子，3个黑色 • 如果第一人和第二人都是红色 帽子。 帽子，则第三人知道自己帽子 • 三个人站成一纵队，各戴 颜色为黑色。 一顶帽子，每人仅能看到 • 因为第三人不知道自己帽子颜 前面人帽子颜色。 色为黑色，所以，第一人和第 二人不都是红色帽子。 • 问？ • 如果第一是红色帽子，则第二 –第三个人帽子颜色？ 人知道自己帽子颜色为黑色。 » 回答：不知道！ • 因为第二人不知道自己帽子颜 –第二个人帽子颜色？ 色为黑色，所以，第一不是红 » 回答：不知道！ 计算机学院 色帽子。 –第一个人帽子颜色？ • 第一是黑色帽子。 » 回答：知道！ • 第一个人帽子颜色是什么 ？为什么？ 计算机学院 4 4 数理逻辑是什么？  狭义数理逻辑 • 用数学方法研究数学中