同等学力申硕考试计算机综合考试内容,2022年同等学力申硕计算机科学考试全套复习资料...
第1章 离散数学与组合数学
【考点1】命题逻辑的等值演算与推理演算
1命题逻辑的基本概念、命题逻辑联结词与真值表,重言式
(1)命题逻辑的基本概念
命题是一个非真即假的陈述句,与事实相符的陈述句为真语句,记为T;与事实不符的陈述句为假语句,记为F。命题逻辑为二值逻辑。
只由一个主语和一个谓语构成的最简单的陈述句,称为简单命题或原子命题或原始命题。
若干个简单命题通过联结词联结而成的更为复杂的新命题称为复合命题或分子命题。
(2)常用的逻辑联结词
常用的逻辑联结词如表1-1所示。
表1-1 常用的逻辑联结词
(3)真值表
把命题公式A在一切可能的赋值下取得的值列成表,该表称为A的真值表。
(4)重言式(也叫永真式)
若命题公式A在任何一个赋值下的值都是真,则A称为重言式或永真式。
(5)矛盾式(也叫永假式)
若命题公式A在任何一个赋值下的值都是假,则A称为矛盾式或永假式。
(6)可满足式
若命题公式A在至少一个赋值下的值是真,则A称为可满足式。即当A不是矛盾式时,A为可满足式。
2简单命题的形式化
命题逻辑的自然语言形式化的基本过程分为三步:
(1)确定子命题,用命题形式p,q,……表示;
(2)确定联结词;
(3)按照自然语言语义构成复合命题。
3等值定理、基本等值公式以及等值演算
(1)等值定义
设A和B是命题公式,若A↔B是重言式,则称A和B等值或逻辑等价,记作AóB,Aó称为等值式或逻辑等价式。
(2)基本等值公式
一些基本等值式如表1-2所示。
表1-2 基本等值式
4命题公式与真值表的关系、联结词的完备集
(1)命题公式与真值表的关系
含n个变元的命题公式可以视为一个n元真值函数F:{0,1}n→{0,1}。反之任何n元真值函数都可以表示为一个含n个变元的命题公式。
(2)联结词的完备集
①定义
设S是一个联结词集合,若由S中联结词所构造的命题公式可以表示所有真值函数,则称S是联结词的完备集。
②举例
{﹁,∧,∨}、{﹁,∨}、{﹁,∧}、{﹁,→}都是联结词完备集。
5析取范式、合取范式、主析取范式和主合取范式
简单析取式:
仅由命题变元或命题变元的否定利用“∨”构成的析取式。
简单合取式:
仅由命题变元或命题变元的否定利用“∧”构成的合取式。
(1)析取范式
由有限个简单合取式构成的析取式称为析取范式。
(2)合取范式
由有限个简单析取式构成的合取式称为合取范式。
(3)主析取范式
对于给定的命题公式A(P1,P2,P3,……,Pn),一个仅由最小项的析取构成的等值式称为原命题公式的主析取范式。
求解主析取范式的步骤:
①先求取命题公式A的范式
a.利用连结词化归律将→和↔消除(如果有的话),使A中只含∨、∧、﹁;
b.利用德摩根律将A中的﹁(如果有的话)全都移到命题变元前;
c.利用双重否定律使A中所有命题变元前至多含有一个﹁(如果有的话);
d.利用分配律求得A的析取范式和合取范式。
②求A的主析取范式
a.观察A的析取范式的每一个简单合取式B,如果B中某个命题变元pi和﹁pi均未出现,则根据等值式
B↔B∧(pi∨﹁pi)↔(B∧pi)∨(B∧﹁pi)
把不含pi的简单合取式B变成(B∧pi)和(B∧﹁pi),反复进行,知道A的每一个变元pi均出现在全部的简单合取式中;
b.如果上述步骤得到的析取式中含有重复出现的简单合取式,或简单合取式中含有重复出现的变量(或其否定),或者含有矛盾式,则应用幂等律、矛盾律、同一律等将它们消除;
c.将全部命题变元按字典顺序或按下标值大小顺序(通常是按从小到大的顺序)排列,并应用交换律将每个简单合取式中的命题变元也按此排列次序排定其位置,从而得到极小项;
d.最后按使得极小项为真的赋值对应的二进制数从小到大排列相应的极小项,极小项的排序使用交换律,从而得到主析取范式。
(4)主合取范式
对于给定的命题公式A(P1,P2,P3,……,Pn),一个仅由最小项的合取构成的等值式称为原命题公式的主合取式。
6命题逻辑的推理规则与推理演算,归结推理证明方法
(1)推理公式
基本的推理公式如表1-3所示。
表1-3 基本推理公式
(2)推理方法
①直接证法:由一组前提,利用一些公认的推理准则,根据已知的蕴含式或等值式推导出有效结论的方法。
②间接证法:包括反证法和CP规则。
7命题逻辑公理系统的概念,公理系统的基本结构
(1)公理系统的概念
公理系统是从一些公理出发,根据演绎法,推导出一系列定理,形成演绎体系。
(2)公理系统的基本结构
①罗素公理系统;
②弗雷格公理系统;
③卢卡西维茨公理系统。
同等学力申硕考试计算机综合考试内容,2022年同等学力申硕计算机科学考试全套复习资料...相关推荐
- 计算机组成大学考试,计算机组成原理本科期末试题4套含答案(大学期末复习资料)(21页)-原创力文档...
PAGE PAGE 6 总分 一 二 三 四 五 六 七 八 学 院班 级学 号姓 名-----○----- 学 院 班 级 学 号 姓 名 -----○-----密-----○-----封----- ...
- 同等学力申硕考试计算机综合考试内容,2017同等学力申硕考试计算机综合数学考前精练...
2017年 一.形式化下列语句. 1. 有的实数不是有理数,但所有的有理数都是实数. 2. 对于任意实数都存在比它大的实数 . 3. 若那套房子有三室一厅,并且居住面积在90平米以上,老王就要那套房子 ...
- 公安局计算机岗位应知应会综合基础知识,事业单位考试计算机综合知识基础知识真题...
事业单位考试计算机综合知识基础知识真题 根据最新事业单位考试真题等汇总而成,事业编考试网(http:www.shizheng100.com)提供更多笔试真题.面试原创内容等. 一.单项选择题(本大题共 ...
- 英语人机考试计算机算分吗,过来人跟你说说英语人机对话考试的经验
听说今年大家人机对话模拟考试时间提前了,也有不少爸爸妈妈们在纠结能不能拿到满分,今天我就跟大家回忆回忆我家去年的情况,跟大家说点实话. 先说说考试范围吧,大家都拿到那个小册子和磁带了吧,考试所有内容都 ...
- 大学考试计算机基础应用试题及答案,大学计算机应用基础期末考试试卷及答案C...
? ?__?__?__○__题_ 级?年? ?__?__?__答__?__?__?__? :?号得学 ?__○__?__?__?__不__?__? :?名?姓? 内___?__?__?__?__○__ ...
- 泰安学业水平考试计算机试卷,山东省泰安市2020年初中物理学业水平考试试题【含答案】...
<山东省泰安市2020年初中物理学业水平考试试题[含答案]>由会员分享,可在线阅读,更多相关<山东省泰安市2020年初中物理学业水平考试试题[含答案](11页珍藏版)>请在人人 ...
- 浙大计算机的学硕和专硕,浙大计算机学硕复试线399分,专硕375,不愧被称为“炸大”...
昨日浙江大学计算机学院公布了其6个专业的复试线,其中计算机学硕的复试线高达399分,这可比中科大软件学院的复试线还要高不少,真正快要接近400分了,电子信息专硕由于招生人数较多分数线较低一点,但是也达 ...
- 浙大计算机学硕调剂专硕,浙大计算机学硕复试线399分,专硕375,不愧被称为“炸大”...
昨日浙江大学计算机学院公布了其6个专业的复试线,其中计算机学硕的复试线高达399分,这可比中科大软件学院的复试线还要高不少,真正快要接近400分了,电子信息专硕由于招生人数较多分数线较低一点,但是也达 ...
- 请简述计算机安全的定义 现,2012年12月考试计算机基础第三次作业.doc
2012年12月考试计算机基础第三次作业 2012年12月考试计算机基础第三次作业 2012 年 12 月考试计算机基础第三次作业答案一.填空题 本大题共 60 分 共 20 小题 每小题 3 分 1 ...
最新文章
- 请教一个算法问题,有两个数组A,B,判断A中是否至少有一个元素和B中元素相同...
- POJ 3342 树形DP+Hash
- 为什么 Java 中 1000==1000 为 false ?
- ruquireJS入门
- Java中的移位操作以及基本数据类型转换成字节数组【收集】
- 从神经元到CNN、RNN、GAN…神经网络看本文绝对够了
- JUC系列(九)| ThreadPool 线程池
- Report not added to business roles
- python中关于深拷贝和浅拷贝的详解
- Linux——Centos7网络配置1ens33文件
- java 多线程操作List,已经做了同步synchronized,还会有ConcurrentModificationException,知道为什么吗?...
- java经纬度排序,elasticsearch搜索经纬度(lbs)_geo_distance距离排序实现方案
- 通信原理基础概念概述
- onvif协议是啥?
- UEFI shell - 标准应用程序的编译和加载过程
- 心理学的应用领域有哪些?
- 第一章 .NET体系结构
- 了解虚拟化,常用的虚拟化软件,虚拟化架构,kvm介绍
- IOS 验证手机号格式
- 我国超级计算机的CPU,超级计算机处理器变化
热门文章
- 沈阳计算机专业公务员考试培训中心,公务员考试跟计算机培训,哪一个高薪又轻松?...
- 又一程序员被骗,支付宝余额为0,却被骗28万!
- 利尔达芯智行:破解两轮出行行业智能化难题
- 如何获得ESP32-WROOM-32技术规格书
- Spring源码深度解析(郝佳)-学习-源码解析-Spring整合MyBatis
- FANNAFFAN的Linux学习笔记4—Linux文件系统初步
- 【mysql篇】mysql数据库知识点(四种语言)
- 软件工程概论 课堂练习 第2次作业4【状态图思考题——绘制信用卡的状态图】
- React Native开源项目-稀土掘金客户端(Android、iOS双适配)
- 51Nod-1371-填数字