点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - 命题公式判断
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
历届系统分析师考试数学知识点细分统计
年份 试题号 知识点 2004 上 60 单射函数概念 2000 15 概率的性质,泊松分布概念 1999 15 简单概率,泊松分布 2001 70~75 概率分布、数学期望、方差 2002 57~65 随机变量正态分布 2004上 61 全概率公式应用 1993 13 Huffman算法求最优二叉树的权、树叶、节点;前缀码 1993 14 集合的性质,交换群 1994 13 代数系统的*运算求么元、逆元、阶,群的概念。 1994 14 无向完全图性质,图的顶点,图的度数序列 1996 14
所属分类:
其它
发布日期:2009-06-02
文件大小:5120
提供者:
myleilei
离散数学命题公式的一个演示程序
用VC6.0编写的一个演示命题公式判断和运算的程序,程序通过对话框和用户实现交互,可以求解命题公式的真值表、主合取范式、主析取范式等等。
所属分类:
C++
发布日期:2010-09-15
文件大小:521216
提供者:
computerchao
离散数学课后答案
离散数学 第一章部分课后习题参考答案 16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。 (1)p∨(q∧r) 0∨(0∧1) 0 (2)(p↔r)∧(﹁q∨s) (0↔1)∧(1∨1) 0∧1 0. (3)( p∧ q∧r)↔(p∧q∧﹁r) (1∧1∧1) ↔ (0∧0∧0) 0 (4)( r∧s)→(p∧ q) (0∧1)→(1∧0) 0→0 1 17.判断下面一段论述是否为真:“ 是无理数。并且,如果3是无理数,则 也是无理数。另外6能被2整除,6才能被4整除。” 答
所属分类:
网络管理
发布日期:2011-12-14
文件大小:1048576
提供者:
jiayaobo
离散编程题
对用户任意输入的字符序列进行如下操作: 1.判断输入是否合法。比如!Vp->q不合法。提示:不符合命题公式定义 2.求主析取范式,如果有给出成真赋值。求解一个具体的推理问题,如测验中的说谎问题。
所属分类:
专业指导
发布日期:2012-06-26
文件大小:339968
提供者:
xuehui19910401
离散数学 真值表判断
公式是由命题变元,逻辑连接词,括号组成的合法符号串,而命题变元是一个抽象概念
所属分类:
C/C++
发布日期:2012-11-20
文件大小:9216
提供者:
xiaoleiacm
离散数学_屈婉玲_耿素云_张立昂_主编_课后答案详_(
第一章部分课后习题参考答案 16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。 (1)p∨(q∧r) 0∨(0∧1) 0 (2)(p↔r)∧(﹁q∨s) (0↔1)∧(1∨1) 0∧1 0. (3)( p∧ q∧r)↔(p∧q∧﹁r) (1∧1∧1) ↔ (0∧0∧0) 0 (4)( r∧s)→(p∧ q) (0∧1)→(1∧0) 0→0 1 17.判断下面一段论述是否为真:“ 是无理数。并且,如果3是无理数,则 也是无理数。另外6能被2整除,6才能被4整除。” 答:p: 是
所属分类:
专业指导
发布日期:2013-03-02
文件大小:1048576
提供者:
yang79309
蝙蝠在线考试系统v2.2.6 JSF2+SPRING+JPA
“蝙蝠在线考试系统”是由蝙蝠软件工作室历经一年半有余而自主研发的一款B/S结构软件,经过上千次的测试与BUG修补,在线下实体中已经广泛应用于各科研院所与高校中。蝙蝠在线考试系统基于JSF2、Spring3、JPA2等JAVA技术构建,系统使用MYSQL数据库,可以部署于WINDOWS、LINUX、UNIX等各种操作系统,内置了无处不在的AJAX能力,简洁易用,支持单选题、多选题、填空题、判断题、问答题、文件题六种题型。功能涵盖了试题模块管理、试题管理、题库导入导出、公式编辑、图片上传、考试
所属分类:
Web开发
发布日期:2013-03-10
文件大小:49283072
提供者:
lteb2002
c++程序判断离散数学中命题公式
c++程序判断离散数学中命题公式,MFC开发
所属分类:
专业指导
发布日期:2013-06-18
文件大小:277504
提供者:
liujianjun422
c++程序判断离散数学中命题公式.rar.rar
c++程序判断离散数学中命题公式
所属分类:
C++
发布日期:2020-04-15
文件大小:275456
提供者:
beau_lily
电大201307离散数学试题及答案
电大201307离散数学试题及答案试卷代号:1009 中央广播电视大学2012-2013学年度第学期“开放本科”期末考试(半开卷) 离散数学(本)试题答案及评分标准 (供参考) 2013年7月 、单项选择题(每小题3分,本题共15分)。 1.D2.B3.A 4.C5.B 二、填空题(每小题3分,本题共15分)。 6.{3,4,5,6,7,8} 7 8.2|E|1(或“边数的两倍”) 10.真(或T,或1) 三、逻绀公式翻译(每小题6分,本题共12分)。 11.设P:他们明天去旅游,Q:明天天晴
所属分类:
讲义
发布日期:2019-01-12
文件大小:266240
提供者:
qq_28534783
离散数学归纳复习.pptx
题型一 命题符号化 找出简单命题 选择联结词 确定谓词、量词 题型二 求命题的真值与命题公式的赋值 真值表法 题型三 判断公式的类型 真值表法 范式法 题型四 推理
所属分类:
教育
发布日期:2020-12-12
文件大小:1048576
提供者:
weixin_44146603
离散数学知识点总结
一、知识框架图 二、数理逻辑 1.命题符号化 命题:能判断真假的陈述句 命题包含两个要素:陈述句,能判断真假 命题题符号化的步骤: 1 )对于不太好理解的联结词或表达方式,如有必要,做适当的文字翻译。 2 )找出其中所有的原子命题并符号化。 3 )用适当的联结词将原子命题连接起来,如有必要,
所属分类:
其它
发布日期:2021-01-07
文件大小:2097152
提供者:
weixin_38545463
判断表达式是否是合法的公式
//可以在退出程序前多次输入新的表达式进行判定 //定义五种命题的连接词:或(-) 且(+) 非(!) 蕴含($) 等价(#) //定义两个命题的标点符号:'(',')' //定义三个原子公式:p,q,r
所属分类:
C/C++
发布日期:2021-03-09
文件大小:4096
提供者:
AliceRuiRui