西南大学19秋[0004]离散数学机考答案
西南大学网络与继续教育学院课程考试试题卷类别：网教 专业： 计算机教育 2019年9月
课程名称【编号】：离散数学【0004】 A卷
大作业 满分：100分
大作业题目
1.请给出集合A到集合B的关系R的数学定义，并判断整数集Z上的模同余关系具有哪些性质，其中 为正整数.
2. 请给出谓词逻辑研究的对象，并将“所有人都是要死的”使用谓词符号化.
3. 请给出群的定义，并验证：非0实数集合R- {0}关于数的乘法(运算构成群.
4. 请给出无向连通图的定义，并证明：设是阶简单无向图，若对于任意的中不相邻的节点和有，则是连通图.
5. 请给出平面图的定义，并利用Euler公式证明: Petersen图是非平面图.
二、大作业要求
大作业共需要完成三道题：
第1题必做，满分30分；
第2-3题选作一题，满分30分；
第4-5题选作一题，满分40分.附件是答案，核对题目后下载
页:
[1]