2015年9月4日

【离散数学】实验二 集合上二元关系性质判定的实现

摘要： 先打个草稿，今晚看书理解下，明天实现。内容：编程实现任意集合上二元关系的性质判定。要求：能正确判定任意二元关系的自反性、对称性、传递性、反自反性和反对称性。代码：/* * Author : Tob_yuhong * Function: 集合上二元关系性质判定的实现,能正确判定任意二元关系的自反性、... 阅读全文

posted @ 2015-09-04 22:27 Tob__yuhong 阅读(1983) 评论(0) 推荐(0) 编辑

【离散数学】实验一 利用真值表法求取主析取范式以及主合取范式的实现

摘要： 内容：针对给定的包含任意个变量的真值表，编程实现用真值表法求取其所对应的主析取范式和主合取范式。要求：能够掌握通过真值表求取相应主析取和主合取范式的方法及原理。代码：/* * Author: Tob_yuhong * Function: 针对给定的包含任意个变量的真值表，编程实现用真值表法求取其... 阅读全文

posted @ 2015-09-04 13:02 Tob__yuhong 阅读(4091) 评论(0) 推荐(0) 编辑

导航