离散数学是计算机科学与技术专业的重要基础课程，主要研究离散状态的数学结构和算法。本课程的考核面向国家开放大学开放教育本科电气信息类计算机科学与技术专业的学生，根据2015年3月修订的教学大纲和指定教材《离散数学（本科）》第二版进行。考核方式为形成性考核与终结性考核结合，其中终结性考核是闭卷笔试，总分100分，考试时间为90分钟。试题包括单项选择题、判断题、公式翻译题和计算题。
在集合论部分，我们看到涉及到的概念包括集合的元素、子集、幂集以及关系。例如：
1. 集合的元素关系：{a, {a}}属于集合A，用符号表示为{a, {a}}⊆A，选项B正确。
2. 子集与包含关系：B是A的子集且B不在A中，即B⊆A但B⊄A，选项D正确。
3. 幂集的计算：集合A的幂集P(A)包含了所有可能的子集，包括空集和自身，选项C正确。
4. 二元关系的性质：题目中给出了一个关系R，满足a+b=8，它是对称的，因为如果(a, b)在R中，那么(b, a)也在R中，选项A正确。
5. 关系的闭包：S是R的对称闭包，因为S包含了R的所有对称元素，选项C正确。
在图论部分，我们关注的是图的性质和操作：
1. 图的邻接矩阵可以告诉我们边的数量，例如题目中的邻接矩阵表示一个有4条边的图。
2. 图的度数与边的关系：图的度数之和等于边数的两倍，因为每条边连接两个顶点，所以选项C正确。
3. 强连通图的定义：图(a)是强连通的，因为每个顶点都可以到达其他任何顶点。
4. 点割集的识别：点割集是删除后能将图分成至少两个不连通部分的节点集合，{b, d}不是点割集，因为去掉这两个点后，a、c、e、f之间仍有路径连接，选项A错误。
5. 图的性质分析：对于具体图形的分析，如图5所示的图G，需要进一步的信息来判断其性质。
这些例题涵盖了离散数学的基础内容，包括集合的基本概念、关系的性质、图的结构等。通过这些题目，学生可以巩固和理解离散数学的基本理论，并为解决实际问题打下坚实基础。在复习时，应重点关注这些概念的定义、性质及其相互之间的联系，以便在考试中能够灵活应用。
