序号

题目

实验目的

实验内容

1

命题逻辑综合练习

熟练掌握等价式、永真式的判定和证明，掌握真值表技术等

证明等价公式的算法

实现永真式的判定算法

构造任意真值表的算法

2

谓词逻辑综合练习

熟练掌握一阶逻辑的基本理论及应用

谓词公式永真式证明 ( 特定 E)

小型人工智能推理系统的仿真

3

集合论综合练习

熟练掌握有关集合运算等重点内容

集合恒等式的计算机证明

包含排斥原理的算法

4

关系理论综合练习

熟练掌握等价关系、相容关系、关系的有关运算的重点内容

等价关系的判定算法

关系合成算法实现

关系运算的矩阵实现

WASHELL 算法的实现

5

代数系统部分综合练习

熟练掌握代数系统的一般概念、群、环、域、格和布尔代数等重点内容

群、环、域等代数系统的判定算法

6

图论部分综合练习

熟练掌握图论的 dijkstra 算法

floyd 算法等图的经典算法及有关内容

求给定两点间的最短矩离的算法实现

任意两点间的最短矩离的算法实现

有序树形成二叉树的算法实现

图的着色算法