一. 填空(共计 26 分) 1. (每空 1 分) 令 P: 天气好. Q: 我有时间. R: 我在家. S: 我上街. 将下面各个命题的符号表达式填在各个命题后面的括号内.. ⑴. 或者我上街,或者我在家. ( ) ⑵ 仅当天气好, 我才上街. ( ) ⑶ 如果天气好, 我就上街, 否则在家.( )

2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论

一、集合的概念及表示 集合：集合是数学中最基本的概念之一，不 能以更简单的概念来定义(define)，只能给出 它的描述(description)。一些具有共同性质 的对象的整体就称为一个集合，这个整体的 每个对象称为该集合的一个元素(member或 element)

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

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

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

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

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

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

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