计算机离散数学及其应用,离散数学及其应用.doc

离散数学及其应用

第一章 命题逻辑

习题：

1.判断下列语句是否是命题，为什么？若是命题，判断是简单命题还是复合命题。

(1)离散数学是计算机专业的一门必修课。

(2)李梅能歌善舞。

(3)这朵花真美丽！

(4)3+2>6.

(5)只要我有时间，我就来看你。

(6)x=5.

(7)尽管他有病，但他仍坚持工作。

(8)太阳系外有宇宙人。

(9)小王和小张是同桌。

(10)不存在最大的素数。

2.判断下列各式是否是命题公式，为什么？

(1)P→(P∧Q)。

(?P→Q)→(Q→P)))。

((?P→Q)→(Q→P))。

(Q→R∧S)。

(P∧QR)→S。

((R→(Q→R)→(P→Q))。?(P∨?Q)。

(2)P∧(Q∨R)。

(3)?(P∨Q)?(?P∧?Q)。

(4)?P→(Q→P)。

5.分别用真值表法和公式法判断下列命题公式的类型：

(1)(P∨Q)→(P∧Q)。(P∧Q)。?P∨Q)∧?(Q∨?R)∧?(R∨?P∨?Q)。

(4)(P∧Q∧?R∧Q)。

(5)(Q∧(?P∧Q)。

(6)(??Q)?(P?Q)。

(7)(∧Q)∧?(P∧Q)。(P∧Q)。?(P∨Q)∨(?P∧Q)??P。

(3)(P∧Q)?P??P∨Q。

(4)P→(Q∧)?P→Q)∧(PP→Q)∧(Q)?P∨R)→Q。

(6)(P∧Q∧)∧?(A∧(P?Q))→C。

(7)?(P)???Q。

(8)?(P)???Q。

7.设A，B，C为任意的三个命题公式，式问下面的结论是否正确？

(1)若A∨C?B∨C，则A?B。

(2)若A∧C?B∧C，则A?B。

(3)若?A??B，则A?B。

(4)若A→C?B→C，则A?B。

(5)若A?C?B?C，则A?B。

8.试给出下列命题公式的对偶式：

(1)(P∧Q)∨R。

(2)T∨(P∧Q)。

(3)(P∨Q)∧F。

(4)?P(P∧Q)∧(?P∨Q)。

9.分别用真值表法、分析法和公式法证明下列蕴涵式：

(1)?(P→Q)T P∨Q。

(2)(P→Q)→QT P∨Q。

(3)P→QT P→(P∧Q)。

(4)(P→Q)∧(Q→R)T(P→R)。

10.将下列命题公式化成与之等价的仅含联结词 或 的公式：

(1)P∧(Q→R).

(2)(P→(Q∧R))∨P。

第二章 谓词逻辑

第三章 集合

上机实验：

编写程序，实现以下功能：

(1)求集合{a，b，c}的幂集。

(2)求集合A={1，2，3}和B={3，4，5}的交集与并集。

(3)求S={1，2，3，4，5}的所有全排列及所有4个元素的子集。

第四章 关系

上机实验：

编写程序，实现下面功能：

(1)给定一个关系，能够判断这个关系是否具有自反性、对称性、传递性。

(2)给定两个关系R1和R2，能够进行复核运算R1*R2.

(3)给定一个关系R，能够求得其自反闭包r(R)、对称闭包s(R)和传递闭包t(R)。

(4)判断一个关系是否为等价关系，如果是，给出等价类集合。

(5)求给定偏序关系的哈斯矩阵。

第五章 函数

第六章 整数

编写程序，实现下面的功能：

(1)判断一个数是否是素数。

(2)求小于100的所有素数。

(3)求两个数m与n的最大公因数和最小公倍数。

第七章 同余

第八章 代数系统

第九章 格与布尔代数

第十章 图

编写程序，实现下面的功能：

(1)求图的可达矩阵。

(2)求图的任何两个结点之间特定长度的路的数量。

(3)求图中任何结点所在的强分图、任何边所在的单向分图。

(4)求图中的割点和割边。

(5)求图中的所有极大匹配。

(6)求图中的所有最短路径。

(7)求图中的所有关键路径。

(8)求加权图的最小生成数。

(9)求二叉树对应的前缀码。

第十一章 形式语言与自动机简介

上机实验：

设计一个状态输出自动机M，对于输入的一个二进制数x，M输出x被3除的余数，并在计算机上实现。

第十二章 纠错码简介

上机实验

一个(8，4)码，它的校验位a5，a6，a7，a8满足下列方程：

a5=a1+a2+a4

a6=a1+a3+a4

a7=a1+a2+a3

a8=a2+a3+a4

编程求出满足此校验方程的可纠正单错的(8，4)码，并求出接收00011111发送字。