吉大20年4月课程考试《离散数学》大作业（手写扫描）

易百网

吉林大学网络教育学院
20192020学年第一学期期末考试《离散数学》大作业

吉林大学

学生姓名专业
层次年级学号
学习中心成绩
年月日
作业完成要求：大作业要求学生手写，提供手写文档的清晰扫描图片，并将图片添加到word文档内，最终wod文档上传平台，不允许学生提交其他格式文件（如JPG，RAR等非word文档格式），如有雷同、抄袭成绩按不及格处理。
一、简答题（每小题7分，共56分）
1、什么是命题公式的演绎？
2、什么是子句？请给出一例。
3、什么是短语？请给出一例。
4、什么是命题逻辑中的文字？
5、什么是析取范式？请给出一例。
6、什么是关于P1，P2，&#61628，Pn的极小项？请给出一例。
7、什么是谓词逻辑中的项？
8、什么是Skolem范式？
二、综合题（共44分）
1、求证若G的元数是一个质数，则G必是循环群。(7分）
2、令S={所有正偶数集合}。证明：(I+，D)与(S，D)同构。（7分）
3、证明：4个元素的格(L，*，⊕)必同构于格(I4，&#61603)或者格(S6，D)。（10分）
4、试证明群G的所有内自同构映射在映射的乘法下作成群。（10分）
5、求证任意无零因子的有限环必是一个体。假定环中不只有一个元素。（10分）

吉林大学
奥鹏作业答案