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

搜索资源列表

  1. 计算命题公式的真值 数据结构

  2. 所谓命题演算公式是指由逻辑变量（其值为TRUE或FALSE）和逻辑运算符AND、OR、NOT按一定规则所组成的公式（蕴含之类的运算可以用与或非来表示）。公式运算的先后顺序为非、与、或，而括号（）可以改变优先次序。已知一个命题演算公式及各变量的值，要求设计一个程序来计算公式的真值.

  3. 所属分类：其它

    • 发布日期：2009-06-30
    • 文件大小：8192
    • 提供者：yangjianhong58

  1. 怎样计算命题公式的真值

  2. 所谓命题演算公式是指由逻辑变量（其值为TRUE或FALSE）和逻辑运算符∧（AND）、∨（OR）和┐（NOT）按一定规则所组成的公式（蕴含之类的运算可以用∧、∨和┐来表示）。公式运算的先后顺序为┐、∧、∨，而括号（）可以改变优先次序。已知一个命题演算公式及各变量的值，要求设计一个程序来计算公式的真值。 1.利用二叉树来计算公式的真值。首先利用堆栈将中缀形式的公式变为后缀形式；然后根据后缀形式，从叶结点开始构造相应的二叉树；最后按后序遍历该树，求各子树之值，即每到达一个结点，其子树之值已经计算出

  3. 所属分类：C

    • 发布日期：2009-07-17
    • 文件大小：5120
    • 提供者：myshow0319

  1. 命题公式演算系统的源代码

  2. 所谓命题演算公式是指由逻辑变量（其值为TRUE或FALSE）和逻辑运算符∧（AND）、∨（OR）和┐（NOT）按一定规则所组成的公式（蕴含之类的运算可以用∧、∨和┐来表示）。公式运算的先后顺序为┐、∧、∨，而括号（）可以改变优先次序。已知一个命题演算公式及各变量的值，要求设计一个程序来计算公式的真值。

  3. 所属分类：专业指导

    • 发布日期：2009-12-04
    • 文件大小：8192
    • 提供者：liusha001122

  1. 一个简单的命题公式语法分析器

  2. 利用关于命题公式的构成原理及所学编程语言C/C++，分析一个输入字符串是否是合适公式

  3. 所属分类：C++

    • 发布日期：2009-12-22
    • 文件大小：6144
    • 提供者：waryang0227

  1. 命题公式的真值表及主析取主合取范式

  2. 这是我门上机作业,有个同学做的很好,拿来和大家分享,希望对大家有益^

  3. 所属分类：C++

    • 发布日期：2010-05-25
    • 文件大小：1048576
    • 提供者：LI_YANCHAO_521

  1. 用c语言做命题公式真值表（仅支持交，并，非三种运算符）

  2. 用c语言做命题公式真值表（仅支持交，并，非三种运算符）

  3. 所属分类：C

    • 发布日期：2010-06-20
    • 文件大小：167936
    • 提供者：xu15170458615

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

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

  3. 所属分类：C++

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

  1. 命题公式真值表 的生成算法

  2. 真值表 是命题逻辑理论 中的一个重要 概念 , 利用它可 以求命 题公式 的主 范式 、 定命 题公式 的类型以及 进行 判命题 逻辑的推理等 。本文给 出了 意命题 公式真值 表的生成 算法 , 用计算机 解决命题 逻辑 中的其它 问题奠定 了基础 。

  3. 所属分类：其它

    • 发布日期：2011-05-06
    • 文件大小：166912
    • 提供者：funnuy

  1. 数据结构求命题公式的真值问题

  2. 用C语言实现的，输入任意命题公式，然后确定各个变量的值，程序会给出最后的结果（真或者假） 大家可以对程序做一点小小的改动，根据自己的需要，有什么问题可以联系我QQ316921732

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

    • 发布日期：2011-07-05
    • 文件大小：11264
    • 提供者：QQ316921732i

  1. c语言 数据结构 课程设计报告

  2. c语言 数据结构 课程设计报告 迷宫+西文图书管理+命题公式真值 这是一个完整的报告 ，比较实用 ，祝您学习愉快！

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

    • 发布日期：2011-07-05
    • 文件大小：150528
    • 提供者：QQ316921732i

  1. 任意命题公式的真值计算

  2. 对任意简单的命题公式进行计算。通过将操作符存放与一个二元数组，解决各操作符之间的运算优先级关系来实现。

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

    • 发布日期：2012-11-19
    • 文件大小：6144
    • 提供者：pukm00

  1. c++程序判断离散数学中命题公式

  2. c++程序判断离散数学中命题公式，MFC开发

  3. 所属分类：专业指导

    • 发布日期：2013-06-18
    • 文件大小：277504
    • 提供者：liujianjun422

  1. 命题公式合法性的判定

  2. 命题公式合法性的判定

  3. 所属分类：C

    • 发布日期：2017-02-09
    • 文件大小：439296
    • 提供者：qq_33285587

  1. 命题逻辑(数理逻辑)

  2. 数理逻辑是用数学方法研究思维规律的一门学科。所谓数学方法是指:用一套数学的符号系统来描述和 处理思维的形式与规律。因此, 数理逻辑又称为符号逻辑。本章介绍数理逻辑中最基本的内容命题逻辑。首先引入命题、命题公式等概念。然后,在此基础上研究命题公式间的等值关系和蕴含关系,并给出推理规则,进行命题演绎。

  3. 所属分类：专业指导

    • 发布日期：2009-03-23
    • 文件大小：870400
    • 提供者：xanthecc

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

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

  3. 所属分类：平台管理

    • 发布日期：2020-04-15
    • 文件大小：521216
    • 提供者：beau_lily

  1. c++程序判断离散数学中命题公式.rar.rar

  2. c++程序判断离散数学中命题公式

  3. 所属分类：C++

    • 发布日期：2020-04-15
    • 文件大小：275456
    • 提供者：beau_lily

  1. 模糊命题逻辑系统的计量化与近似推理

  2. 模糊命题逻辑系统的计量化与近似推理，黎丽，，利用赋值集的随机化方法，在模糊命题逻辑系统中引入了命题公式的随机真度，同时引入了命题公式间的随机相似度和随机伪距离，建立

  3. 所属分类：其它

    • 发布日期：2020-02-11
    • 文件大小：423936
    • 提供者：weixin_38716872

  1. 离散数学之命题公式的编写

  2. 在黑框中对离散数学中的命题公式进行的功能实现

  3. 所属分类：专业指导

    • 发布日期：2010-12-10
    • 文件大小：316416
    • 提供者：WoZhangJian

  1. 离散数学命题公式--------离散数学

  2. 给学离散数学的同学编程用 详细注释在里边

  3. 所属分类：专业指导

    • 发布日期：2010-07-22
    • 文件大小：185344
    • 提供者：xufengtong

  1. DPLLSAT:用OCaml编写的简单DPLL SAT求解器，用于证明CNF子句形式的命题公式不令人满意-源码

  2. DPLLSAT:用OCaml编写的简单DPLL SAT求解器，用于证明CNF子句形式的命题公式不令人满意

  3. 所属分类：其它

    • 发布日期：2021-04-01
    • 文件大小：6144
    • 提供者：weixin_42109178
« 12 3 4 5 »