您的当前位置: 首页 > 招生资讯 > 考试大纲 > 正文

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

来源:www.fduky.com 作者:鸿知复旦考研网 浏览:481 次 发布时间:2018/10/31

现在不少高校已经不发布参考书目了,今年复旦大学公布了2019年部分自命题科目的考试大纲,而在有些大纲中就包含相应的参考书目。所以,鸿知复旦考研网www.fduky.com帮助各位考生整理了复旦大学各自命题科目的考试大纲,以供同学们参考。

复旦大学考研真题资料

复旦大学考研辅导班详情

复旦大学考研交流群

复旦大学考研初试指导

复旦大学考研初试经验

复旦大学考研公共课指导


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

科目代码

827

科目名称

形式逻辑基础

一、考试内容范围

 

考核能力:

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

 

考核内容:

1、一阶谓词逻辑语言;

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

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

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

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

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

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


二、试卷结构

 

证明题:150


三、参考书目

作者

书名

出版社

出版时间

版次

备注

郝兆宽等

《数理逻辑:证明及其限度》

复旦大学出版社

2014

1




以上内容由鸿知复旦考研网整理发布,点击查看2019复旦大学考研资料及真题答案

 2019复旦大学考研辅导班报名请查看下面信息:

点击加入 2019复旦大学考研群(总群):5371825102019全国名校考研群

班型

授课形式

授课内容

辅导价格

更多内容

【定制】2019复旦大学考研专业课冲刺高辅班

 1对1

 网授

 面授

冲刺高分

复旦初试

 专业课

单科  5200

双科  5980

查看详情

【定制】2020复旦大学考研全科11高分班

 1对1

 网授

 面授

视频

 全程提分

复旦初试

公共课

专业课

17800

查看详情

  

  • 电话咨询

  • 周一到周六上午
  • 0592-6061855
  • 电子邮箱

  • kaoyan818(微信号)
  • kaoyan1316(微信号)