离散数学实验报告四个实验

离散数学实验报告四个实验

《离散数学》

课程设计

学 院 计算机学院

学生姓名

学 号

指导教师

评阅意见

1 / 1

离散数学实验报告四个实验

提交日期 2011 年 11 月 25 日

引言

《离散数学》是现代数学的一个重要分支，也是计算机科学及技术，电子信息技术，生物技术等的核心基础课程。它是研究离散量（如整数、有理数、有限字母表等）的数学结构、性质及关系的学问。它一方面充分地描述了计算机科学离散性的特点，为学生进一步学习算法及数据结构、程序设计语言、操作系统、编译原理、电路设计、软件工程及方法学、数据库及信息检索系统、人工智能、网络、计算机图形学等专业课打好数学基础；另一方面，通过学习离散数学课程，学生在获得离散问题建模、离散数学理论、计算机求解方法和技术知识的同时，还可以培养和提高抽象思维能力和严密的逻辑推理能力，为今后爱念族皮及用计算机处理大量的日常事务和科研项目、从事计算机科学和应用打下坚实基础。特别是对于那些从事计算机科学及理论研究的高层次计算机人员来说，离散数学更是必不可少的基础理论工具。

1 / 1

离散数学实验报告四个实验

实验一、 编程判断一个二元关系的性质（是否具有自反性、反自反性、对称性、反对称性和传递性）

一、前言引语：二元关系是离散数学中重要的内容。因为事物之间总是可以根据需要确定相应的关系。从数学的角度来看，这类联系就是某个集合中元素之间存在的关系。 二、数学原理：自反、对称、传递关系

设A和B都是已知的集合，R是A到B的一个确定的二元关系，那么集合R就是A×B的一个合于{()∈A×}的子集合

设R是集合A上的二元关系：

自反关系：对任意的x∈A,都满足<>∈R，则称R是自反的，或称R具有自反性，即R在A上是自反的(x)((x∈A)→(<>∈R))=1

对称关系：对任意的∈A，如果<>∈R，那么<>∈R，则称关系R是对称的，或称R具有对称性，即R在A上是对称的 (x)(y)((x∈A)∧ (y∈A)∧(<>∈R)→(<>∈R))=1

传递关系：对任意的∈A，如果<>∈R且<>∈R，那么<>∈R，则称关系R是传递的，或称R具有传递性，即R在A上是传递的

(x)(y)(z)[(x∈A)∧(y∈A)∧(z∈A)∧((<>∈R)∧(<>∈R)→

1 / 1