基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,...
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,...
状态机设计源代码...
C++Builde上位机测试程序...
用VC++6.0实现PC机与单片机之间的数据交换...
一个小巧而且实现很完整的JAVA虚拟机...
软件类型: 进销存(源代码)数 据 库: ADO语 言: VB6+ADO级 别: 简单备 注:软件工程课程设计。希望能够给你带来学习上的帮助...
flshget v1.65中文版注册机源代码...
线性代数方程组的求解全选主元高斯消去法全选主元高斯约当消去法复系数方程组的全选主元高斯消去法...
矩阵运算实矩阵相乘复矩阵相乘实矩阵求逆的全选主元高斯约当法...
modbustcp客户端测试程序,用来模拟上位机软件,对产用modbustcp协议的设备进行测试...