《离散数学》1、什么是谓词逻辑中的项？

2016-2017学年第一学期期末考试《离散数学》大作业答案

一、简答题（每小题10分，共50分）
1、什么是谓词逻辑中的项？
2、什么是前束范式？
3、什么是子图？
4、什么是图的关联矩阵？请举一例。
5、什么是图中的路，请举一例。
二、计算题（每小题25分，共50分）
1． 设A={1，2，3}，R={（1，2），（2，3）}，S={（1，1），（2，3），（2，2），（3，1）}，求S•R，R•S。
2． 设A={3,4}，B={1，2}，求AB A。