搜索
逻辑学专业攻读硕士学位研究生培养方案一、培养目标有良好的理论基础、有系统的逻辑知识、能够从事逻辑学基础课程的教学以至于能够进一步从事逻辑学的理论研究工作。二、研究方向：数理逻辑三、学习年限：两年四、课程设置及学分总学分不少于28学分，公共课6学分，学科共同必修课10学分，专业必修课6学分，其余为专业选修课学分。各学期的选修课将根据学生的具体情况安排。课程学学教学方法考核方法学期分时公共课12硕士生一阶逻辑354讲授、讨论考试1-2必修课First-orderlogic公理集合论初步354讲授、讨论考试1-3Introductiontoaxiomaticsettheory硕士生递归论初步354讲授、讨论考试2-4选修课Introductiontorecursiontheory抽象代数354讲授考试2-4Abstractalgebra模型论初步354讨论考试2-4Introductiontomodeltheory模态逻辑导论354讨论考试或论文2-4Introductiontomodallogic时态逻辑和条件句逻辑354讨论考试或论文2-4Tense/temporallogicandconditionallogic哲学逻辑专题354讨论考试或论文2-4Topicsinphilosophicallogic独立研究236讨论报告或论文2-4Independentstudy硕士生逻辑演算与形式化0补修课Symbolizationsandlogiccalculus西方哲学问题导论0Introductiontophilosophicalproblems数学0Mathematics五、学位论文第三学期末，学生提出学位论文题目和撰写计划，取得导师同意并在科研小组内进行开题报告，经讨论通过后正式进入论文撰写工作。论文要合乎规范。六、其他学习项目安排适当时安排本科生有关课程的辅助教学工作。七、培养方式采取以导师为主，导师与指导小组相结合的方式，着重培养学生在学习和科研方面的独立工作能力。逻辑学专业攻读硕士学位研究生课程计划表类别课程编码课程名称英文课程名称学分学时开课学期备注必修课公共必修课第一外国语The1stforeignlanguage2361科学社会主义理论与实践Theoryandpracticeofscientificsocialism2361马克思主义经典著作选读ClassicworksofMarxism2361学科通开课西方哲学原著ClassicworksinWesternPhilosophy2361一阶逻辑First-orderlogic3541公理集合论初步Introductiontoaxiomaticsettheory3541专业英语EnglishofSpecialty2361研究方向方法论课和必修课递归论初步Introductiontorecursiontheory3541-2模态逻辑导论Introductiontomodallogic3541-4选修课抽象代数Abstractalgebra3541-4模型论初步Introductiontomodeltheory3541-4时态逻辑和条件句逻辑Tense/temporallogicandconditionallogic3541-4哲学逻辑专题ITopicsinphilosophicallogic,I3541-4独立研究Independentstudy2541-4补修课逻辑演算和符号化Symbolizationsandlogiccalculus西方哲学问题导论Introductiontophilosophicalproblems数学Mathematics其它学习项目