1 理解确界定理、区间套定理、 柯西收敛准则，有限覆盖定 理、聚点定理、致密性定理 、单调有界定理及其相互推 证、应用。 2 培养严密的逻辑推理能力

《线性代数》是理工类和经管类高等院校学生必修的一门重要基础理论课 程。通过该课程的学习,能使学生掌握该课程的基本理论和基本方法,且对学 生其它能力的培养(如逻辑推理能力、抽象思维能力)和数学素养的提高也有 着重要的作用。这些理论方法和能力为一些后续课程的学习及在各个学科领域 中进行理论研究和实践工作提供了必要的保证,受到各院校的高度重视

《高等数学I》是工科(非数学)本科专业学生的一门必修的重要基础理论课，它是为培养我国社会主义现代化建设所需要的高质量专门人才服务的。通过本课程的学习，要使学生获得：1、函数与极限；2、一元函数微积分学；3、向量代数与空间解析几何；4、多元函数微积分学；5、无穷级数(包括傅立叶级数)；6、微分方程等方面的基本概念、基本理论和基本运算技能，为学习后继课程和进一步获取数学知识奠定必要的数学基础。同时，要通过各个教学环节逐步培养学生具有抽象思维能力、逻辑推理能力、空间想象能力、运算能力和自学能力，还要特别注意培养学生具有综合运用所学知识去分析问题和解决问题的能力

（1）精确逻辑（传统逻辑）的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中，命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题，组合成另一个命题的过 程

（1)精确逻辑(传统逻辑)的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中,命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题,组合成另一个命题的过 程

第一节 联言推理 第二节 选言推理 第三节 假言推理 第四节 假言选言推理（二难推理）

第一节 推理的形式结构 第二节 自然推理系统P

–推理的形式结构 –自然推理系统P

推理的形式结构 推理的正确与错误 推理的形式结构 判断推理正确的方法 推理定律 自然推理系统P 形式系统的定义与分类 自然推理系统P 在P中构造证明:直接证明法、附加前提证明法、归谬法

一、推理的形式结构 二、判断推理是否正确的方法 三、推理定律与推理规则 四、构造证明法