搜索资源列表
lishanshuxue
- 1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入，也可用相应的按钮输入，变元只能是PQRST。由于等价连接词无法识别，所以用等号代替，这也是一个无奈的选择。 4
面向计算机科学的数理逻辑
- 超星格式，算不上经典，但值得一看-Superstar format, not a classic, but an eye-catcher
JudgeFormula
- 一个递归程序 根据数理逻辑中 公式 的递归定义 判断一个表达式是否是公式
1
- 自动定理形式推演,数理逻辑中常常用到的公式推理。
面向计算机科学的数理逻辑
- 超星格式，算不上经典，但值得一看-Superstar format, not a classic, but an eye-catcher
lishanshuxue
- 1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入，也可用相应的按钮输入，变元只能是PQRST。由于等价连接词无法识别，所以用等号代替，这也是一个无奈的选择。 4
JudgeFormula
- 一个递归程序 根据数理逻辑中 公式 的递归定义 判断一个表达式是否是公式 -A recursive procedure in accordance with mathematical logic in the recursive formula for the definition of an expression to determine whether the formula
1
- 自动定理形式推演,数理逻辑中常常用到的公式推理。-Automated Theorem form of deduction, mathematical logic reasoning is often used in the formula.
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)。
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 su
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
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 doubl
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)).
lisanmath
- 本课程主要包括四个部分集合与关系图论代数系统数理逻辑-Experiment Instruction Book of Discrete Mathematics
数理逻辑
- 数理逻辑介绍，2021年版。 1. Introduction. What Is Logic, Really? 2. Propositional Logic 3. Predicate Logic 4. Completeness Theorems (Model Theory) 5. Normal Forms 6. Tableaux Method 7. Resolution Method 8. Miscellaneous