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

本站小编 免费考研网 发布于2018-11-04 0次阅读
摘要 : 827形式逻辑基础考试大纲一、考试内容范围考核能力:本科目考核逻辑学有关的定义、命题、证明的阅读理解能力;撰写严格定义(尤其是递归定义)和撰写证明的能力;掌握基本的证明方法(如归纳证明等)和构造技巧(如对角线法等)。考核内容:1、一阶谓词逻辑语言;2、希尔伯特式公理系统及有关元定理;3、自然推演系统...
827形式逻辑基础考试大纲

一、考试内容范围

考核能力:

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

考核内容:

1、一阶谓词逻辑语言;

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

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

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

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

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

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

二、试卷结构

证明题:150分

三、参考书目

郝兆宽等《数理逻辑:证明及其限度》复旦大学出版社2014第1版
0人点赞 0人反对
发表评论

属于以下话题

阅读更多相同话题的文章

  • 2019年复旦大学805汉语言文字学基础考研大纲
    805汉语言文字学基础考试大纲一、考试内容范围汉语言文字学基础这门科目涉及汉语文字、音韵、训诂、词汇等诸方面内容。文字方面,如:列出一些文字的楷体,请学生写出对应的小篆;考察学生对一些基本概念的掌握程度,如:名词解释中的俗字。音韵方面,除了请学生解释一些基本概念之外,还考 ...
    本站小编 免费考研网 2018-11-04 (0)
  • 2019年复旦大学445汉语国际教育基础考研大纲
    445汉语国际教育基础考试大纲全日制汉语国际教育硕士专业学位研究生入学考试汉语国际教育基础考试大纲一、考试对象:报名参加国际文化交流学院汉语国际教育硕士专业学位研究生入学考试的考生。二、考试目的:全面综合考察学生中外文化、跨文化交际、第二语言教学法、教育心理学的基础知识以及运用所学知识分析问题的能力 ...
    本站小编 免费考研网 2018-11-04 (0)
  • 2019年复旦大学434国际商务专业基础考研大纲
    434国际商务专业基础考试大纲一、考试内容范围一、国际贸易理论(绝对优势与比较优势论、要素禀赋论、贸易保护理论、国际贸易新理论)二、国际贸易政策与壁垒(关税措施、非关税措施、国际贸易摩擦、国际贸易中的知识产权保护与环境保护政策)三、区域经济一体化与多边贸易体制(经济全球化与世界贸易组织、欧洲一体化实 ...
    本站小编 免费考研网 2018-11-04 (0)
  • 2019年复旦大学440新闻与传播专业基础考研大纲
    440新闻与传播专业基础考试大纲一、考试内容范围考试内容包括:新闻学原理、传播学原理、中国新闻传播史(一)新闻传播的起源1、新闻传播行为和新闻传播起源2、新闻传播的本源3、新闻的定义和新闻的特征(二)新闻传播过程1、新闻传播过程和模式2、新闻价值与新闻选择3、新闻生产4、互联网与新闻传播(三)新闻传 ...
    本站小编 免费考研网 2018-11-04 (0)
  • 2019年复旦大学781新闻传播学基础(单)考研大纲
    781新闻传播学基础(单)考试大纲一、考试内容范围本科目由新闻学概论、传播学概论、中国新闻传播史三部分构成。新闻学概论:全面掌握新闻和新闻学的基本概念和原理,对于什么是新闻活动,什么是新闻,新闻与信息、宣传和舆论的相互关系,新闻事业的诞生,新闻事业的发展及基本规律,新闻媒介的性质,新闻事业的功能与效 ...
    本站小编 免费考研网 2018-11-04 (0)
  • 2019年复旦大学756基础医学(西医)综合能力考研大纲
    756基础医学(西医)综合能力考试大纲一、考试内容范围基础医学(西医)综合能力考试范围包括医学基础学科中的生理学、生物化学、病理学、病理生理学和医学微生物学。主要考查报考医学生的基本医学理论知识的掌握,生理学重点考核生理学的基本概念和理论,包括细胞的基本功能及特征,血液循环系统、呼吸系统、消化系统、 ...
    本站小编 免费考研网 2018-11-04 (0)
  • 2019年复旦大学742历史地理基础考研大纲
    742历史地理基础考试大纲一、考试内容范围一、内容说明考试内容分为三大部分:第一部分:历史地理专业知识第二部分:历史学基础(中国历史)第三部分:地理学基础(自然地理)其中,第一部分为所有考生必考,第二、第三部分,考生根据自己的本科专业背景选考两者之一。二、内容范围第一部分:历史地理学专业知识【必考】 ...
    本站小编 免费考研网 2018-11-04 (0)
  • 2019年复旦大学752药学基础考研大纲
    752药学基础考试大纲一、考试内容范围一、生物化学(药学基础)考试纲要考试纲要:1.蛋白质的化学蛋白质的化学组成,蛋白质的一级结构与空间构象,蛋白质结构与功能的关系, 蛋白质的性质,蛋白质的纯度鉴定和含量测定。2.核酸的化学核酸的分子组成与结构,DNA的分子结构,RNA的种类与结构,核酸的理化性质, ...
    本站小编 免费考研网 2018-11-04 (0)
  • 2019年复旦大学717现代科学技术基础考研大纲
    717现代科学技术基础考试大纲一、考试内容范围考试内容主要涉及现代自然科学和高新技术的基础知识,包括核心问题、基本概念、基本理论和主要流派,注重考核学生对基础知识的准确理解和对相关论题的分析能力。考试范围提示:(1) 现代科学的基本特征,科学研究的主要方法,以及现代科学产生和发展的历史过程。(2) ...
    本站小编 免费考研网 2018-11-04 (0)
  • 2019年复旦大学714新闻传播学基础考研大纲
    714新闻传播学基础考试大纲一、考试内容范围本科目由新闻学概论、传播学概论、中国新闻传播史三部分构成。新闻学概论:全面掌握新闻和新闻学的基本概念和原理,对于什么是新闻活动,什么是新闻,新闻与信息、宣传和舆论的相互关系,新闻事业的诞生,新闻事业的发展及基本规律,新闻媒介的性质,新闻事业的功能与效果,大 ...
    本站小编 免费考研网 2018-11-04 (0)
  • 2019年复旦大学704语言文化基础知识考研大纲
    704语言文化基础知识考试大纲一、考试内容范围本科目根据本专业汉语史研究的特点,主要考查考生除现代语言学专业理论以外与汉语史研究相关的基础知识。根据汉语史研究的需要,本科目主要考查以下几个方面:古典文献学方面包括掌目录学、版本学、校勘学的基础知识,了解汉语古书在体例、注解、传写等方面的特点,具有阅读 ...
    本站小编 免费考研网 2018-11-04 (0)
  • 2019年复旦大学354汉语基础考研大纲
    全日制汉语国际教育硕士专业学位研究生入学考试汉语基础综合考试大纲一、考试对象:报名参加国际文化交流学院汉语国际教育专业学位研究生入学考试的考生。二、考试目的:全面、综合地考察考生汉语语言学基础知识以及应用汉语知识分析汉语问题的能力,以选拔优秀的汉语国际教育专业人才。三、考试内容:主要考察现代汉语包括 ...
    本站小编 免费考研网 2018-11-04 (0)
  • 重庆三峡学院2019年考研初试自命题科目考纲
    重庆三峡学院2019年硕士研究生招生入学考试初试自命题科目考纲附件【重庆三峡学院2019年硕士研究生招生入学考试初试自命题科目考纲.rar】 ...
    本站小编 免费考研网 2018-11-04 (0)
  • 2019年北京农学院345林业基础知识综合考研初试大纲
    2019年初试科目(345)《林业基础知识综合》考试大纲一、考试性质《林业基础知识综合》(包括树木学、花卉学和园林生态学)是报考林学专业硕士的考试科目之一。为了帮助考生明确考试复习范围和有关要求,提高复习效率,特制定本考试大纲。本考纲适用于报考北京农学院林学方向的硕士研究生考试。二、考试内容《林业基 ...
    本站小编 免费考研网 2018-11-04 (0)
  • 2019年北京农学院344风景园林基础(风景园林知识综合)考研初试大纲
    2019年初试科目(344)《风景园林基础(风景园林知识综合)》一、考试性质《风景园林基础(风景园林知识综合)》考试是我校风景园林学科(包括风景园林学及风景园林专业,含全日制和非全日制培养)硕士研究生入学考试中的必考科目。目的是考查考生掌握风景园林理论的基础概念、基本方法,以及分析和探索理论问题的能 ...
    本站小编 免费考研网 2018-11-04 (0)