加入收藏 | 设为首页 | 搜索
计算机学院(国家示范性软件学院)简介
北京邮电大学1977年开设计算机通信本科专业,1985年成立计算机工程系,1998年成立计算机科学与技术学院。2008年,按照“学科归位”的原则,将计算机科学与技术学院等六个单位计算机学科的资源重新整合为计算机学院。2020年,将原计算机学院、软件学院、网络技术研究院调整、合并组建新的计算机学院(国家示范性软件学院),并支撑网络与交换技术国家重点实验室(北京邮电大学)。
课程信息
高级数理逻辑
课程编号  513.5*063
课程名称  高级数理逻辑
任课老师          潘维民  
课程类型  必修/学位课
课程阶段  硕士
学时学分  54学时3学分
基本要求  通过本课程学习,要求学生掌握形式逻辑系统的构造及其基本原理。掌握命题逻辑形式系统、一阶谓词逻辑系统、自动推理和模态逻辑系统。学会对形式系统的描述方法,能够灵活运用来描述现实中的各种相关学科。
内容提要  第一章 学科介绍
1.数理逻辑介绍
2.数理逻辑发展史
3、数理逻辑与其他学科关系
4.课程内容介绍
第二章  形式系统介绍
1、形式系统概念
2、形式系统定义
第三章  命题逻辑形式系统
1、命题逻辑与命题演算
2、命题逻辑形式系统
3、命题形式演算
4、命题逻辑语义
5、逻辑推论
6、公式简化
7、元理论与元语言
8、命题逻辑元理论
第四章  一阶谓词逻辑
1、一阶谓词逻辑基本概念
2、一阶形式系统
    3、一阶谓词演算
4、一阶逻辑语义系统
5、一阶元理论
第五章  归结原理与逻辑程序设计
1、标准形式
2、命题归结原理
3、一阶谓词归结原理
4、归结原理的元理论
5、归结策略
6、归结原理应用
7、HORN子句程序设计
8、PROLOG程序设计
第六章  模态逻辑
1、模态逻辑介绍
2、模态命题逻辑形式系统
3、NSK元理论
4、其他正规系统
5、模态词归约
教学方式  
指定教材  
参考书目  1. 陆钟万:《面向计算机科学的数理逻辑学(第二版)》,科学出版社,2003。
2. 王元元:《计算机科学中的逻辑学》,科学出版社,2002年
3. [美]S C克林著.莫绍揆译.元数学导论[M].科学出版社,1985
先修课程  离散数学
开课学期  秋
更多内容