离散习题讲解.docVIP

一．数理逻辑 形式系统P中将演绎定理转化为证明序列的方法:以下题为例,如果用演绎定理证明很容易,问题是要求写证明序列时,如何由演绎定理的思路进行填补以得到证明序列.2001年,二.2 在形式系统P中不用演绎定理证明:┠α→((α→β)→β) ?1。??我看了一下题目，感觉应该不难吧这道题目。 就是求前束范式，按书上的一步步来就应该可以了。 我不太明白你所说的“在最外面既出先了存在又出现了任给” 什么意思。:( ?不过我建议你多看一下书。 ?2.?当然要求了，第一章1.4节不用看。 ?其实集族、指标集、广义并和广义交那些东西很简单的， 你仔细研究一下就知道了，没多少难度。集合论是很简单的， 个人认为图论倒是比集合论难的多。但是总体说来， 集合论图论又是在离散三门中最简单的，我觉得数理逻辑最难， 其次代数结构组合数学，（代数结构倒是还可以，组合数学太繁可）。 【在sysboy的大作中提到】 呵呵，不好意思，似乎这个版里成了我们两个的对话了。 1、在1999年的计算机数学基础的试题中，第三道题的第二小题，怎么做？在最外边即出现了存在，又出现了任给，两个量词所表达的意思对于X的辖域是同样的吗？ 2、在集合论与图论中，第一章中的集族、指标集、广义并和广义交等内容还要求吗？似乎挺难的！ 呵呵，就是2001年fuhu栽了的题 偶好好看看 【在luoyf的大作中提到】 ???在作业中14题 ???(3)(a→(a→b))→(a→b) ???步骤如下 ???(a→b)→(a→b) ???((a→b)→(a→b))?→?((a→b)→a)→((a→b)→b) ???((a→b)→a)→((a→b)→b) ????有问题步骤 ((a→b)→a)→((a→b)→b)?→?(a→((a→b)→a))→((a→b)→b)?(A2)?????? ???在课本中?(A2)?(a→(b→c))→((a→b)→(a→c)) 与课本中不符 (4)?a→(b→(a→b)) ????b→(a→b) ????b→(a→b)?→?(a→(b→(a→b)))?(A2) 是否作业有误 ?? 　二。集合论 1 同意你的看法，S是没有反自反性 2 错 R没有传递性，反例：有2,0,0,3属于R，但2,3不属于R，所以传递性不成立 3 你给出的这个R具有传递性，对于任意的xRy,yRzm都有xRz 【在sysboy的大作中提到】 1、《集合论与图论》第二章 P81，第15题，我认为应该分A为空集和非空集合来讨论的. 就算不分的话，默认为非空的,作业中的解答关于S给出了”具有反自反性和对称性”,其他的R,T都是对的，没有意见,呵呵 .我认为S没有反自反性,比如A={1,2}, 空集总是幂集中的一个组成元素,而且有 空集交空集=空集, 所以反自反性不成立. 2、第二章 P81，第17题 也有问题的，答案给出了R具有“自反性，对称性”，我觉得还具有传递性。 3、给出一个关系R={a,ab,ba,bc,d} 对于这个关系有没有传递性。 三．96代数结构与组合数学解答 96代数结构与组合数学试题?99年1月 一、确定以下各小题的集合关于给定运算是否封闭。如果是，说明相关运算所具有的性质（指交换律，结合律，幂等律，分配律，吸收律） 和特异元素（单位元，零元，逆元） 1． A=Z，x☉y=x+y-2xy，任意x，y∈A 2． A=R，x☉y=|x-y|，任意x，y∈A 3． A=P({a，b})，两个运算分别为集合的交和对称差 4． A为n阶实可逆矩阵的集合，两个运算分别为矩阵加法和乘法。（12分） 解答： 1．封闭。有交换、结合。消去律。单位元0，0的逆＝0，1的逆＝1。 2．封闭。有交换律。 3．两个运算都封闭。 ∩运算有交换律、结合律、幂等律。单位元{a，b}，零元Φ。 ⊕运算有交换律、结合律、消去律。单位元Φ。 ∩运算对⊕运算有分配律。 对于∩运算，只有{a，b}有逆元，{a，b}的逆＝{a，b}。 对于⊕运算，任意x∈A，x的逆＝x。 4．乘法封闭，加法不封闭。 乘法有结合律、消去律。单位元为n阶单位矩阵。 任意x∈A，x的逆元为逆矩阵x的逆。 二、设代数系统V=A，☉，任意x，y∈A，x☉y=max{x，y}，试给出V上除IA，EA之外所有的同余关系和对应的商代数。（12分） 解答： 同余关系：R1＝IA∪{1，2，2，1}。 ??R2＝IA∪{2，3，3，2}。 设R1、R2对应的商代数分别为V1和V2，则 V1＝{{1，2}，{3}}? V2＝{{1}，{2，3}} V1 {1，2} {3} V2 {1} {2，3} {1，2