搜索资源列表
等级考试命题预测试卷模版
- 等级考试命题预测试卷模版——全国计算机等级考试命题预测试卷一(一级B试卷) -grade examination papers Proposition forecast template -- National Computer Rank Examination papers forecast a proposition (a B Paper)
三级网络技术考试命题预测试卷1
- 全国计算机等级考试命题预测试卷一 (三级网络技术) -National Computer Rank Examination papers forecast a proposition (3 networks)
conseq
- 命题逻辑中的归结推理系统设计与实现用C++实现-propositional logic of reasoning can be summed system design and implementation to achieve C
dengjikaoshi
- 这是一个可以用于毕业设计的计算机等级考试模拟系统。管理员能够从题库中抽题来完成命题等工作。非常实用。-This is a graduation can be used to design a computer simulation system grading examinations. Administrators from the question bank to spend to complete the proposition
mingtiguijie
- 命题逻辑中的归结推理系统设计与实现,人工智能实习项目,包括实验报告-propositional logic of reasoning can be summed System Design and Implementation, artificial intelligence internship projects, including experimental report
interesting-text
- 数据库老师布置的一个很有趣的作业，自拟命题SQL语句，同学相互抽做，互相评分-database teacher decorated a very interesting process, since the proposed Proposition SQL classmates mutual pumping so, mutual score
MTYS
- 已知一个命题演算公式及各变量的值，求公式的真值。 显示表达式的真值表。 逻辑变元的标识符可以是任意长的字母数字串。逻辑运算使用 与-> & 或-> | 非-> ！
zhengjing
- 这是2008年考研政经的命题解析，希望对大家有帮助。
AKindofNon-orthogonalComplexWaveletKernelFunction.
- 指出了非线性动态信号参数辨识的重要性；分析了目前采用的方法的不足；对非正交复Morlet小波满足Mercy条件和再生性的命题作了证明；用复Morlet小波构建出一种核函数，与主分量分析方法相结合，对非线性动态信号进行参数辨识和预测；仿真结果验证了该方法的正确性和有效性，表明该方法具有较好的理论价值和实用价值。
2
- 命题公式源码，实现命题公式真值的自动计算；可以显示真值表
WangHao
- 命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。
afsa2
- 优化命题的解决存在于许多领域，对于国民经济的发展也有着巨大的应用前 景.随着优化对象在复杂化和规模化等方面的提高，基于严格机理模型的传统优化 方法在实施方面变得越来越困难.
Autologic
- 基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed
英语知识运用部分命题的特点和规律
- 英语知识运用部分命题的特点和规律
等级考试命题预测试卷模版
- 等级考试命题预测试卷模版——全国计算机等级考试命题预测试卷一(一级B试卷) -grade examination papers Proposition forecast template-- National Computer Rank Examination papers forecast a proposition (a B Paper)
三级网络技术考试命题预测试卷1
- 全国计算机等级考试命题预测试卷一 (三级网络技术) -National Computer Rank Examination papers forecast a proposition (3 networks)
2
- 命题公式源码，实现命题公式真值的自动计算；可以显示真值表-Propositional formula source, realize true value proposition of the automatic formula calculation can show truth table
判断输入是否为命题公式
- 本程序可以实现：判断输入得公式是否为命题公式(This procedure can determine whether the input is propositional formula)
判断两命题公式是否蕴含
- 本程序可实现：判断两个输入的命题公式是否蕴含(This document can determine whether or not the two propositional formulas contain)
propFormula
- 命题逻辑公式类型判断器 两公式关系判断器(Propositional logic formula type and two formula relation judge)