文件名称: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 of non-4) to remove implication
有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 of non-4) to remove implication
(系统自动生成,下载前可以参看下载内容)
下载文件列表
shuliluoji\ok.txt
..........\ok.exe
..........\readme.txt
..........\使用手册及算法.doc
..........\ok\ok.prj
..........\..\OK.C
..........\..\lcc\Makefile
..........\..\...\ok.obj
..........\..\lcc
..........\ok
shuliluoji
..........\ok.exe
..........\readme.txt
..........\使用手册及算法.doc
..........\ok\ok.prj
..........\..\OK.C
..........\..\lcc\Makefile
..........\..\...\ok.obj
..........\..\lcc
..........\ok
shuliluoji