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

搜索资源列表

  1. 离散数学数理逻辑部分

  2. 离散数学数理逻辑部分，主要功能是合式公式的判断、主析取范式、主合取范式的求值，真值表，等价性等等

  3. 所属分类：专业指导

    • 发布日期：2010-04-07
    • 文件大小：40960
    • 提供者：jeick

  1. 离散数学命题公式的一个演示程序

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

  3. 所属分类：C++

    • 发布日期：2010-09-15
    • 文件大小：521216
    • 提供者：computerchao

  1. 离散数学实验 C语言编程

  2. 1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A） 2. 求任意一个命题公式的真值表（B，并根据真值表求主范式（C））

  3. 所属分类：C

    • 发布日期：2010-12-06
    • 文件大小：327680
    • 提供者：zyd036

  1. 离散数学简单析取合取程序连接词的运算

  2. 1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A） 2. 求任意一个命题公式的真值表（B，并根据真值表求主范式（C））

  3. 所属分类：专业指导

    • 发布日期：2012-10-17
    • 文件大小：362496
    • 提供者：hyx_116688

  1. 离散数学计算器

  2. 1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入，也可用相应的按钮输入，变元只能是PQRST。由于等价连接词无法识别，所以用等号代替，这也是一个无奈的选择。 4.计算前请选择变元个数（默认为3元）并对变元赋值。变元个数

  3. 所属分类：Java

    • 发布日期：2007-02-05
    • 文件大小：6291456
    • 提供者：qiaomuf

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

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

  3. 所属分类：专业指导

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

  1. 离散数学实验报告

  2. 1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A） 2. 求任意一个命题公式的真值表（B），并根据真值表求主范式（C） 注意：题目类型分为A，B，C三类，其中A为基本题，完成A类题目可达到设计的基本要求，其他均为加分题，并按字母顺序分数增加越高。

  3. 所属分类：C/C++

    • 发布日期：2012-03-12
    • 文件大小：846848
    • 提供者：zwnzfylucej

  1. 真值表、主析取范式、主合取范式

  2. 离散数学 编程实现求解逻辑表达式的真值表、主析取范式、主合取范式对于一个含n个命题变元的表达式（n为相异的命题变元总个数），其真值表可看作由从0到2ⁿ-1的二进制数的变化表。因此，可以通过按行列举0到2ⁿ-1的二进制数来模拟真值表中命题变元的值。而对于表达式，在每一行，其值可通过运用该行的命题变元的值来求解。为此，应考虑：

  3. 所属分类：C/C++

    • 发布日期：2020-10-25
    • 文件大小：700416
    • 提供者：si_yu_ge