注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 离散数学实验 计算逻辑表达式真值

  2. 输入待计算的逻辑表达式及变元的真值，计算该表达式的真值。 支持的逻辑运算包括 否定 ！ 合取 + 析取 － 蕴含 # 等价 $ 输入时用上面相应的符号表示。输入的表达式中每个逻辑运算符及其相应的操作数结合在一起用一对圆括号括起来。 例如： 输入表达式：((!((a+b)#(a-b)))$c) 输入a的真值： 1 输入b的真值： 0 输入c的真值： 0 计算的结果：？ 提示：利用栈完成。

  3. 所属分类：C

    • 发布日期：2009-06-18
    • 文件大小：3072
    • 提供者：adidi07

  1. 离散数学习题答案（比较完全的版本）

  2. 习题一 1.命题有：（1）、（2）、（3）、（6）、（7）、（10）、（11）、（12）、（13）. 简单命题有：（1）、（2）、（7）、（10）、（13）. 真命题有：（1）、（2）、（3）、（10）、（11）. 真值待定的命题有：（7）、（13） 3.（2）解：令 ： 是无理数，则原命题可符号化为 ，其否式为 是无理数，其符号化为 ， 的真值为0. （4）解：令 ： 是整数，其否式为 不是整数，其可符号化 ， 的真值为0. 4.（3）解：令 ：2是最小的素数， ：2是最小的自然数，则此命题

  3. 所属分类：专业指导

    • 发布日期：2010-03-25
    • 文件大小：2097152
    • 提供者：tg5822

  1. 离散数学试题大集合—试题

  2. 设p：今天是星期一，q：明天是星期二，命题“只有今天是星期一，明天才是星期二”的符号化形式为

  3. 所属分类：专业指导

    • 发布日期：2010-04-23
    • 文件大小：2097152
    • 提供者：chiyan2914

  1. 复习期间用的离散数学习题

  2. 复习期间用的离散数学习题 1．设 ， ，请在下列每对集合中填入适当的符号： 。 （1） , (2) 。 2．设 ，N为自然数集， 若 ，则 是 射的，若 ，则 是 射的。 3．设图G = 中有7个结点，各结点的次数分别为2，4，4，6，5，5，2， 则G中有 条边，根据 。 4．两个重言式的析取是 ，一个重言式和一个矛盾式的合取是

  3. 所属分类：专业指导

    • 发布日期：2010-06-28
    • 文件大小：117760
    • 提供者：meinishile

  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. 第一章部分课后习题参考答案 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. 离散数学屈婉玲版课后答案

  2. 1.1． 略 1.2． 略 1.3． 略 1.4． 略 1.5． 略 1.6． 略 1.7． 略 1.8． 略 1.9． 略 1.10． 1.11． 1.12． 略 略 将下列 命题符号化, 并给出各命题的 真值: (1)2+2＝4当且仅当3+3＝6. (2)2+2＝4的充要条件是3+3≠6. (3)2+2≠4与3+3＝6互为充要条件. (4)若2+2≠4, 则3+3≠6, 反之亦然. (1)p↔q, 其中, p: 2+2＝4, q: 3+3＝6, 真值为1. (2)p↔q, 其中, p:

  3. 所属分类：其它

    • 发布日期：2013-03-20
    • 文件大小：2097152
    • 提供者：lihuayang00

  1. 《离散数学》第七章_图论-第3-4节

  2. 《离散数学》课程是信息与计算科学专业的专业基础课程，也是应用性很强的一门数学课。离散数学是现代数学的一个重要分支，它是以数理逻辑、集合论、关系与函数、代数结构与布尔代数为讲授对象。是理论性较强、应用性较广、集理论性与应用性为一体的学科。 设置本课程的目的是：通过本课程的学习，使学生了解和掌握关于离散数学的基本概念及其相关理论，以现代数学的方法，初步掌握处理离散结构所必须的一些基本数学工具和方法，为后继课程的学习作必要的理论准备。同时也要培养学生抽象思维、逻辑推理，符号演算和慎密概括的能力，从而

  3. 所属分类：专业指导

    • 发布日期：2013-04-24
    • 文件大小：1048576
    • 提供者：sdau20104555

  1. 离散数学CH02_命题逻辑(1).

  2. 数理逻辑（Mathematical Logics）就是用数学化（符号化）的手段，研究有效的推理方法。所谓数学方法主要是指引进一套符号体系的方法。因此数理逻辑又称为符号逻辑。数理逻辑在逻辑设计、人工智能、语言理论、程序正确性证明等方面都有重要应用

  3. 所属分类：专业指导

    • 发布日期：2013-04-24
    • 文件大小：5242880
    • 提供者：u010443141

  1. 离散数学复习题及答案

  2. 离散数学复习题 1、下列是真命题的有 Φ∈{{Φ},Φ} 2、在0 之间应填入 符号。 3、谓词公式 中的 x是 。 既是自由变元又是约束变元 4、设全集为I，下列相等的集合是 。 5、下面哪个命题公式是永真式 。 6、与命题公式 等价的公式是 。 7、设R，S是集合A上的关系，则下列说法正确的是 。 ③若R，S 是对称的， 则 是对称的； 8、设 ，S上关系R的关系图为 则R具有 性质。 自反性 9、设集合 ,A上的二元关系 不具备关系 性质 自反性 10、在下述公式中是永真式的为 ； 11

  3. 所属分类：数据库

    • 发布日期：2013-06-25
    • 文件大小：356352
    • 提供者：u011203412

  1. 离散数学 左孝陵 第二章

  2. 用数学方法（主要是建立符号体系的方法）来研究推理的形式结构和推理规律的数学学科。引入一套符号体系来研究推理规律的学科，故又称之为符号逻辑（Symbolic Logic）

  3. 所属分类：讲义

    • 发布日期：2014-09-18
    • 文件大小：906240
    • 提供者：patricia_csdn

  1. 离散数学曲婉玲版课后答案

  2. 课后答案 离散数学 曲婉玲版 高等数学 命题逻辑 符号化

  3. 所属分类：专业指导

  1. 离散数学模拟题及答案

  2. 老师给的模拟题，有：命题符号化、简答题、证明题和应用题，附有详细答案。

  3. 所属分类：专业指导

    • 发布日期：2015-12-22
    • 文件大小：161792
    • 提供者：qq_33472746

  1. 焦占亚《离散数学》配套电子课件（PPT格式）

  2. 说明：1.该课件是在office 2000环境下制作的，运行该课件应先安装office 2000。 2.该课件必须存放在同一目录下,才能正常运行。。 3.该课件的符号较多，如果显示不正常，需要安装字体文件夹的所有字体。

  3. 所属分类：专业指导

    • 发布日期：2009-03-03
    • 文件大小：2097152
    • 提供者：sd3870181

  1. 期末复习-离散数学.rar

  2. 例1 下列句子中那些是命题？ (1) 是有理数. (假命题) (2) 2 + 5 = 7. ( 真命题) (3) x + 5 > 3. (不是命题) (4) 你去教室吗？(不是命题) (5) 这个苹果真大呀！(不是命题) (6) 请不要讲话！(不是命题) (7) 2050年元旦下大雪. (命题，但真值现在不知道) 命题分类：简单命题（也称原子命题）与复合命题 简单命题符号化

  3. 所属分类：互联网

    • 发布日期：2020-04-18
    • 文件大小：930816
    • 提供者：hui1097

  1. 《离散数学》考试大纲.pdf

  2. 第一部分 逻辑部分 命题的概念、联结词、 命题公式、命题的符号化与翻译、构造真值表证明命题公式的等价、 不构造真值表证明蕴涵式与等价式及命题公式的化简、命题公式的主析取范式、主合取范式 的求法、推理证明的直接证法和间接证法、 n 元谓词与量词、谓词公式及其翻译、谓词演算 的等价式与蕴涵式、 应用 UI 规则、 UG 规则、 EI 规则、 EG 规则进行谓词演算的推理证明 等 第 二部分 集合与关系 集合的概念与运算、 关系的概念及性质、 关系的闭包运算、 等价关系与划分、 相容关系

  3. 所属分类：专业指导

    • 发布日期：2020-02-08
    • 文件大小：150528
    • 提供者：phoenixss433

  1. 离散数学符号表

  2. 离散数学符号表介绍离散数学符号表离散数学符号表离散数学符号表

  3. 所属分类：专业指导

    • 发布日期：2012-02-12
    • 文件大小：244736
    • 提供者：l_i_a_n_g_g_e_n

  1. 离散数学符号表Doc格式

  2. 离散数学符号表Doc格式，方便用户在word中编辑公式使用。

  3. 所属分类：专业指导

    • 发布日期：2010-07-24
    • 文件大小：244736
    • 提供者：xidiangejun

  1. 广工离散数学试题 还有答案

  2. 1、将下列命题符号化： （1） 戴宗跑得快，跳得高。 解：设p：戴宗跑得快，q：戴宗跳得高。则原命题为： 。 （2） 张飞是山东人或河北人。

  3. 所属分类：专业指导

    • 发布日期：2010-07-12
    • 文件大小：838656
    • 提供者：j448339706

  1. 离散数学归纳复习.pptx

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

  3. 所属分类：教育

    • 发布日期：2020-12-12
    • 文件大小：1048576
    • 提供者：weixin_44146603
« 12 3 4 »