本科《数理逻辑》教学大纲
更新时间:2023-09-14 16:41:01 阅读量: 初中教育 文档下载
- 数理逻辑举例推荐度:
- 相关推荐
课程名称:数理逻辑 (英文名称:Mathematical Logic)
一、课程目的、任务:学习数理逻辑的基本理论,为进一步学习现代西方哲学和逻辑哲学打下基础。
二、课程内容:介绍数理逻辑的基础知识,包括:命题演算和狭谓词演算的构成,定理的推演,范式,语义解释,公理系统的三种一致性和三种完全性,公理的独立性,命题演算和狭谓词演算的一致性和完全性定理,以及判定问题。
三、教学方式、实践环节的特色:注重基本概念和基本方法的讲解,通过课堂教学和课外作业,使学生较扎实地掌握数理逻辑的基础知识。 四、教材及参考书目:
教材:王宪钧著《数理逻辑引论》,北京大学出版社,1998年版。 参考书目:彭漪涟主编《逻辑学导论》,华东师范大学出版社,2000年版。 五、考核方式与评价结构比例:
平时成绩占40%,按照每次课后布置的课外作业来评定。期末闭卷考试,考试成绩占60%。 六、讲授大纲:(两级目录)
序言
第一篇 命题逻辑
第一章 真值联结词 真值函项 重言式 第一节 复合命题 复合命题的真假
第二节 真值联结词 真值形式 第三节 五个基本真值联结词 第四节 命题形式 第五节 真值表方法
第六节 真值函项 重言的真值函项 重言式 第七节 推理的形式结构
第八节 简化的真值表方法 正确推理形式的判定 第九节 重言的等值式
第二章 命题演算 命题逻辑的公理化和形式化 第一节 公理系统和形式系统
第二节 命题演算的出发点 第三节 定理的推演
第四节 证明的简化 关于证明的语法规则 第五节 定理的推演(续) 第六节 求否定规则 对偶规则
第三章 范式 完全性 一致性 公理的独立性 第一节 范式 第二节 优范式 第三节 范式的作用
第四节 命题演算的一致性和完全性 第五节 公理的独立性
第四章 不同的命题逻辑 古典命题逻辑的不同的公理化 第一节 各种符号体系 第二节 不同的重言式系统 第三节 多值逻辑
第四节 模态逻辑 第二篇 狭谓词逻辑
第一章 狭谓词逻辑里的形式结构 普遍有效性和可满足性 第一节 谓词、变项和量词
第二节 狭谓词逻辑的命题形式和公式 第三节 普遍有效性和可满足性 第二章 狭谓词演算 第一节 狭谓词逻辑的出发点
第二节 定理的推演 语法规则 基本置换定理 第三章 演绎定理 范式 第一节 演绎定理
第二节 范式 前束范式 ?—前束范式 第四章 判定问题 一致性和完全性 第一节 判定问题 第二节 一致性 第三节 完全性 七、教学时数分配: 第一篇章次 学时
第二篇章次 学时
一 10 二 6 三 2 四 2 复习 2 考试 2 序言 2 一 4 二 16 三 12 四 2
正在阅读:
本科《数理逻辑》教学大纲09-14
2018高考理综(全国I卷)及答案01-14
原上海长宁区建筑设计院“三轮”改革的思考05-07
领导干部述廉报告12-12
企业负债经营的效益与风险的比较研究05-11
图游为你推荐必备旅游书籍04-26
加强和改进大学生思想政治教育工作方案11-18
2022年必备的小升初学习方法经验指导03-30
2015小学毕业考试数学试卷10-04
- 二甲基甲酰胺安全技术说明书
- 南邮计算机网络复习题
- 高分子物理实验指导书 - 图文
- 2009.9.25 莞惠环控专业施工图设计技术要求
- 学生工作简报
- 揭阳市斯瑞尔环境科技有限公司废酸综合利用项目可行性研究报告-广州中撰咨询
- 今日靓汤(佘自强)
- 奥数 - 二年级 - 数学 - 第三讲时间的教师版计算答案 - 图文
- 如何命制一份好的物理试卷
- 数据库开题报告
- 禁用未经批准或已经废止或淘汰技术的制度流程
- 大学英语(二)第2阶段测试题
- 湘教版一年级上册美术教案(全)
- (整套)学生顶岗(毕业)实习手册
- 高频 二极管包络检波 - 图文
- 2018届中考英语复习题型四任务型完形填空备考精编含解析 - 186
- 郑煤集团超化煤矿一采区开采设计 - 图文
- 财政学习题
- 摄影摄像复习资料
- SMC D-A93接线方式 - 图文
- 数理逻辑
- 教学大纲
- 本科
- 内乡县2009—2010学年四年级语文第二学期期终试题
- PEP五年级下册单元知识点整理 2
- 自考试题-管理心理学简答题
- 第二课秦朝中央集权制度的形成教案
- 国考2017-省级申论真题
- 数学建模公选课(10-11-2)温室中的绿色生态臭氧病虫害防治
- 路基挡土墙施工方案(鹤辉高速)
- jjm1压力表截止阀
- 完善我国公务员激励机制的现实思考
- 泰州中学附属初级中学七上语文月考二试卷2014—12
- 人教新版-英语六年级上册-第五单元中文翻译
- 2004至2005第二学期无机化学期末考试题
- 2014年湖北省黄冈市中考数学试卷
- 2016高考化学河南卷化学试题及参考答案
- 七年极英语导学案
- 北京公务员考试行测答题技巧:学好逻辑让行测事半功倍6
- 贵州省遵义市习水县马临中学2018-2019学年七年级下学期期中测试语文试卷(无答案)
- 学科教学设计模板
- 廉政风险防范制度
- 企业实施职工素质提升工程的具体措施