2019年復旦大學827形式邏輯基礎考研大綱

• 2025考研復試伴學班
• 2025考研復試標準班
• 2026考研英語全程班
• 26考研全科上岸規(guī)劃營「擇校▪規(guī)劃▪備考」
• 復旦大學2025考研專業(yè)課復習資料「真題▪筆記▪講義▪題庫」

827形式邏輯基礎考試大綱

一、考試內容范圍

考核能力：

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

考核內容：

1、一階謂詞邏輯語言;

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

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

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

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

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

7、模態(tài)邏輯基礎(關系模型語義等);

二、試卷結構

證明題：150分

三、參考書目

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