搜索资源列表
lishanshuxue
- 1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入，也可用相应的按钮输入，变元只能是PQRST。由于等价连接词无法识别，所以用等号代替，这也是一个无奈的选择。 4
Logical
- 输入待计算的逻辑表达式及变元的真值，计算该表达式的真值。 支持的逻辑运算包括 否定 ！ 合取 + 析取 － 蕴含 # 等价 $
TCS_genealogy
- 树状显示SIGACT 理论计算机科学家谱系图.析取数据源并建立合适结构.
lishanshuxue
- 1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入，也可用相应的按钮输入，变元只能是PQRST。由于等价连接词无法识别，所以用等号代替，这也是一个无奈的选择。 4
Logical
- 输入待计算的逻辑表达式及变元的真值，计算该表达式的真值。 支持的逻辑运算包括 否定 ！ 合取 + 析取 － 蕴含 # 等价 $ -Enter the logical expression to be calculated and the true values of variables, calculate the truth value of expressions. Supported by l
TCS_genealogy
- 树状显示SIGACT 理论计算机科学家谱系图.析取数据源并建立合适结构.-Tree shows that the theoretical computer scientist SIGACT pedigree chart. Disjunctive data sources and to establish a suitable structure.
lisan
- 界面很漂亮，用MFC实现离散数学中主合取范式和主析取范式并且能输出真值表，功能强大。-Interface is very beautiful, with the MFC implementation of discrete mathematics in the primary conjunctive normal form and disjunctive and the main output of truth table can be
1-4
- 离散中的求主析取范式和主合取范式 用MFC工具完成-The Lord of discrete disjunctive and conjunctive normal form the main tools used to complete MFC
shuliluoji
- 1、输入命题公式，该软件能判断公式的类型，并列出真值表。 2、输入命题公式，给出它的主合取范式和主析取范式。 -This software can judge formula for a type of the true value.
lisanshuxushiyan1
- 1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A） 2. 求任意一个命题公式的真值表（B，并根据真值表求主范式（C）） -1. From the keyboard input variables of two propositions P and Q of the true value, find their conjunction, disjunction, conditional and
NormalFormMaker
- 范式生成器。数理逻辑的辅助小程序，可以给出任意命题公式的合取范式和析取范式。主要用二叉树方式实现。包内文档比较详细，介绍了实现的主要思路。-Paradigm generator. Mathematical logic supporting small programs, any propositional formula can be given conjunctive normal form and disjunctive. Main
TrueTablePropositionFormula(NEW2)
- mfc可视化界面，离散数学课题作业。计算并显示命题公式的真值表，以及其主析取范式和主合取范式。-mfc visual interface, discrete mathematics topics operation. Propositional formula calculates and displays the truth table, as well as its main and principal co-disjunctive
xiqufans
- 求取输入公式的析取范式，利用二叉树的结构-Enter the formula to strike a disjunctive normal form, using the binary tree structure
normal
- C语言写的实现求析取范式和合取范式的源代码，上面附有源代码的说明，下下来就可以使用-normal ，bu C
logic
- 实现命题公式的判定并输出主析取范式、主合取范式，包括括号匹配，MFC实现，界面友好-Realize the proposition formula judgments and output main disjunctive normal form, principal and take paradigm, including parentheses matching, MFC realization, friendly interfac
Symbolic-logic
- 数理逻辑中实现，求取合取范式和析取范式的源代码-Mathematical logic to achieve, to strike a conjunctive normal form and disjunctive normal form of source code
decision-tree
- 本程序实现了一个决策树生成程序， 决策树学习是应用最广的归纳推理算法之一。这是一种逼近离散值函数的方法，对噪声数据有很好的健壮性且能够学习析取表达式。在这种方法中学习到的函数被表示为一棵决策树。学习得到的决策树也能再被表示多个if-then规则，以提高可读性。本程序附带详细的说明文档-decision tree ID3
Discrete-Mathematics-report(1)
- 1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和双条件的真值。（A） 2. 求任意一个命题公式的真值表（B），并根据真值表求主范式（C） 注意：题目类型分为A，B，C三类，其中A为基本题，完成A类题目可达到设计的基本要求，其他均为加分题，并按字母顺序分数增加越高。-Input two propositional variables P and Q is the true value from the
Sequential-Rules
- 序列规则 web信息抽取 还有和析取规则的对比。-sequential rule in web information extraction and disjunctive rule
求主析取主合取、真值表并判断是否相等
- cpp文件可实现“求主析取主合取及其真值表，并能判断是否相等”(The program can be realized for disjunctive conjunctive and truth table, and determine whether equal")