吉大20年4月课程考试《离散数学》离线作业考核试题

奥鹏作业答案 联系QQ:3326650399 微信:cs80188
吉林大学网络教学学院




2019-2020学年榜首学期期末考试《离散数学》大作业






学生名字 专业
层次年级 学号
学习中间 分数







年 月 日
作业完结要求：大作业要肄业外行写，供给手写文档的明晰扫描图像，并将图像增加到word文档内，终究wod文档上载渠道，不答应学生提交其他格局文件（如JPG，RAR等非word文档格局），如有相同、抄袭分数按不及格处理。

一、简答题（每小题7分，共56分）
1、啥是命题公式的演绎？
2、啥是子句？请给出一例。
3、啥是短语？请给出一例。
4、啥是命题逻辑中的文字？
5、啥是析取范式？请给出一例。
6、啥是关于P1，P2，?，Pn的极小项？请给出一例。
7、啥是谓词逻辑中的项？
8、啥是Skolem范式？
二、归纳题（共44分）
1、求证若G的元数是一个质数，则G必是循环群。 (7分）
2、令S={一切正偶数调集}。证明：(I+，D)与(S，D)同构。 （7分）
3、证明：4个元素的格(L，*，⊕)必同构于格(I4，?)或许格(S6，D)。 （10分）
4、试证明群G的一切内自同构映射在映射的乘法下作成群。 （10分）
5、求证恣意无零因子的有限环必是一个别。假定环中不只要一个元素。 （10分）
奥鹏作业答案 联系QQ:3326650399 微信:cs80188