邏輯學(xué)專業(yè)攻讀碩士學(xué)位研究生培養(yǎng)方案

1、邏輯學(xué)專業(yè)攻讀碩士學(xué)位研究生培養(yǎng)方案邏輯學(xué)專業(yè)攻讀碩士學(xué)位研究生培養(yǎng)方案一、培養(yǎng)目標(biāo)有良好的理論基礎(chǔ)、有系統(tǒng)的邏輯知識(shí)、能夠從事邏輯學(xué)基礎(chǔ)課程的教學(xué)以至于能夠進(jìn)一步從事邏輯學(xué)的理論研究工作。二、研究方向：數(shù)理邏輯三、學(xué)習(xí)年限：兩年四、課程設(shè)置及學(xué)分總學(xué)分不少于28學(xué)分，公共課6學(xué)分，學(xué)科共同必修課10學(xué)分，專業(yè)必修課6學(xué)分，其余為專業(yè)選修課學(xué)分。各學(xué)期的選修課將根據(jù)學(xué)生的具體情況安排。課程學(xué)學(xué)教學(xué)方法考核方法學(xué)期分時(shí)公共課12碩士生一階

2、邏輯354講授、討論考試12必修課Firstderlogic公理集合論初步354講授、討論考試13Introductiontoaxiomaticsetthey碩士生遞歸論初步354講授、討論考試24選修課Introductiontorecursionthey抽象代數(shù)354講授考試24Abstractalgebra模型論初步354討論考試24Introductiontomodelthey模態(tài)邏輯導(dǎo)論354討論考試或論文24Introduc

3、tiontomodallogic時(shí)態(tài)邏輯和條件句邏輯354討論考試或論文24Tensetempallogicconditionallogic哲學(xué)邏輯專題354討論考試或論文24Topicsinphilosophicallogic獨(dú)立研究236討論報(bào)告或論文24Independentstudy碩士生邏輯演算與形式化0補(bǔ)修課Symbolizationslogiccalculus西方哲學(xué)問題導(dǎo)論0Introductiontophilosoph

4、icalproblems數(shù)學(xué)0Mathematics抽象代數(shù)Abstractalgebra35414模型論初步Introductiontomodelthey35414時(shí)態(tài)邏輯和條件句邏輯Tensetempallogicconditionallogic35414哲學(xué)邏輯專題ITopicsinphilosophicallogicI35414選修課獨(dú)立研究Independentstudy25414邏輯演算和符號(hào)化Symbolizationsl