提交日期 2011 年 11 月 25 日
引言
《离散数学》是现代数学的一个重要分支，也是计算机科学与技术，电子信
息技术，生物技术等的核心基础课程。它是研究离散量（如整数、有理数、有限
字母表等）的数学结构、性质及关系的学问。它一方面充分地描述了计算机科学
离散性的特点，为学生进一步学习算法与数据结构、程序设计语言、操作系统、
编译原理、电路设计、软件工程与方法学、数据库与信息检索系统、人工智能、
网络、计算机图形学等专业课打好数学基础；另一方面，通过学习离散数学课程，
学生在获得离散问题建模、离散数学理论、计算机求解方法和技术知识的同时，
还可以培养和提高抽象思维能力和严密的逻辑推理能力，为今后爱念族皮及用计
算机处理大量的日常事务和科研项目、从事计算机科学和应用打下坚实基础。特
别是对于那些从事计算机科学与理论研究的高层次计算机人员来说，离散数学更
是必不可少的基础理论工具。
实验一、
编程判断一个二元关系的性质（是否具有自
反性、反自反性、对称性、反对称性和传递性）
一、前言引语
：
二元关系是离散数学中重要的内容。因为事物之间总是可以
根据需要确定相应的关系。从数学的角度来看，这类联系就是某个集合中元素之
