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

搜索资源列表

  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. C，C++ 数据结构课程设计之计算命题演算公式的真值

  2. 本程序用C语言编写，为数据结构课程设计中的计算命题演算公式的真值程序，编写时考虑周到，在满足题目的基本要求下，功能更为完善 PS：内附详解报告，解释流程，原理及用法

  3. 所属分类：C

    • 发布日期：2009-12-14
    • 文件大小：288768
    • 提供者：zxrlong

  1. 计算命题演算公式的真值课程设计报告

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

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

    • 发布日期：2011-08-12
    • 文件大小：284672
    • 提供者：cqq20091001234

  1. 数据结构课程设计：命题演算公式真值的计算

  2. 数据结构课程设计：命题演算公式真值的计算...绝对正确！只用堆栈，构造二叉树...

  3. 所属分类：其它

    • 发布日期：2008-07-10
    • 文件大小：184320
    • 提供者：happyjianjian

  1. 形式化方法与软件可靠性

  2. 形式化方法在软件开发中能够起到的作用是多方面的。首先是对软件要求的描述。软件要求的描述是软件开发的基础。比如说一般非形式化的描述很可能导致描述的不明确和不一致。如果描述的不明确和不一致导致设计，编程的错误，将来的修改所要付出的代价就非常大了。如果导致的错误没有被发现，则影响程序的可靠和使用。形式化方法则要求描述的明确性，而描述的不一致性也就相对易于发现。其次是对软件设计的描述。软件设计的描述和软件要求的描述一样重要。形式化方法的优点对于软件要求的描述同样适用于软件设计的描述。另外由于有了软件要

  3. 所属分类：网络攻防

    • 发布日期：2008-10-12
    • 文件大小：4096
    • 提供者：yuxiaoyong

  1. 计算逻辑表达式真值和通用试题库设计.pdf

  2. AND、∨OR和┐NOT按一定规则所组成的公式蕴含之类的运算可以 用∧、∨和┐来表示。公式运算的先后顺序为┐、∧、∨而括号可以改 变优先次序。已知一个命题演算公式及各变量的值要求设计一个程序来计算公 式的真值。 菜单可以运行，功能比较齐全，内附着两个题目

  3. 所属分类：软件测试

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

  1. 《人工智能》(蔡自兴著)课后答案完整版.pdf

  2. 主要内容如标题所示，为《人工智能》课后答案问题求解(下棋程序),逻辑推理与定理证明(四色定理证明),自然语言理解,自动程序设 计,专家系统,机器学习,神经网络,机器人学(星际探索机器人),模式识别(手写识别 汽车牌照识别,指纹识别),机器视觉(机器裝配,卫星图像处理),智能控制,智能检索, 智能调度与指挥(汽车运输高度,列车编组指挥),系统与语言工具 新的研究热点: 分布式人工智能与 Agent,计算智能与进化计算,数据挖掘与知识发现(超市市场商品数据 分析),人工生命 第二章知识表示方法 2-

  3. 所属分类：讲义

    • 发布日期：2019-07-07
    • 文件大小：5242880
    • 提供者：qq_17337199

  1. 软件形式规格说明语言-Z

  2. 1. 什么是形式化方法？ 2. 软件形式化有什么优点？（一个是精确，另一个是可验证的。） 3. 什么是Z语言？（软件的形式规格说明语言，基于数学的一种表示，用于规格说明） 4. 软件规格说明有哪两种抽象？（数据抽象，过程抽象， 以及分别是什么） 5. 除了Z语言，你知道还有哪些其他的形式规格说明语言？ 第2章 1. 什么是命题？（都是简单的问题，命题是可分辨真假的陈述句） 什么是命题公式？（用常用的5个连接词讲命题连接起来，组合起来。简单的来说就是这样，书上有现成的答案。） 什么是命

  3. 所属分类：外包

    • 发布日期：2020-06-21
    • 文件大小：14680064
    • 提供者：weixin_43441064

  1. 基于直觉模糊逻辑的近似推理方法

  2. 针对直觉模糊逻辑及命题演算, 提出了利用隶属度和犹豫度计算直觉模糊逻辑命题真值的合成方法.给出了直觉模糊逻辑命题的运算规则,重点研究了基于直觉模糊逻辑的近似推理方法.该方法包括直觉模糊取式推理,直觉模糊拒式推理及直觉模糊假言推理,并推导了相关的推理合成运算公式.以具体算例验证和表明了所提出的推导方法的正确性和有效性,以及对方法进行验证的详细步骤.

  3. 所属分类：其它

    • 发布日期：2021-01-19
    • 文件大小：403456
    • 提供者：weixin_38587924