2019年复旦大学827形式逻辑基础考研大纲

2018/11/28 9:33:50 来源: 网络
分享:

  2019年复旦大学硕士研究生入学初试827形式逻辑基础考研大纲已公布,以下是详细内容:

  一、考试内容范围

  考核能力:

  本科目考核逻辑学有关的定义、命题、证明的阅读理解能力;撰写严格定义(尤其是递归定义)和撰写证明的能力;掌握基本的证明方法(如归纳证明等)和构造技巧(如对角线法等)。

  考核内容:

  1、一阶谓词逻辑语言;

  2、希尔伯特式公理系统及有关元定理;

  3、自然推演系统及有关元定理;

  4、一阶逻辑语义,哥德尔完全性定理与模型论基础(紧致性定理应用、初等子模型、超积等);

  5、哥德尔不完全性定理与递归论基础(递归函数、图灵机可计算等);

  6、集合论基础(关系、函数、序数与基数初步);

  7、模态逻辑基础(关系模型语义等);

  二、试卷结构

  证明题:150分

  三、参考书目

  郝兆宽等《数理逻辑:证明及其限度》复旦大学出版社,2014第1版

  2025考研人数达388w,考研热度依旧火热!如何备战2026考研?哪个考研专业适合自己?在职考生如何备考?考研知识点繁多,择校困难大,和海天考研咨询老师聊一聊。网课面授多项选,专业辅导1对1全年集训随时学!

中间广告图.jpg

活动专题