黑龙江2012年自考计算机教育(独本)“数理逻辑”考试大纲(1)

《黑龙江2012年自考计算机教育(独本)“数理逻辑”考试大纲(1)》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码0035)黑龙江省高等教育自学考试委员会办公室二○○九年十月11一、课程性质与设置目的一、课程设置的有关说明数理逻辑是黑龙江省高等教育考试计算机教育专业（独立本科段）的一门专业必修课程，是培养和检验应考者逻辑推理能力的一门重要课程。数理逻辑既是计算机领域中的一门工具学科，又是一门开发学生抽象思维和缜密推理能力的素质学科。1．设置本课程的目的在于：（1）为学习计算机各专业理论课程奠定数学基础、提供数学工具、数学方法和数学手段。（2）培养学生在思维方法上的抽象概括能力及缜密的逻辑推理能力。（3）

2、了解和熟悉现代逻辑学的观点和方法，为不断提高专业理论水平和研究能力打下扎实的基础。2．课程教学基本要求本课程的先修课程是高等数学和线性代数。数理逻辑不仅为计算机专业的学习、研究和应用提供基本理论和逻辑推理的方法，而且通过该课程的学习可以有效地培养学生的抽象思维、缜密概括和逻辑推理能力，从某种意义上讲，后者较前者更重要。这一点在学习的过程中务必注意。11二、课程内容与考核目标第1章绪论（一）课程内容第1节数理逻辑的研究对象和主要内容第2节数理逻辑的发展概况第3节数理逻辑研究的科学意义（二）学习目的与要求数理逻辑又叫“现代逻辑”，是跟“传统逻辑”相对而言的。数理逻辑是计算机运算的理论基础

3、，在开关线路、电子计算机、自动控制论及各种信息处理系统等方面得到了广泛的应用。本章所列知识点中，重点是数理逻辑的概念，数理逻辑的产生和发展，难点是数理逻辑研究的科学意义。（三）考核知识点与考核要求1.数理逻辑的研究对象和主要内容。1.1逻辑演算的概念，要求达到“识记”层次。1.2数理逻辑的概念，要求达到“识记”层次。1.3数学的方法，要求达到“识记”层次。1.4数理逻辑的五大组成部分，要求达到“简单应用”层次。2.数理逻辑的发展概况，要求达到“简单应用”层次。2.1数理逻辑的产生和发展的三个阶段。3.数理逻辑研究的科学意义，要求达到“简单应用”层次。3.1数理逻辑在非数学理论方面的科

4、学意义第2章命题逻辑（一）课程内容第1节命题与命题形式第2节命题联结词第3节真值函项和有关真值函项的两个定理第4节命题的符号化第5节重言式及其验证第6节范式11（二）学习目的与要求通过本章学习，使学生了解用数学方法研究推理规律和推理方法的基础知识，在命题逻辑这个层面上掌握最基本的推理理论。要求准确把握命题、命题联结词、命题公式的定义，正确地进行命题公式的翻译，掌握基本的命题定律（包括等价式和蕴含式），熟练地运用真值表证明命题公式等价以及确定命题公式的范式，搞懂推理的基本方法。本章所列的知识点中，重点是命题联结词，命题的符号化，难点是重言式及其验证和范式。（三）考核知识点与考核要求1.

5、命题与命题形式，要求达到“识记”层次。1.1简单命题和复合命题的概念1.2真值、变项和常项的概念1.3所有真命题的总和即人类知识的总和1.4必然命题和或然命题2.命题联结词，要求达到“识记”层次。2.1命题联结词的概念2.2否定联结词Ø2.3合取联结词Ù2.4析取联结词Ú2.5蕴含联结词®2.6等值联结词«3.真值函项和有关真值函项的两个定理，要求达到“综合应用”层次。3.1真值函数和真值函项3.2数学归纳法的思想4.命题的符号化，要求达到“简单应用”层次。4.1数理逻辑中的括号法4.2命题的符号化5.重言式及其验证，要求达到“简单应用”层次。5.1真值函项的三大类：永真的，永假的和

6、综合的5.2命题的三大类：永真公式，永假公式和协调式5.3命题逻辑理论的主要内容5.4验证真值函项的三种方法：真值表法，赋值法和谬赋值法6.范式，要求达到“综合应用”层次。6.1范式的概念6.2简单析取，简单合取，析取范式，合取范式的定义6.3范式的作用第3章命题演算11（一）课程内容第1节演算的两个主要准则和命题解释第2节命题演算的推导规则第3节命题演算的自然推理系统第4节前提的协调性及其判定方法（二）学习目的与要求命题演算是命题逻辑的重言式所组成的形式系统，将推理的逻辑方法转换为公式之间的符号变换，从而使命题逻辑中某些问题的研究转换为对语言符号的研究，即命题演算是研究由命题经过使

7、用联结词和演算规则等构成更复杂的命题，以及这些构成的命题之间的推演关系的一个推理系统。本章知识点中，重点是演算的两个主要准则，命题解释的概念；难点是命题演算的推导规则。（三）考核知识点与考核要求1.演算的两个主要准则和命题解释1.1演算的两个主要准则：一致性和完全性准则，要求达到“简单应用”层次。1.2命题解释的概念，要求达到“识记”层次。2.命题演算的推导规则，要求达到“识记”层次。2.1命题演算的推导规则第4章命题演算的公理系统（一）课程内容第1节公理