搜索资源列表
lishanshuxue
- 1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入，也可用相应的按钮输入，变元只能是PQRST。由于等价连接词无法识别，所以用等号代替，这也是一个无奈的选择。 4.计算前请选择变元个数（默认为3元）并对变元赋值。变元个数最
面向计算机科学的数理逻辑
- 超星格式，算不上经典，但值得一看-Superstar format, not a classic, but an eye-catcher
JudgeFormula
- 一个递归程序 根据数理逻辑中 公式 的递归定义 判断一个表达式是否是公式
1
- 自动定理形式推演,数理逻辑中常常用到的公式推理。
symbolic
- 控制台下输入一个数理逻辑表达式，则给出一个真值表并给出合析范式与析合范式-Enter a console under the expression of mathematical logic, the truth table and give give a combined analysis together with analysis of paradigm paradigm
1088
- 数理逻辑考试 数理逻辑考试中，老师一共出了N道题目，其中需要选做M道。我们可以从N道题目中任意的选择M道，并对他们进行排序，排在不同位置的题目分值不一样。比如，有7道题目，我们可以任选6道，各个题目分值不一，例如放到第1个位置的题目分值为22分，第2个是21分，第3个是19分，第4个是18分，第5个是12分，第6个是8分，多做不给分。 输入数据的第一行包括两个整数N,M，其中(0<M<=N<=100)。 输入数据的第二行包括M个整数，第i个数字表示放在第i个位置
iencelogicincomputersciencepdf
- ience(面向计算机的数理逻辑)英文pdf ＋习题答案-ience (Computer-Oriented Mathematical Logic) English pdf+ Exercises Answer
mggong
- 合式公式的判断，根据输入的公式判断是否是合式公式，数理逻辑-Well-formed formulas of the judge, according to the formula to determine whether the input is a well-formed formulas, mathematical logic
mathlogic
- 此程序实现数理逻辑中逻辑推论和形式推演公式判断的功能-This program implementation in mathematical logic, logic and form of deduction formula to determine the function
shuliluoji
- <数理逻辑>课程 求公式的真值表和判断两个公式是否相等的程序-" Mathematical logic" courses seek truth table and formula to determine whether the two formulas equal program
shuliluoji
- 计算机科学中的数理逻辑 有4个功能：1）判断一个表达式是否是公式 2）查找出一个公式的所有子公式 3）去除双非 4）去除蕴涵-Computer science in mathematical logic has four functions: 1) to determine whether it is an expression equation 2) to find out a formula for all the sub-formula 3) removal of pairs
LogicAnalysis
- 数理逻辑 判断是否为公式 输出所有子公式去掉双重否定 去掉蕴含式 真值表计算 判断A是否逻辑的蕴含B 判断A与B是否为等值公式 判断形式推演规则 -Mathematical logic to determine whether the formula for the output of all sub-formulas to remove a double negative is removed implicate truth table logic of the calculation
Formula
- 数理逻辑 （1）判定表达式是否为公式。 （2）求公式的子公式。 （3）去掉公式中的双重否定式。 （4）去掉公式中的蕴含式。 -Mathematical logic (1) to determine whether the expression formula. (2) seek the formula of the sub-formulas. (3) the removal of the double negatives in the formula.
application_ofmathematical_logic
- 输入一个一阶语言，开头和结尾必须是括号。例如，(@a(P(a)). 数理逻辑的应用：通过C语言进行一阶语言的判断约束符号只限P,Q,R 变员符号只限a,b,c 命题符号为:&,|,~,-(蕴含),=(等价) 量词符号:全称量词:@ 存在量词:# -Enter a first order language must start and end brackets. For example, (@ a (P (a)). The application of mathematica
lisanmath
- 本课程主要包括四个部分集合与关系图论代数系统数理逻辑-Experiment Instruction Book of Discrete Mathematics
computation
- 这是一本计算理论的书籍，可计算性与数理逻辑中文版（第四版）-This is a theory of computation books, mathematical logic, computability and Chinese (Fourth Edition)
gongshipanduan
- 判断数理逻辑公式-I don t konw how to say
project
- GNU prolog的数理逻辑课程设计，海洋生物识别专家系统，GNU prolog+GCC下编译通过-GNU prolog of mathematical logic course design, marine life identification expert system, compiled by GNU prolog and GCC
Mathematicallogic
- 数理逻辑里面需要判断一个公式是否为原子式，里面更是解决了判断括号配对等问题-Mathematical logic, which need to determine whether an atomic formula, which is to solve problems to determine matching brackets
PrenexFormMFC
- 前束范式生成器，数理逻辑的一个辅助程序，可以给出任意谓词公式的前束范式。主要采用二叉树方式实现-Before the beam pattern generator, an auxiliary mathematical logic program predicate formulas can be given before any beam pattern. Mainly be achieved by binary tree