第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

第一节命题与联结词 第二节公式与解释 第三节范式 第四节公式恒真性的判定 第五节公式的蕴涵 第六节形式演绎

本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

一、课程概述 1、课程性质：数学实验是计算机技术和数学软件引入教学后出现的新事 物，它的特点是培养学生“用数学”的能力，即用学到的数学理论知识、借助计 算机及数学软件、分析解决实际问题。本课程的教学模式是“问题-→数学模型 —>数学方法—>软件求解—>上机操练

本章可视为前一章的深入和提高； 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同；能将自然语言符号 化；能用谓词逻辑进行推理；理 解前束范式的意义

本章讨论集合论中较为困难的问题—集 合的基数问题；但只限于对基数作一简 单介绍；如学时较少可不讲本章或对本 章作恰当的删减. 本章主要概念为:集合的等势、有限集与 无限集、可数集与不可数集及较为常见 的集合的基数

我们知道对矩阵进行一次初等变换,就相 当于用相应的初等矩阵去左乘原来的矩阵。 因此我们这个观点来考察Gaus消元法用 矩阵乘法来表示,即可得到求解线性方程 组的另一种直接法:矩阵的三角分解

第一节树的概念 第二节生成树与最优支撑树 第三节有向树与根树(1) 第三节有向树与根树(2) 第四节平面图

第一节谓词与量词 第二节公式与解释 第三节等价与蕴涵 第四节前束范式 第五节谓词演算的演绎与推理

第一节格的概念(1) 第一节格的概念(2) 第二节有余格与分配格 第三节布尔代数