吉林大学2019-2020学年第一学期期末考试《离散数学》大作业参考答案.pdfVIP

吉林大学网络教育学院

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

学生姓名专业

层次年级学号

学习中心成绩

年月日

作业完成要求：大作业要求学生手写，提供手写文档的清晰扫描图片，并将图片添加到word

文档内，最终wod文档上传平台，不允许学生提交其他格式文件（如JPG，RAR等非word

文档格式），如有雷同、抄袭成绩按不及格处理。

一、简答题（每小题7分，共56分）

1、什么是命题公式的演绎？

答：首先定义了消解复杂性的两种范式:最简范式和文字范式,在此基础上采用演

绎方法证明了L中的可判定性定理,并设计了命题公式的演绎判定算法P(F).P(F)

的时间复杂度为O(n3),远远小于基于真值表法的O(2n)和基于策略方案HAL的

O(n5)。

2、什么是子句？请给出一例。

答：子句是一组包含一个主词和一个动词的关连字。子句与片语有明显的不同，

后者为一组不含主词与动词关系的关连字，如inthemorning或running

downthestreet或havinggrownusedtothisharassment.

3、什么是短语？请给出一例。

答：短语是由句法、语义和语用三个层面上能够搭配的语言单位组合起来的没有

句调的语言单位，又叫词组。它是大于词而又不成句的语法单位。简单的短语可

以充当复杂短语的句法成分，短语加上句调可以成为句子。由语法上能够搭配的

词组合起来的没有句调的语言单位

例如：粮食//丰收（名//动）（什么//怎么样）

4、什么是命题逻辑中的文字？

答：检测和消除命题逻辑公式中的冗余文字,是人工智能领域广泛研究的基本问

题。针对命题逻辑的子句集中子句的划分,结合冗余子句和冗余文字的概念,将命

题逻辑的子句集中的文字分为必需文字、有用文字和无用文字3类。

5、什么是析取范式？请给出一例。

答：在离散数学中，仅由有限个文字构成的合取式称为简单合取式，而由有限个

简单合取式构成的析取式称为析取范式。范式存在定理说明了它的存在性：任一

命题公式都存在着与之等值的析取范式与合取范式。但它并不是惟一的。主析取

范式是惟一的。