离散数学的研究内容？
离散数学是研究离散对象（量）的数学，粗略地来讲，所谓“离散”就是不“连续”的、“可分离”的，比如自然数、书本、人等等，实数则是连续的。用集合论的术语来说，离散对象就是这样的对象：其全体所构成的集合是有限或可数的。
命题和谓词？
命题：自然语句中能够判定真假的陈述句称为命题；
谓词：在陈述句中用来刻画个体词性质以及个体词之间相互关系的词。
什么是等价关系？
设R是集合A上的关系，如果R是自反的、对称的和传递的，则称R为A上的等价关系。
什么是偏序关系？
对于非空集合A上的二元关系R，如果R是自反的、反对称的和传递的，···
什么是全序关系？
对于偏序集，如果A中任意两个元素x和y是可比的，···
主合取范式，主析取范式
（1）命题公式的规定标准形式称为命题公式的范式。
（2）任何命题公式都存在与之对应的主合取范式和主析取范式。
（3）主析取范式：对于一个含n个命题变元的命题公式，如果已经表示成析取范式，且该析取范式中的每个简单的合取范式都是该n个命题变元的极小项。
（3）主合取范式：对于一个含n个命题变元的命题公式，如果已经表示成合取范式，且该合取范式中的每个简单的析取范式都是该n个命题变元的极小项。
简述一下有向图和无向图的区别
无向图：所有的边都是无向边的图；
有向图：所有的边都是有向边的图；
无向完全图：任意两个结点之间都有边相连；
有向完全图：任意两个结点之间都有两条方向相反的有向边相连；