一.实验内容 （1）求任意一个命题公式的真值表。 （2）利用真值表求任意一个命题公式的主范式。 （3）利用真值表进行逻辑推理。 注：（2）和（3）可在（1）的基础上完成。 二.实验目的 真 ...

3.1实验目的 关系是集合论中的一个十分重要的概念，关系性质的判定是集合论中的重要内容。通过该组实验，更加深刻地理解关系的概念和性质，并掌握关系性质的判定及关系的闭包的求法。 3.2实验内容 1 ...

中国邮路问题（Chinese Postman Problem）是一个非常经典的图论问题：一个邮递员送信，要走完他负责投递的全部街道（所有街道都是双向通行的且每条街道可以经过不止一次），完成任务后回到邮 ...

实验一 集合的运算 1.1实验目的 集合论是一切数学的基础，也是计算机科学不可或缺的，在数据结构、数据库理论、开关理论、自动机理论和可计算理论等领域都有广泛的应用。集合的运算规则是集合论中的重要内 ...