2017年国防科技大学 离散数学 硕士研究生招自命题科目考试大纲
2017年硕士研究生入学考试自命题科目考试大纲
科目代码：863 科目名称：离散数学
一. 考试要求
主要考察学生对离散数学中集合、关系、函数、图论、命题逻辑、一阶谓词逻辑、推理系统、布尔代数等计算机数学的基本概念、计算和证明方法的理解与掌握情况，以及应用上述概念和方法进行应用问题离散建模、计算求解和逻辑推理的能力。注重概念的深入理解、知识的综合运用，以及现实问题分析和解决。
二、考试内容
1.逻辑和证明基础
命题、逻辑联接词、真值表、位操作和位串、命题符号化及应用、逻辑等价和蕴含、命题可满足性及应用、谓词、量词、量词表达式等价及否定、嵌套量词、谓词逻辑符号化、推理规则、归结、逻辑证明、证明方法、证明策略、逻辑语义。要求熟练掌握命题逻辑和谓词逻辑的基本概念，掌握逻辑等价和蕴含分析方法，掌握逻辑推理方法和证明方法，能够熟练运用命题逻辑和谓词逻辑求解逻辑问题，了解可满足性问题。
2.基本结构：集合、函数、序列、求和
集合基本概念、集合描述方法、常见集合、集合相等、属于、子集、空集、幂集、集合的基数、n元组、笛卡尔乘积、集合运算（交、并、差、补）、集合恒等式、广义交、广义并、集合的计算机表示、（全）函数、函数算术、1对1函数、1-1对应、内射、满射、双射、函数运算（逆函数、函数的合成）、若干重要函数、部分函数、序列、算术级数、几何级数、递推关系、一些特殊序列、累加、基数比较关系（=，≥，≤，<, >）、可数集、不可数集、基数关系证明。要求熟练掌握集合的基本概念、集合的运算；熟练掌握函数、函数的运算及其证明；熟练掌握级数、累加；掌握基数比较和函数的关系、可数集。
3.归纳和递归
数学归纳法原理、数学归纳法运用、强归纳法原理、强归纳法运用、良序性质、递归定义函数、归纳定义法、递归定义的集合和结构、结构归纳法、结构归纳法的运用、广义归纳法、递归算法、递归算法正确性证明、递归和迭代。要求熟练掌握数学归纳法、强归纳法和结构归纳法，能够熟练运用归纳定义法；掌握递归和递归算法的基本概念，能够较熟练编写递归算法；了解递归算法正确性证明。
4.关系
二元关系基本概念、关系与函数、二元关系的性质（自反、对称、反对称、传递）及其证明、关系的运算、n-元关系基本概念、n-元关系的运算、关系与数据库、关系的表示（关系矩阵、关系图）、关系的闭包、等价关系、等价类、划分、偏序、全序、良序归纳原理、哈斯图、最大（小）元、极大（小）元、上（下）界、上（下）确界、格、拓扑排序。要求熟悉集合、关系和函数的关联关系；掌握关系的性质判定和运算；熟悉关系与关系数据库的关系；掌握等价关系、序关系，能够证明相关性质；了解格和拓扑排序。
5.图
图的基本概念、图模型、图的基本术语和特殊类型图、二部图和匹配、图的应用、图的运算、图的表示、图同构、路径和连通性、欧拉路径和哈密顿路径及其应用、最短路径算法、平面图及其应用、欧拉公式、库拉托瓦斯基定理、图的着色问题。要求熟悉图的基本概念和术语；掌握最短路径算法；熟悉路径和连通性；较熟练掌握图的性质证明；较好掌握二部图和平面图。
6.树
树的基本概念和术语、树建模、树的性质及其证明、树的应用、二叉树、树的遍历算法、树的编码、生成树、最小生成树、回溯。要求熟悉树的基本概念；掌握树的算法和性质证明；能够使用树进行建模和应用；掌握各种树的遍历算法；掌握回溯法。
7.布尔代数
布尔函数、布尔表达式、布尔代数恒等式、对偶、布尔代数定义、范式展开、逻辑门、电路、电路极小化。要求掌握布尔表达式变换方法；熟悉布尔代数与电路的关联关系；了解布尔代数。
三、考试形式
考试形式为闭卷、笔试，考试时间为3小时，满分150分。
题型包括：计算题、证明题、分析题、推理题等。
四、参考书目
1.Discrete Mathematics and Its Applications(7th edition), Kenneth H. Rosen, ISBN:978-0-07-338309-5, McGraw-Hill, 201
2.
2.《离散数学》，王兵山、张强、毛晓光主编，国防科技大学出版社，2001.
离散数学答案命题逻辑
第二章 命题逻辑 习题．解 ⑴不是陈述句，所以不是命题。 ⑵x 取值不确定，所以不是命题。 ⑶问句，不是陈述句，所以不是命题。 ⑷惊叹句，不是陈述句，所以不是命题。 ⑸是命题，真值由具体情况确定。 ⑹是命题，真值由具体情况确定。 ⑺是真命题。 ⑻是悖论，所以不是命题。 ⑼是假命题。 2．解 ⑴是复合命题。设p ：他们明天去百货公司；q ：他们后天去百货公司。命题符号化为q p ∨。 ⑵是疑问句，所以不是命题。 ⑶是悖论，所以不是命题。 ⑷是原子命题。 ⑸是复合命题。设p ：王海在学习；q ：李春在学习。命题符号化为p q 。 ⑹是复合命题。设p ：你努力学习；q ：你一定能取得优异成绩。p q 。 ⑺不是命题。 ⑻不是命题 ⑼。是复合命题。设p ：王海是女孩子。命题符号化为：p 。 3．解 ⑴如果李春迟到了，那么他错过考试。 ⑵要么李春迟到了，要么李春错过了考试，要么李春通过了考试。 ⑶李春错过考试当且仅当他迟到了。 ⑷如果李春迟到了并且错过了考试，那么他没有通过考试。 4．解 ⑴p (q r )。⑵p q 。⑶q p 。⑷q p 。 习题 1．解 ⑴是1层公式。 ⑵不是公式。 ⑶一层： p q ，p 二层： p q 所以，)()(q p q p ??→∨是3层公式。 ⑷不是公式。 ⑸(p q )(q ( q r ))是5层公式，这是因为 一层：p q ，q ，r 二层：q r 三层：q ( q r ) 四层： (q ( q r )) 2．解 ⑴A =(p q )q 是2层公式。真值表如表2-1所示： 表2-1 p q q p ∨ A 0 0 0 0 0 1 1 1 1 0 1 0 1 1 1 1 ⑵p q p q A →→∧=)(是3层公式。真值表如表2-2所示：
离散数学自学笔记命题公式及其真值表
离散数学自学笔记命题公式及其真值表 我们把表示具体命题及表示常命题的p，q，r，s等与f，t统称为命题常元（proposition constant）。深入的讨论还需要引入命题变元（proposition variable）的概念，它们是以“真、假”或“1，0”为取值范围的变元，为简单计，命题变元仍用p，q，r，s等表示。相同符号的不同意义，容易从上下文来区别，在未指出符号所表示的具体命题时，它们常被看作变元。 命题常元、变元及联结词是形式描述命题及其推理的基本语言成分，用它们可以形式地描述更为复杂的命题。下面我们引入高一级的语言成分——命题公式。 定义1.1 以下三条款规定了命题公式（proposition formula）的意义： （1）命题常元和命题变元是命题公式，也称为原子公式或原子。 （2）如果A，B是命题公式，那么（┐A），（A∧B），（A∨B），（A→B），（A？B）也是命题公式。 （3）只有有限步引用条款（1），（2）所组成的符号串是命题公式。 命题公式简称公式，常用大写拉丁字母A，B，C等表示。公式的上述定义方式称为归纳定义，第四章将对此定义方式进行讨论。 例1.8 （┐（p→（q∧r）））是命题公式，但（qp），p→r，p1∨p2∨…均非公式。 为使公式的表示更为简练，我们作如下约定： （1）公式最外层括号一律可省略。 （2）联结词的结合能力强弱依次为┐，（∧，∨），→，？，（∧，∨）表示∧与∨平等。 （3）结合能力平等的联结词在没有括号表示其结合状况时，采用左结合约定。湖南省自考网：https://www.360docs.net/doc/b010761411.html,/整理 例如，┐p→q∨（r∧q∨s）所表示的公式是（（┐p）→（q∨（（r∧q）∨s））） 设A是命题公式，A1是A 的一部分，且A1也是公式，则A1称为公式A的子公式。
离散数学(命题逻辑)课后总结
离散数学（课件上习题） 第一章 例1-1.1 判定下面这些句子哪些是命题。 ⑴2是个素数。 ⑵雪是黑色的。 ⑶2013年人类将到达火星。 ⑷如果a>b且b>c，则a>c 。（其中a,b,c都是 确定的实数） ⑸x+y<5 ⑹请打开书！ ⑺您去吗？ ⑴⑵⑶⑷是命题 例1-2.1 P：2是素数。 ?P：2不是素数。 例1-2.2 P：小王能唱歌。 Q：小王能跳舞。 P∧Q：小王能歌善舞。 例1-2.3. 灯泡或者线路有故障。（析取“∨”） 例1-2.4. 第一节课上数学或者上英语。（异或、排斥或。即“?”） 注意：P ?Q 与(P∧?Q)∨(Q∧?P ) 是一样的。 归纳自然语言中的联结词，定义了六个逻辑联结词，分别是：（1）否定“?”(2) 合取“∧”(3) 析取“∨”(4) 异或“?”(5) 蕴涵“→”(6) 等价“?” 例1-2.5：P表示：缺少水分。 Q表示：植物会死亡。 P→Q：如果缺少水分，植物就会死亡。 P→Q：也称之为蕴涵式，读成“P蕴涵Q”，“如果P则Q”。 也说成P是P→Q 的前件，Q是P→Q的后件。 还可以说P是Q的充分条件，Q是P的必要条件。 以下是关于蕴含式的一个例子 P：天气好。Q：我去公园。 1.如果天气好，我就去公园。 2.只要天气好，我就去公园。 3.天气好，我就去公园。 4.仅当天气好，我才去公园。 5.只有天气好，我才去公园。 6.我去公园，仅当天气好。 命题1.、2.、3.写成：P→Q 命题4.、5.、6.写成：Q→P 例1-2.6：P：△ABC 是等边三角形。Q ：△ABC是等角三角形。 P?Q ：△ABC 是等边三角形当且仅当它是等角三角形。
2 离散数学-命题公式,真值表
2 命题公式,真值表 (1) 数理逻辑是通过引入表意符号研究人类思维中的推理过程及推理正确与否的数学分支. 数学------??? 符号运算 推理---思维过程:前提 结论 命题逻辑---研究由命题为基本单位构成的前提和结论之间的可推导关系.(逻辑演算) 即将推理(不涉及内函)形式化. 例1 (a) 4是偶数. 张林学习优秀. 太阳系以外的星球上有生物. (b) 这朵花真美丽! 现在开会吗? (c) 3 5.x +> 我正在说慌. 特征分析(a) 陈述句,非真即假. (b) 感叹句,疑问句. (c) 悖论. 定义1 能辩真假的陈述句,称为命题,用,,,P Q Z 表示.其判断结果称为命题的真值. 成真的命题称为真命题,其真值为真,记为,T 或为1.成假的命题称假命题,其真值为假,记为,F 或为0. 例2 (1) 2008年奥运会在北京举行. (2) 22 5.?= (3) 计算机程序的发明者是诗人拜伦. 用符号表是上述命题,并求真值. 解 (1) :P 2008年奥运会在北京举行. .T (2) :Q 22 5.?= .F (3) :R 计算机程序的发明者是诗人拜伦. .F (2) 3, 35,+ 3(4 1).+- 例3 (1) 今天没有数学考试. (2) 下午,我写信或做练习. (3) 王芳不但用功,而且成绩优秀. (4) 如果太阳从西边出来了,那么地球停止转动.
(5) 2是素数,当且仅当三角形有三条边. 特征分析(a)存在自然语言中的虚词. (b)语句可以分解,细化. 定义2 称下列符号为逻辑联结词 否定 ? 非 P ? 析取 ∨ 或者 P Q ∨ 合取 ∧ 且 P Q ∧ 蕴涵 → 若----,则----- P Q → 等价 ? 当且仅当 P Q ? 逻辑联结词真值的规定 例4 将下列命题符号化. (1) 小李聪明,但不用功. ()P Q ∧? (2) 单位派小王或小苏出差. P Q ∨ (3) 如果椅子是紫色的,且是园的,那么地是平的. ()P Q R ∧→ (4) n 是偶数当且仅当它能被2整除. P Q ? 注 1 逻辑联结词:运算符.顺序 ,,,,.?∧∨→? 2 自然语言中 虽然---,但是----; 不但---,而且----; ∧ 只有----,才----; 除非----,才-----; → 3 ∨ 可兼或(相容) ∨ 不可兼或(排斥) 小王是山东人或是河北人. ()()P Q P Q P Q ∨?∧?∨?∧ 4 ,P Q -----------------------简单命题
离散数学自学笔记命题公式及其真值表
我们把表示具体命题及表示常命题的p，q，r，s等与f，t统称为命题常元（proposition constant）。深入的讨论还需要引入命题变元（proposition variable）的概念，它们是以“真、假”或“1，0”为取值范围的变元，为简单计，命题变元仍用p，q，r，s等表示。相同符号的不同意义，容易从上下文来区别，在未指出符号所表示的具体命题时，它们常被看作变元。 命题常元、变元及联结词是形式描述命题及其推理的基本语言成分，用它们可以形式地描述更为复杂的命题。下面我们引入高一级的语言成分——命题公式。 定义1.1 以下三条款规定了命题公式（proposition formula）的意义： （1）命题常元和命题变元是命题公式，也称为原子公式或原子。 （2）如果A，B是命题公式，那么（┐A），（A∧B），（A∨B），（A→B），（A？B）也是命题公式。 （3）只有有限步引用条款（1），（2）所组成的符号串是命题公式。 命题公式简称公式，常用大写拉丁字母A，B，C等表示。公式的上述定义方式称为归纳定义，第四章将对此定义方式进行讨论。 例1.8 （┐（p→（q∧r）））是命题公式，但（qp），p→r，p1∨p2∨…均非公式。 为使公式的表示更为简练，我们作如下约定： （1）公式最外层括号一律可省略。 （2）联结词的结合能力强弱依次为┐，（∧，∨），→，？，（∧，∨）表示∧与∨平等。 （3）结合能力平等的联结词在没有括号表示其结合状况时，采用左结合约定。 例如，┐p→q∨（r∧q∨s）所表示的公式是（（┐p）→（q∨（（r∧q）∨s））） 设A是命题公式，A1是A 的一部分，且A1也是公式，则A1称为公式A的子公式。 如对公式A：┐p→q∨（r∧q∨s），则p，┐p ，q ，（r∧q∨s）及q∨（r∧q∨s）都是公式A的子公式，而┐q，┐p→q，虽然是公式，但确不是A的一部分，因此不是A 的子公式；q∨（r∧虽然是公式A的一部分，但不是公式，因而也不是A的子公式。 如果公式A含有命题变元p1，p2，…，pn，记为A（p1，…，pn），并把联结词看作真值运算符，那么公式A可以看作是p1，…，pn的真值函数。对任意给定的p1，…，pn 的一种取值状况，称为指派（assignments），用希腊字母a，b等表示，A均有一个确定的真值。当A对取值状况a 为真时，称指派a弄真A，或a是A的成真赋值，记为a （A）= 1；反之称指派a弄假A，或a是A的成假赋值，记为a （A）= 0.对一切可能的指派，
离散数学之命题逻辑考试参考答案2
离散数学之命题逻辑考试 1、分析下列语句那些是命题，哪些不是命题。（每小题1分，正确 “T ”错误写 “F ”，共10分） (1)、北京是中国首都。 (2)、大连是多么美丽啊！ (3)、素数只有有限个。 (4)、请勿吸烟！ (5)、6+8≥14。 (6)、明天有离散数学课吗？ (7)、不存在最大素数。 (8)、9<+Y X 。 (9)、所有素数都是奇数。 (10)实践出真理。 2、设P 表示命题“我学习努力”。Q 表示命题“我考试通过”。R 表示命题“我很快乐”。（每小题2分，共6分） 试用符号表示下列命题： 1) 我考试没通过，但我很快乐。 2) 如果我努力学习，那么我考试通过。 3) 如果我学习努力并且考试通过，那么我很快乐。 3、将下列命题符号化：（每小题2分，共14分） 1) 我美丽而又快乐。 2) 如果我快乐，那么天就下雨。 3) 电灯不亮，当且仅当灯泡或开关发生故障。 4) 仅当你去，我将留下。 5) 如果老张和老李都不去，他就去。 6) 你不能既吃饭又看电视。 7) 张刚总是在图书馆看书，除非图书馆不开门或张刚生病。 4、给出下列公式的真值表 （每小题5分，共10分） ⑴ )(R Q P ∨→ ⑵ )(Q P ∨??)(Q P ?∧? 5、证明下列等价式。（每小题3分，共12分） 1) P Q P Q P ??∧∨∧)()( 2) P Q Q P P ?→??→→)(
3) C B A C B A →?∧?∨→)()( 4) C A D B C D B C B A →→∧?∨→∧→∧))(())(())(( 6、求下列命题公式的主析取范式和主合取范式。（每小题10分，共20分） 1) )()(Q R Q P →∧→ 2) R Q P →∨?)( 7、对于下列一组前提，请给出它们的有效结论并证明。（每小题4分，共8分） a) 如果我努力学习，那么我能通过考试，但我没有通过考试。 b) 统计表有错误，其原因有两个：一个原因是数据有错误；另一个原因是 计算有错误。现在查出统计表有错误，但计算没有错误。 8、符号化下述论断，并证明其有效性。（6分） 如果今天是周一，则要进行离散数学或C 语言程序设计两门课中的一门课考试。如果C 语言程序设计老师有会，则不考C 语言程序设计。今天是周一，C 语言程序设计老师有会，所以进行离散数学考试。 9、符号化下列命题，并推证。（6分） 如果厂方拒绝增加工资，则罢工不会停止，除非罢工超过一年并且工厂厂长辞职。因此，若厂方拒绝增加工资，而罢工又刚刚开始，罢工是不会停止的。 11、请根据下面事实，找出凶手：（8分） 1. 清洁工或者秘书谋害了经理。 2. 如果清洁工谋害了经理，则谋害不会发生在午夜前。 3.如果秘书的证词是正确的，则谋害发生在午夜前。 4.如果秘书的证词不正确，则午夜时屋里灯光未灭。 5. 如果清洁工富裕，则他不会谋害经理。 6.经理有钱且清洁工不富裕。 7.午夜时屋里灯灭了。 令A:清洁工谋害了经理。 B:秘书谋害了经理。 C:谋害发生在午夜前。 D:秘书的证词是正确的. E:午夜时屋里灯光灭了。H:清洁工富裕. G:经理有钱.
离散数学命题逻辑练习题
离散数学命题逻辑练习 题 TTA standardization office【TTA 5AB- TTAK 08- TTA 2C】
一、选择题 1. 设命题公式) ?，记作G，使G的真值指派为1的P，Q，R的真值是( ) P∧ → (R Q 2. 与命题公式P（QR）等价的公式是( ) A () →→ D () P Q R P Q R →∨ P Q R ∨→ B () P Q R ∧→ C () 3. 下列各组公式中，哪组是互为对偶的 ( ) A ,P P B ,P P A A** D ,A A ? C ,() (其中P为单独的命题变元，A为含有联结词的公式) 4. 命题公式(P∧(P→Q))→Q是_____式。 A 重言 B 矛盾 C 可满足 D 非永真的可满足 5. 下面命题联结词集合中，哪个是最小联结词 ( ) A {,} ∧→ ?∧∨ C {}↑ D {,} ? B {,,} 6. 命题公式() ?∧→的主析取范式种含小项的个数为 ( ) P Q R A 8 B 3 C 5 D 0 7. 如果A B ?成立，则以下各种蕴含关系哪一个成立 ( ) A B A ?? ??? D A B ??? C B A ? B A B 8. 命题公式()() →∧→的主析取范式中包含小项 ( ) P Q P R A P Q R ∧?∧? ∧?∧ D P Q R ∧∧? C P Q R ∧∧ B P Q R 9. ,, A B C为任意命题公式，当（）成立时，有A B ?。 A A B ∧?∧ D C A C B →?→??? B A C B C ∨?∨ C A C B C 10. 下面4个推理定律中，不正确的是 ( ) A () ∨∧?? A B A B A A B ?∧ B () C () →∧??? A B B A A B A B →∧? D ()
离散数学部分概念和公式总结(考试专用)
命题：称能判断真假的陈述句为命题。 命题公式：若在复合命题中，p、q、r等不仅可以代表命题常项，还可以代表命题变项，这样的复合命题形式称为命题公式。 命题的赋值：设A为一命题公式，p ,p ,…,p 为出现在A中的所有命题变项。给p ,p ,…,p 指定一组真值，称为对A的一个赋值或解释。若指定的一组值使A的值为真，则称成真赋值。真值表：含n（n≥1）个命题变项的命题公式，共有2^n组赋值。将命题公式A在所有赋值下的取值情况列成表，称为A的真值表。 命题公式的类型：（1）若A在它的各种赋值下均取值为真，则称A为重言式或永真式。 （2）若A在它的赋值下取值均为假，则称A为矛盾式或永假式。 （3）若A至少存在一组赋值是成真赋值，则A是可满足式。 主析取范式：设命题公式A中含n个命题变项，如果A得析取范式中的简单合取式全是极小项，则称该析取范式为A的主析取范式。 主合取范式：设命题公式A中含n个命题变项，如果A得析取范式中的简单合析式全是极大项，则称该析取范式为A的主析取范式。 命题的等值式：设A、B为两命题公式，若等价式A?B是重言式，则称A与B是等值的，记作A<=>B。 约束变元和自由变元：在合式公式?x A和?x A中，称x为指导变项，称A为相应量词的辖域，x称为约束变元，x的出现称为约束出现，A中其他出现称为自由出现（自由变元）。一阶逻辑等值式：设A，B是一阶逻辑中任意的两公式，若A?B为逻辑有效式，则称A与B是等值的，记作A<=>B，称A<=>B为等值式。 前束范式：设A为一谓词公式，若A具有如下形式Q1x1Q2x2Q k…x k B，称A为前束范式。集合的基本运算：并、交、差、相对补和对称差运算。 笛卡尔积：设A和B为集合，用A中元素为第一元素，用B中元素为第二元素构成有序对组成的集合称为A和B的笛卡尔积，记为A×B。 二元关系：如果一个集合R为空集或者它的元素都是有序对，则称集合R是一个二元关系。特殊关系：（1）、空关系：Φ（2）全域关系：EA={
国防科技大学数据结构和离散数学2003真题
国防科技大学研究生院2003年硕士生入学考试 432-离散数学试题题单号:40632 (可不抄题) 考生注意：答案必须写在统一配发的答题纸上！ 一、（每小题10分，共20分） 设 A = {a, b, c, d}，A 上的二元关系R1和R2定义如下： R1 = {
离散数学命题逻辑练习题
一、选择题 1. 设命题公式)(R Q P ∧→?，记作G ，使G 的真值指派为1的P ，Q ，R 的真值是( ) 0,0,1)D (0,1,0)C (1,0,0)B (0,0,0)A ( 2. 与命题公式P →（Q →R ）等价的公式是( ) A ()P Q R ∨→ B ()P Q R ∧→ C ()P Q R →→ D ()P Q R →∨ 3. 下列各组公式中，哪组是互为对偶的 ( ) A ,P P B ,P P ? C ,()A A ** D ,A A (其中P 为单独的命题变元，A 为含有联结词的公式) 4. 命题公式(P ∧(P →Q))→Q 是_____式。 A 重言 B 矛盾 C 可满足 D 非永真的可满足 5. 下面命题联结词集合中，哪个是最小联结词 ( ) A {,}?€ B {,,}?∧∨ C {}↑ D {,}∧→ 6. 命题公式()P Q R ?∧→的主析取范式种含小项的个数为 ( ) A 8 B 3 C 5 D 0 7. 如果A B ?成立，则以下各种蕴含关系哪一个成立 ( ) A B A ? B A B ??? C B A ??? D A B ?? 8. 命题公式()()P Q P R →∧→的主析取范式中包含小项 ( ) A P Q R ∧∧ B P Q R ∧∧? C P Q R ∧?∧ D P Q R ∧?∧? 9. ,,A B C 为任意命题公式，当（ ）成立时，有A B ?。 A A B ??? B A C B C ∨?∨ C A C B C ∧?∧ D C A C B →?→ 10. 下面4个推理定律中，不正确的是 ( ) A ()A A B ?∧ B ()A B A B ∨∧?? C ()A B A B →∧? D ()A B B A →∧??? 11. 下列命题公式是等价公式的为（ ）． A ．?P ∧?Q ?P ∨Q B ．A →(?B →A) ??A →(A →B) C ．Q →(P ∨Q )??Q ∧(P ∨Q ) D ．?A ∨(A ∧B) ?B
离散数学第一章命题逻辑知识点总结
数理逻辑部分 第1章命题逻辑 命题符号化及联结词 命题: 判断结果惟一的陈述句 命题的真值: 判断的结果 真值的取值: 真与假 真命题: 真值为真的命题 假命题: 真值为假的命题 注意: 感叹句、祈使句、疑问句都不是命题，陈述句中的悖论以及判断结果不惟一确定的也不是命题。 简单命题(原子命题)：简单陈述句构成的命题 复合命题：由简单命题与联结词按一定规则复合而成的命题 简单命题符号化 用小写英文字母p, q, r, … ,p i,q i,r i (i≥1）表示 简单命题 用“1”表示真，用“0”表示假 例如，令p：是有理数，则p 的真值为0 q：2 + 5 = 7，则q 的真值为1 联结词与复合命题 1.否定式与否定联结词“” 定义设p为命题，复合命题“非p”（或“p的否定”）称 为p的否定式，记作p. 符号称作否定联结词，并规定p为真当且仅当p为假. 2.合取式与合取联结词“∧” 定义设p,q为二命题,复合命题“p并且q”(或“p与q”)称为p与q的合取式，记作p∧q. ∧称作合取联结词，并规定p∧q为真当且仅当p与q同时为真 注意：描述合取式的灵活性与多样性 分清简单命题与复合命题 例将下列命题符号化. (1) 王晓既用功又聪明. (2) 王晓不仅聪明，而且用功. (3) 王晓虽然聪明，但不用功. (4) 张辉与王丽都是三好生. (5) 张辉与王丽是同学. 解令p：王晓用功，q：王晓聪明，则 (1) p∧q (2) p∧q (3) p∧q. 令r : 张辉是三好学生，s :王丽是三好学生 (4) r∧s. (5) 令t : 张辉与王丽是同学，t 是简单命题. 说明:
离散数学命题公式真值表C++或C语言实验报告
离散数学实验报告 专业班级：12级计算机本部一班姓名：鲍佳珍 学号：201212201401016 实验成绩： 1．【实验题目】 命题逻辑实验二 2．【实验目的】 熟悉掌握命题逻辑中真值表，进一步能用它们来解决实际问题。 3．【实验内容】 求任意一个命题公式的真值表 4、【实验要求】 C或C＋＋语言编程实现 5. 【算法描述】 1.实验原理 真值表:表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。 2.实验过程 首先是输入一个合理的式子，生成相应真值表，然后用函数运算，输出结果：要求可生成逻辑非、合取、析取、蕴含、双条件表达式的真值表，例如：输入 !a 输出真值表如下： a !a 0 1 10 输入a&&b 输出真值表如下： a b a&&b 0 0 0 0 1 0 1 0 0 1 1 1 输入a||b 输出真值表如下：
a b a||b 0 0 0 0 1 1 1 0 1 1 1 1 输入a->b 输出真值表如下： a b a->b 0 0 1 0 1 1 1 0 0 1 1 1 输入a<>b (其中<>表示双条件) 输出真值表如下： a b a<>b 0 0 1 0 1 0 1 0 0 1 1 1 6.【源程序（带注释）】 #include
国防科技大学 国防科技大 01 02年操作系统 01 02年离散数学 考研真题及答案解析
国防科技大学研究生院2001年硕士生入学考试试题 考试科目：操作系统 考生注意：1．答案必须写在我校统一配发的专用答题纸上 2．统考生做 一、二、三、四、五； 3．单独考生做一、二、三、六、七； 一．（58分）回答如下问题 1．（6分）假定有一个支持实时、分时和批处理的操作系统，对该系统应如何设计进程调度策略？ 2．（5分）什么叫线程？为什么要引进线程？ 3．（6分）某计算机系统设计成只有一级中断(该级中有多个中断)的中断系统，简述当中断发生时，是如何进入该中断处理程序的？ 4．（5分）在文件系统中为什么要引进“Open”系统调用？操作系统是如何处理的？ 5．(5分)假定存储器空闲块有如下结构： 请你构造一串内存请求序列，对该请求序列首次满足分配算法能满足，而最佳满足分配法则不能。 6．(6分)为什么要在设备管理中引入缓冲技术？操作系统如何实现缓冲技术？ 7．(6分)用什么办法可以破坏死锁的循环等待条件？为什么？ 8．(6分)进程的状态主要有哪些？当发生状态转换时，操作系统完成哪些工作？ 9．(6分)在文件系统中，为什么要设立“当前目录”？操作系统如何实现改变“当前目录”？ 10．(7分)举例说明P、V操作为什么要用原语实现？操作系统如何实现这种原语操作？ 二．(12分)设有四个进程P1，P2，P3，P4，它们到达就绪队列的时刻，运行时间及优先级如下表所示： 运行时间(基本时间单位)优先级 进程 到达就绪队列时间 (基本时间单位) P1 0 9 1 P2 1 4 2 P3 2 8 3 P4 3 10 4 问：(1)若采用可剥夺的优先级调度算法，给出各进程的调度次序以及每个进程的等待时间。 (2)若采用时间片轮转调度算法，且时间片为2个基本时间单位，试给出各进程的调度 次序及平均周围时间。 三．(8分)假设系统由相同类型的m个资源组成，有 n 个进程，每个进程至少请求一个资源。 证明：当n个进程最多需要的资源数之和小于m+n时，该系统无死锁。 四．(12分)在页式虚存系统中，一程序的页面走向(访问串)为 1，2，3，4，1，2，5，1，2，3，4，5 ，设分配给该程序的驻留集为m，试分别计算m=3和m=4时，FIFO和LRU 两种算法的页故障次数。结果说明了什么？
离散数学命题逻辑练习题
一、选择题 1、 设命题公式)(R Q P ∧→?,记作G ,使G 的真值指派为1的P ,Q ,R 的真值就是( ) 0,0,1)D (0,1,0)C (1,0,0)B (0,0,0)A ( 2、 与命题公式P →(Q →R )等价的公式就是( ) A ()P Q R ∨→ B ()P Q R ∧→ C ()P Q R →→ D ()P Q R →∨ 3、 下列各组公式中,哪组就是互为对偶的 ( ) A ,P P B ,P P ? C ,()A A ** D ,A A (其中P 为单独的命题变元,A 为含有联结词的公式) 4、 命题公式(P ∧(P →Q))→Q 就是_____式。 A 重言 B 矛盾 C 可满足 D 非永真的可满足 5、 下面命题联结词集合中,哪个就是最小联结词 ( ) A {,}?€ B {,,}?∧∨ C {}↑ D {,}∧→ 6、 命题公式()P Q R ?∧→的主析取范式种含小项的个数为 ( ) A 8 B 3 C 5 D 0 7、 如果A B ?成立,则以下各种蕴含关系哪一个成立 ( ) A B A ? B A B ??? C B A ??? D A B ?? 8、 命题公式()()P Q P R →∧→的主析取范式中包含小项 ( ) A P Q R ∧∧ B P Q R ∧∧? C P Q R ∧?∧ D P Q R ∧?∧? 9、 ,,A B C 为任意命题公式,当( )成立时,有A B ?。 A A B ??? B A C B C ∨?∨ C A C B C ∧?∧ D C A C B →?→ 10、 下面4个推理定律中,不正确的就是 ( ) A ()A A B ?∧ B ()A B A B ∨∧?? C ()A B A B →∧? D ()A B B A →∧??? 11、 下列命题公式就是等价公式的为( ). A.?P ∧?Q ?P ∨Q B.A →(?B →A) ??A →(A →B) C.Q →(P ∨Q )??Q ∧(P ∨Q ) D.?A ∨(A ∧B) ?B
离散数学之逻辑运算和命题公式真值表
1、逻辑联接词的运算 从键盘输入两个命题变元P和Q的真值，输出它们的合取、析取、条件、双条件和P的否定的真值。 #include
{ if(P==0) P=P; else P=1; if(Q==0) Q=Q; else Q=1; if(P==1&&Q==0) return(0); else return(1); } int shuangtiaojian(int P,int Q) { if(P==0) P=P; else P=1; if(Q==0) Q=Q; else Q=1; return(!P^Q); } int Pfaoding(int P) { if(P==0) P=P; else P=1; return(!P); } int show(int a,int b) { cout<<"P Q P∧Q P∨Q P→Q P←→Q ┐P"< 第二章 命题逻辑 习题2.11．解 ⑴不是陈述句，所以不是命题。 ⑵x 取值不确定，所以不是命题。 ⑶问句，不是陈述句，所以不是命题。 ⑷惊叹句，不是陈述句，所以不是命题。 ⑸是命题，真值由具体情况确定。 ⑹是命题，真值由具体情况确定。 ⑺是真命题。 ⑻是悖论，所以不是命题。 ⑼是假命题。 2．解 ⑴是复合命题。设p ：他们明天去百货公司；q ：他们后天去百货公司。命题符号化为q p ∨。 ⑵是疑问句，所以不是命题。 ⑶是悖论，所以不是命题。 ⑷是原子命题。 ⑸是复合命题。设p ：王海在学习；q ：李春在学习。命题符号化为p ∧q 。 ⑹是复合命题。设p ：你努力学习；q ：你一定能取得优异成绩。p →q 。 ⑺不是命题。 ⑻不是命题 ⑼。是复合命题。设p ：王海是女孩子。命题符号化为：?p 。 3．解 ⑴如果李春迟到了，那么他错过考试。 ⑵要么李春迟到了，要么李春错过了考试，要么李春通过了考试。 ⑶李春错过考试当且仅当他迟到了。 ⑷如果李春迟到了并且错过了考试，那么他没有通过考试。 4．解 ⑴?p →(q ∨r )。⑵p →q 。⑶q →p 。⑷q → p 。 习题2.2 1．解 ⑴是1层公式。 ⑵不是公式。 ⑶一层： p ∨q ，?p 二层：?p ?q 所以，)()(q p q p ??→∨是3层公式。 ⑷不是公式。 ⑸(p →q )∧?(?q ?( q →?r ))是5层公式，这是因为 一层：p →q ，?q ，?r 二层：q →?r 三层：?q ?( q →?r ) 四层：?(?q ?( q →?r )) 2．解 ⑴A =(p ∨q )∧q 是2层公式。真值表如表2-1所示： 表2-1 ⑵p q p q A →→∧= )(是3层公式。真值表如表2-2所示： 第二章 命题逻辑 习题2、11.解 ⑴不就是陈述句,所以不就是命题。 ⑵x 取值不确定,所以不就是命题。 ⑶问句,不就是陈述句,所以不就是命题。 ⑷惊叹句,不就是陈述句,所以不就是命题。 ⑸就是命题,真值由具体情况确定。 ⑹就是命题,真值由具体情况确定。 ⑺就是真命题。 ⑻就是悖论,所以不就是命题。 ⑼就是假命题。 2.解 ⑴就是复合命题。设p :她们明天去百货公司;q :她们后天去百货公司。命题符号化为q p ∨。 ⑵就是疑问句,所以不就是命题。 ⑶就是悖论,所以不就是命题。 ⑷就是原子命题。 ⑸就是复合命题。设p :王海在学习;q :李春在学习。命题符号化为p ∧q 。 ⑹就是复合命题。设p :您努力学习;q :您一定能取得优异成绩。p →q 。 ⑺不就是命题。 ⑻不就是命题 ⑼。就是复合命题。设p :王海就是女孩子。命题符号化为:?p 。 3.解 ⑴如果李春迟到了,那么她错过考试。 ⑵要么李春迟到了,要么李春错过了考试,要么李春通过了考试。 ⑶李春错过考试当且仅当她迟到了。 ⑷如果李春迟到了并且错过了考试,那么她没有通过考试。 4.解 ⑴?p →(q ∨r )。⑵p →q 。⑶q →p 。⑷q → p 。 习题2、2 1.解 ⑴就是1层公式。 ⑵不就是公式。 ⑶一层: p ∨q ,?p 二层:?p ?q 所以,)()(q p q p ??→∨就是3层公式。 ⑷不就是公式。 ⑸(p →q )∧?(?q ?( q →?r ))就是5层公式,这就是因为 一层:p →q ,?q ,?r 二层:q →?r 三层:?q ?( q →?r ) 四层:?(?q ?( q →?r )) 2.解 ⑴A =(p ∨q )∧q 就是2层公式。真值表如表2-1所示: 表2-1 ⑵p q p q A →→∧= )(就是3层公式。真值表如表2-2所示: 国防科学技术大学2017年《离散数学》硕士考试大纲 一.考试要求 主要考察学生对离散数学中集合、关系、函数、图论、命题逻辑、一阶谓词逻辑、推理系统、布尔代数等计算机数学的基本概念、计算和证明方法的理解与掌握情况，以及应用上述概念和方法进行应用问题离散建模、计算求解和逻辑推理的能力。注重概念的深入理解、知识的综合运用，以及现实问题分析和解决。 二、考试内容 1.逻辑和证明基础 命题、逻辑联接词、真值表、位操作和位串、命题符号化及应用、逻辑等价和蕴含、命题可满足性及应用、谓词、量词、量词表达式等价及否定、嵌套量词、谓词逻辑符号化、推理规则、归结、逻辑证明、证明方法、证明策略、逻辑语义。要求熟练掌握命题逻辑和谓词逻辑的基本概念，掌握逻辑等价和蕴含分析方法，掌握逻辑推理方法和证明方法，能够熟练运用命题逻辑和谓词逻辑求解逻辑问题，了解可满足性问题。 2.基本结构：集合、函数、序列、求和 集合基本概念、集合描述方法、常见集合、集合相等、属于、子集、空集、幂集、集合的基数、n元组、笛卡尔乘积、集合运算（交、并、差、补）、集合恒等式、广义交、广义并、集合的计算机表示、（全）函数、函数算术、1对1函数、1-1对应、内射、满射、双射、函数运算（逆函数、函数的合成）、若干重要函数、部分函数、序列、算术级数、几何级数、递推关系、一些特殊序列、累加、基数比较关系（=，，，<,>）、可数集、不可数集、基数关系证明。要求熟练掌握集合的基本概念、集合的运算；熟练掌握函数、函数的运算及其证明；熟练掌握级数、累加；掌握基数比较和函数的关系、可数集。 3.归纳和递归 数学归纳法原理、数学归纳法运用、强归纳法原理、强归纳法运用、良序性质、递归定义函数、归纳定义法、递归定义的集合和结构、结构归纳法、结构归纳法的运用、广义归纳法、递归算法、递归算法正确性证明、递归和迭代。要求熟练掌握数学归纳法、强归纳法和结构归纳法，能够熟练运用归纳定义法；掌握递归和递归算法的基本概念，能够较熟练编写递归算法；了解递归算法正确性证明。 4.关系 二元关系基本概念、关系与函数、二元关系的性质（自反、对称、反对称、传递）及其证明、关系的运算、n-元关系基本概念、n-元关系的运算、关系与数据库、关系的表示（关系矩阵、关系图）、关系的闭包、等价关系、等价类、划分、偏序、全序、良序归纳原理、哈斯图、最大（小）元、极大（小）元、上（下）界、上（下）确界、格、拓扑排序。要求熟悉集合、关系和函数的关联关系；掌握关系的性质判定和运算；熟悉关系与关系数据库的关系；掌握等价关系、序关系，能够证明相关性质；了解格和拓扑排序。 5.图 图的基本概念、图模型、图的基本术语和特殊类型图、二部图和匹配、图的应用、图的运算、图的表示、图同构、路径和连通性、欧拉路径和哈密顿路径及其应用、最短路径算法、平面图及其应用、欧拉公式、库拉托瓦斯基定理、图的着色问题。要求熟悉图的基本概念和术语；掌握最短路径算法；熟悉路径和连通性；较熟练掌握图的性质证明；较好掌握二部图和平面图。 6.树 树的基本概念和术语、树建模、树的性质及其证明、树的应用、二叉树、树的遍历算法、树的编码、生成树、最小生成树、回溯。要求熟悉树的基本概念；掌握树的算法和性质证明；能够使用树进行建模和应用；掌握各种树的遍历算法；掌握回溯法。 7.布尔代数 【实验目的】 使学生熟练掌握利用计算机语言实现逻辑运算的基本方法。 【实验内容】 对给出的任意一个命题公式（不超过四个命题变元），使学生会用C语言的程序编程表示出来，并且能够计算它在各组真值指派下所应有的真值，画出其真值表。 【实验原理】 给出任意一个命题公式，我们可以将它用C程序表示出来，并且能够计算它在各组真值指派下所应有的真值（或是逻辑运算的结果）。这有多种方法。上面我们已经给出了逻辑连结词的定义，根据这种定义方法，我们也可以把一个命题公式表示成为条件语句中的条件表达式，这样我们就可以得到该命题公式的逻辑运算结果了。 【程序代码】 #include 湖南师范大学硕士研究生入学考试自命题考试大纲 考试科目代码：考试科目名称：离散数学 一、试卷结构 1) 试卷成绩及考试时间 本试卷满分为100分，考试时间为180分钟。 2)答题方式：闭卷、笔试 3)试卷内容结构 集合论40% 数理逻辑40% 图论20% 4)题型结构 a: 填空题，5小题，每小题5分，共25分 b: 计算题，3小题，每小题10分，共30分 c: 证明题，3小题，每小题15分，共45分 二、考试内容与考试要求 1、集合论 考试内容 集合及其表示集合的运算与性质二元关系的概念二元关系的五种性质关系矩阵与关系图关系的各种运算与性质关系闭包与性质相容关系等价关系序关系部分函数、满射、内射、双射的概念可逆、左可逆、右可逆函数特征函数集合的基数与性质 考试要求 （1）理解集合的表示、二元关系的概念、部分函数、满射、内射、双射的概念可逆、左可逆、右可逆函数的概念； （2）掌握集合的运算与性质、关系的五种性质、关系的运算与性质、关系闭包与性质、相容关系、等价关系、序关系. （3）了解特征函数集合的基数与性质． 2、数理逻辑 考试内容 命题与命题的真值五个基本联结词命题符号化合式公式真值表合式公式的类型等价式、蕴含式的证明范式和判定问题求主范式的方法变元、谓词和量词量词的辖域、前束范式合式公式的解释、求合式公式在给定解释下真值的方法 考试要求 （1）理解命题与命题的真值、联结词、合式公式与真值表、变元、谓词和量词等概念． （2）掌握合式公式的类型、等价式、蕴含式的证明、求主范式的方法、合式公式的解释、以及求在给定解释下真值的方法． （3）了解量词的辖域、前束范式． 3、图论 考试内容 图的基本概念路与回路和连通性图的矩阵表示欧拉图和哈密顿图平面图对偶图与着色树与生成树根树及其应用 考试要求 （1）理解图、路、回路和连通性等基本概念． （2）掌握一些特殊图类的性质，树的特征与应用． 三、参考书目 [1] 左孝凌等，《离散数学》，上海科技文献出版社，1982年 [2] 王兵山、张强、毛晓光，《离散数学》，国防科技大学出版社，1998年 [3] 耿素云、屈宛玲，《离散数学》，高等教育出版社，2003年离散数学答案命题逻辑
离散数学答案命题逻辑
国防科学技术大学2017年《离散数学》硕士考试大纲_国防科大考研网
离散数学实验报告命题逻辑—构造命题公式的真值表
010_离散数学