2019年復(fù)旦大學(xué)827形式邏輯基礎(chǔ)考研大綱

• 2026考研英語(yǔ)全程班 6班
• 26考研全科上岸規(guī)劃營(yíng)「擇校▪規(guī)劃▪備考」
• 復(fù)旦大學(xué)2026考研專業(yè)課復(fù)習(xí)資料「真題▪筆記▪講義▪題庫(kù)」

827形式邏輯基礎(chǔ)考試大綱

一、考試內(nèi)容范圍

考核能力：

本科目考核邏輯學(xué)有關(guān)的定義、命題、證明的閱讀理解能力;撰寫嚴(yán)格定義(尤其是遞歸定義)和撰寫證明的能力;掌握基本的證明方法(如歸納證明等)和構(gòu)造技巧(如對(duì)角線法等)。

考核內(nèi)容：

1、一階謂詞邏輯語(yǔ)言;

2、希爾伯特式公理系統(tǒng)及有關(guān)元定理;

3、自然推演系統(tǒng)及有關(guān)元定理;

4、一階邏輯語(yǔ)義，哥德爾完全性定理與模型論基礎(chǔ)(緊致性定理應(yīng)用、初等子模型、超積等);

5、哥德爾不完全性定理與遞歸論基礎(chǔ)(遞歸函數(shù)、圖靈機(jī)可計(jì)算等);

6、集合論基礎(chǔ)(關(guān)系、函數(shù)、序數(shù)與基數(shù)初步);

7、模態(tài)邏輯基礎(chǔ)(關(guān)系模型語(yǔ)義等);

二、試卷結(jié)構(gòu)

證明題：150分

三、參考書目

郝兆寬等《數(shù)理邏輯：證明及其限度》復(fù)旦大學(xué)出版社2014第1版