研究方向 |
01非经典逻辑(含语言逻辑)
02归纳逻辑
03逻辑哲学
04非形式逻辑(含法律逻辑)
05数理逻辑
06人工智能逻辑
07逻辑史
|
考试科目 |
方向(01、02、03、04、05、06、07)
(1)101思想政治理论
(2)201英语一
(3)618西方哲学史或619中国哲学史公共试题或620一元微积分
(4)814逻辑学概论
|
复试科目、复试参考书 |
复试专业课:
F0305逻辑学综合
(1)掌握数理逻辑的基本概念,命题演算系统L及谓词演算系统K的形式推演并理解相关完全性及可靠性定理的证明,基本的模型论、可计算性理论的概念。
(2) 逻辑的性质和范围;形式和非形式的有效性概念;分析性概念;单称词项理论;真理理论;模态概念(必然性)和可能世界;量化和存在 |
参考书目、参考教材 |
618西方哲学史 古希腊罗马哲学、中世纪哲学、近代经验论与唯理论、德国古典哲学。
619中国哲学史公共试题 本科目主要测试考生对中国哲学之基本概念、义理脉络及思想流变的掌握程度。内容涵盖古代部分和近现代部分(1949年以前)。
620一元微积分 (1)映射与函数概念;数列极限、函数极限和连续函数的基础知识;(2)导数和微分的基本理论;微分中值定理及其应用,洛必达法则,最值问题,函数作图,(3)不定积分的概念、性质、运算法则、重要积分法;定积分概念、基本性质、运算和应用。
|
更多研究方向 |
|
更多考试科目信息 |
(1)101思想政治理论
(2)201英语一
(3)621逻辑哲学与逻辑史基础知识、622 一元微积分
(4)813逻辑学概论
|
更多复试科目参考书信息 |
复试专业课:
S1135004 逻辑学综合:
(1)掌握数理逻辑的基本概念,命题演算系统L及谓词演算系统K的形式推演并理解相关完全性及可靠性定理的证明,基本的模型论、可计算性理论的概念。
(2) 逻辑的性质和范围;形式和非形式的有效性概念;分析性概念;单称词项理论;真理理论;模态概念(必然性)和可能世界;量化和存在。
备注:
含计划招收免试生31人 |
更多参考书目、参考教材 |
621逻辑哲学与逻辑史基础知识、622 一元微积分:
如主要逻辑学家及其思想、逻辑学的基本常识问题、逻辑学发展的简要历史等。
813逻辑学概论:
本课程主要考查:
(1)传统逻辑基本理论,如定义理论、直言命题推理、复合命题推理、归纳推理、类比推理、论证理论等;
(2)现代逻辑基本知识,如命题演算和谓词演算的一些基础知识。 |