1998-2022 ChinaKaoyan.com Network Studio. All Rights Reserved. 滬ICP備12018245號
2019年復旦大學827形式邏輯基礎考研大綱
827形式邏輯基礎考試大綱
一、考試內容范圍
考核能力：
本科目考核邏輯學有關的定義、命題、證明的閱讀理解能力;撰寫嚴格定義(尤其是遞歸定義)和撰寫證明的能力;掌握基本的證明方法(如歸納證明等)和構造技巧(如對角線法等)。
考核內容：
1、一階謂詞邏輯語言;
2、希爾伯特式公理系統及有關元定理;
3、自然推演系統及有關元定理;
4、一階邏輯語義，哥德爾完全性定理與模型論基礎(緊致性定理應用、初等子模型、超積等);
5、哥德爾不完全性定理與遞歸論基礎(遞歸函數、圖靈機可計算等);
6、集合論基礎(關系、函數、序數與基數初步);
7、模態邏輯基礎(關系模型語義等);
二、試卷結構
證明題：150分
三、參考書目
郝兆寬等《數理邏輯：證明及其限度》復旦大學出版社2014第1版
來源未注明“中國考研網\考研信息網”的資訊、文章等均為轉載，本網站轉載出于傳遞更多信息之目的，并不意味著贊同其觀點或證實其內容的真實性，如涉及版權問題，請聯系本站管理員予以更改或刪除。如其他媒體、網站或個人從本網站下載使用，必須保留本網站注明的"稿件來源"，并自負版權等法律責任。
來源注明“中國考研網”的文章，若需轉載請聯系管理員獲得相應許可。
聯系方式：chinakaoyankefu@163.com
- 2026考研英語全程班 6班
- 權威高配師資親授技巧，教研千錘百煉科學提分。直錄播課相結合精講互動二合一，專業團隊精細化作文批改。講練結合，隨學隨練穩步提升。支持試聽~
- 主講團隊：王江濤、譚劍波、董仲蠡、許聰杰、陳志超、潘赟、鄭艷彤、易熙人
復旦大學考研
熱門課程
考研網課
考研資料
最新資訊
×關閉
掃碼關注
了解考研最新消息