您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 历届系统分析师考试数学知识点细分统计

  2. 年份 试题号 知识点 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
  3. 所属分类:其它

    • 发布日期:2009-06-02
    • 文件大小:5120
    • 提供者:myleilei
  1. 离散数学命题公式的一个演示程序

  2. 用VC6.0编写的一个演示命题公式判断和运算的程序,程序通过对话框和用户实现交互,可以求解命题公式的真值表、主合取范式、主析取范式等等。
  3. 所属分类:C++

    • 发布日期:2010-09-15
    • 文件大小:521216
    • 提供者:computerchao
  1. 离散数学课后答案

  2. 离散数学 第一章部分课后习题参考答案 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整除。” 答
  3. 所属分类:网络管理

    • 发布日期:2011-12-14
    • 文件大小:1048576
    • 提供者:jiayaobo
  1. 离散编程题

  2. 对用户任意输入的字符序列进行如下操作: 1.判断输入是否合法。比如!Vp->q不合法。提示:不符合命题公式定义 2.求主析取范式,如果有给出成真赋值。求解一个具体的推理问题,如测验中的说谎问题。
  3. 所属分类:专业指导

    • 发布日期:2012-06-26
    • 文件大小:339968
    • 提供者:xuehui19910401
  1. 离散数学 真值表判断

  2. 公式是由命题变元,逻辑连接词,括号组成的合法符号串,而命题变元是一个抽象概念
  3. 所属分类:C/C++

    • 发布日期:2012-11-20
    • 文件大小:9216
    • 提供者:xiaoleiacm
  1. 离散数学_屈婉玲_耿素云_张立昂_主编_课后答案详_(

  2. 第一章部分课后习题参考答案 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: 是
  3. 所属分类:专业指导

    • 发布日期:2013-03-02
    • 文件大小:1048576
    • 提供者:yang79309
  1. 蝙蝠在线考试系统v2.2.6 JSF2+SPRING+JPA

  2.   “蝙蝠在线考试系统”是由蝙蝠软件工作室历经一年半有余而自主研发的一款B/S结构软件,经过上千次的测试与BUG修补,在线下实体中已经广泛应用于各科研院所与高校中。蝙蝠在线考试系统基于JSF2、Spring3、JPA2等JAVA技术构建,系统使用MYSQL数据库,可以部署于WINDOWS、LINUX、UNIX等各种操作系统,内置了无处不在的AJAX能力,简洁易用,支持单选题、多选题、填空题、判断题、问答题、文件题六种题型。功能涵盖了试题模块管理、试题管理、题库导入导出、公式编辑、图片上传、考试
  3. 所属分类:Web开发

    • 发布日期:2013-03-10
    • 文件大小:49283072
    • 提供者:lteb2002
  1. c++程序判断离散数学中命题公式

  2. c++程序判断离散数学中命题公式,MFC开发
  3. 所属分类:专业指导

    • 发布日期:2013-06-18
    • 文件大小:277504
    • 提供者:liujianjun422
  1. c++程序判断离散数学中命题公式.rar.rar

  2. c++程序判断离散数学中命题公式
  3. 所属分类:C++

    • 发布日期:2020-04-15
    • 文件大小:275456
    • 提供者:beau_lily
  1. 电大201307离散数学试题及答案

  2. 电大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:明天天晴
  3. 所属分类:讲义

    • 发布日期:2019-01-12
    • 文件大小:266240
    • 提供者:qq_28534783
  1. 离散数学归纳复习.pptx

  2. 题型一 命题符号化 找出简单命题 选择联结词 确定谓词、量词 题型二 求命题的真值与命题公式的赋值 真值表法 题型三 判断公式的类型 真值表法 范式法 题型四 推理
  3. 所属分类:教育

    • 发布日期:2020-12-12
    • 文件大小:1048576
    • 提供者:weixin_44146603
  1. 离散数学知识点总结

  2. 一、知识框架图  二、数理逻辑        1.命题符号化           命题:能判断真假的陈述句           命题包含两个要素:陈述句,能判断真假           命题题符号化的步骤:                                1 )对于不太好理解的联结词或表达方式,如有必要,做适当的文字翻译。                  2 )找出其中所有的原子命题并符号化。                  3 )用适当的联结词将原子命题连接起来,如有必要,
  3. 所属分类:其它

    • 发布日期:2021-01-07
    • 文件大小:2097152
    • 提供者:weixin_38545463
  1. 判断表达式是否是合法的公式

  2. //可以在退出程序前多次输入新的表达式进行判定 //定义五种命题的连接词:或(-) 且(+) 非(!) 蕴含($) 等价(#) //定义两个命题的标点符号:'(',')' //定义三个原子公式:p,q,r
  3. 所属分类:C/C++

    • 发布日期:2021-03-09
    • 文件大小:4096
    • 提供者:AliceRuiRui