逻辑学专业研究生教学方案

相关文章推荐

逆袭的芒果 · 哈工大数学研究院首次“逻辑学专题研讨会”圆满闭幕· 2 月前 ·

逆袭的芒果 · [转]浅谈离散数学中数理逻辑与集合论的数学本 ...· 2 月前 ·

逆袭的芒果 · 快速熟悉torchdiffeq用法，从数理逻 ...· 2 月前 ·

逆袭的芒果 · 數理邏輯- 教育百科| 教育雲線上字典· 2 月前 ·

逆袭的芒果 · 逻辑学专业研究生教学方案· 2 月前 ·

1，一阶逻辑 First-order Logic 3学分
2，高级模态逻辑 Advanced Modal Logic 3学分
3，公理集合论Axiomatic Set Theory 3学分
4，逻辑前沿问题（上）Frontier Problems of Logic（I） 2学分
5、逻辑前沿问题（下）Frontier Problems of Logic（II） 2学分
6，数学结构 Mathematical Structures 3学分
B．选修课（18学分）
（I）逻辑专业选修课
1，模型论Model Theory 3学分
2，递归论基础 Fundamentals of Recursion Theory 3学分
3，邻域语义学 Neighborhood Semantics 3学分
4，动态逻辑 Logical Dynamics 3学分
5，内涵逻辑 Intensional Logic 3学分
6，广义模态逻辑 Generalized Modal Logic 3学分
7，形式语义学 Formal Semantics 3学分
8，数学哲学 Philosophy of Mathematics 2学分
9，直觉主义逻辑 Intuitionistic logic 2学
10，数理逻辑研究 Studies in Mathematical Logic 2学分
11，逻辑史 The History of Logic 3学分
12，逻辑哲学研究Study on philosophy of Logic 3学分
13，逻辑哲学原著选读 Selected Readings in Philosophy of Logic 3学分
14，心灵与认知哲学专题 Topics in Philosophy of Mind and Cognition 3学分
（II）哲学系其他专业必修课至少选修一门
（III）下列跨院系专业课可以选修一至三门
语言学（中文系，外语学院）
计算机科学（信息科学技术学院）
信息科学（数学学院信息科学系）
五、学位论文
第二学年末开题，并提交开题报告到教务办公室。开题后方可开始撰写毕业论文，不计学分。