邏輯學(xué)專業(yè)攻讀碩士學(xué)位研究生培養(yǎng)方案_第1頁
已閱讀1頁，還剩2頁未讀， 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請進(jìn)行舉報(bào)或認(rèn)領(lǐ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

溫馨提示

  • 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙，網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽，若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲(chǔ)空間，僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理，對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯，并不能對任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容，請與我們聯(lián)系，我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

最新文檔

評(píng)論

0/150

提交評(píng)論