2023中國(guó)科學(xué)院人文學(xué)院社會(huì)科學(xué)系邏輯學(xué)考研大綱發(fā)布！9月20日，中國(guó)科學(xué)院人文學(xué)院社會(huì)科學(xué)系研究生院公布2023年《邏輯學(xué)》考試大綱，其中包括考試內(nèi)容、考試要求和參考教材等，為方便大家查看最新的考試大綱內(nèi)容，高頓小編已整理詳細(xì)內(nèi)容，請(qǐng)參考！
一、考試科目基本要求及適用范圍
本《大綱》適用于中國(guó)科學(xué)院大學(xué)邏輯學(xué)專業(yè)的碩士研究生入學(xué)考試。本科目的考試，要求考生掌握集合、關(guān)系、函數(shù)的基本概念；掌握命題邏輯和謂詞邏輯的基本內(nèi)容；了解邏輯學(xué)的發(fā)展簡(jiǎn)史。
二、考試形式和試卷結(jié)構(gòu)
考試形式為閉卷，筆試，考試時(shí)間180分鐘，總分150分，試卷包括簡(jiǎn)答（60分）、證明（60分）和論述（30分）三類題型。
三、考試內(nèi)容與要求
1.數(shù)理邏輯發(fā)展簡(jiǎn)史
邏輯學(xué)尤其是數(shù)理邏輯發(fā)展進(jìn)程中的主要邏輯學(xué)家及其貢獻(xiàn)；數(shù)理邏輯的四個(gè)主要分支及其研究?jī)?nèi)容
2.素樸集合論
集合；關(guān)系；函數(shù)
3.命題邏輯
命題邏輯的形式語(yǔ)言；形式語(yǔ)義；形式系統(tǒng)；可靠性定理和完全性定理
4.謂詞邏輯
一階謂詞邏輯的形式語(yǔ)言；形式語(yǔ)義；形式系統(tǒng)；可靠性定理和完全性定理
四、主要參考書
1．徐明，《符號(hào)邏輯講義》，武漢大學(xué)出版社，2008年。（核心參考）
2．邢滔滔，《數(shù)理邏輯》，北京大學(xué)出版社，2008年。（擴(kuò)展參考）
3.趙希順，《簡(jiǎn)明數(shù)理邏輯》，科學(xué)出版社，2021年。（擴(kuò)展參考）
?。}邏輯和謂詞邏輯內(nèi)容重點(diǎn)參考書目1，素樸集合論內(nèi)容重點(diǎn)參考書目2和3）
以上就是【2023中國(guó)科學(xué)院人文學(xué)院社會(huì)科學(xué)系邏輯學(xué)考研大綱發(fā)布】的有關(guān)內(nèi)容，想要了解更多考研資訊，請(qǐng)登錄考研招生網(wǎng)查詢。
小編為2024考研的小伙伴們準(zhǔn)備了豐富的學(xué)習(xí)資料，點(diǎn)擊下方藍(lán)色圖片即可獲取噢~
