清华大学《离散数学》2016-2017学年第一学期期末试卷_534078

清华大学本科生考试试题姓名班号学号考试课程《离散数学1》2017年1月8日(A卷)(共2页一正反两面)该页面的所有题目的解答直接写在这张试题纸上，该试题纸一并上交。背面的题目写在答题本上一、选择题（共13分，每空1分）在下列各小题中选择其中的一种答案，标注在小标题后面的括号中1.()简而言之，命题逻辑的公理系统是A,用来建立公理的系统：B.由公理产生推理规则的系统：C.用来完善已有公理的系统D.从精选的几条公理出发，根据规定的演绎规则，推导出一系列定理的形式符号系统。2.、()孔子曰：“己所不欲，勿施于人，”以下哪一选项不是这句话的逻辑推论？A只有己所欲，才能施于人。B.除非己所欲，否则不施于人。C,若已所欲，则施于人。D.凡施于人的都应该是己所欲的3.C)与连续统假设(CH)的主要内容最接近的是：满足X。

查看更多 收起部分