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

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

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

考核能力：

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

考核內(nèi)容：

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

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

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

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

5、哥德?tīng)柌煌耆�性定理與遞歸論基礎(chǔ)(遞歸函數(shù)、圖靈機(jī)可計(jì)算等);

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

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

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

證明題：150分

三、參考書(shū)目

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