文件名称:NormalFormMaker
- 所属分类：
- 数据结构常用算法
- 资源属性：
- [Windows] [Visual.Net] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 8.12mb
- 下载次数：
- 0次
- 提 供 者：
- y**
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
范式生成器。数理逻辑的辅助小程序，可以给出任意命题公式的合取范式和析取范式。主要用二叉树方式实现。包内文档比较详细，介绍了实现的主要思路。-Paradigm generator. Mathematical logic supporting small programs, any propositional formula can be given conjunctive normal form and disjunctive. Mainly be achieved with the binary tree. More detailed documentation package, introduced the main ideas to achieve.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
WinNfm\Debug\WinNfm.exe
......\.....\WinNfm.ilk
......\.....\WinNfm.pdb
......\Release\WinNfm.exe
......\.......\WinNfm.pdb
......\WinNfm\app.ico
......\......\app.rc
......\......\AssemblyInfo.cpp
......\......\BinaryTree.cpp
......\......\BinaryTree.h
......\......\Debug\app.res
......\......\.....\AssemblyInfo.obj
......\......\.....\BuildLog.htm
......\......\.....\mt.dep
......\......\.....\NfmTree.obj
......\......\.....\stdafx.obj
......\......\.....\vc90.idb
......\......\.....\vc90.pdb
......\......\.....\WinNfm.exe.intermediate.manifest
......\......\.....\WinNfm.Form1.resources
......\......\.....\WinNfm.obj
......\......\.....\WinNfm.pch
......\......\Form1.h
......\......\Form1.resx
......\......\NfmTree.cpp
......\......\NfmTree.h
......\......\ReadMe.txt
......\......\..lease\app.res
......\......\.......\AssemblyInfo.obj
......\......\.......\BuildLog.htm
......\......\.......\mt.dep
......\......\.......\NfmTree.obj
......\......\.......\stdafx.obj
......\......\.......\vc90.idb
......\......\.......\vc90.pdb
......\......\.......\WinNfm.exe.intermediate.manifest
......\......\.......\WinNfm.Form1.resources
......\......\.......\WinNfm.obj
......\......\.......\WinNfm.pch
......\......\resource.h
......\......\stdafx.cpp
......\......\stdafx.h
......\......\WinNfm.cpp
......\......\WinNfm.vcproj
......\......\WinNfm.vcproj.23A8287EC54E4DE.Administrator.user
......\WinNfm.ncb
......\WinNfm.sln
......\WinNfm.suo
文档\NormalFormMaker.vsd
....\NormalFormMaker使用说明.doc
....\NormalFormMaker设计报告.doc
....\测试用例.txt
WinNfm\WinNfm\Debug
......\......\Release
......\Debug
......\Release
......\WinNfm
WinNfm
文档
......\.....\WinNfm.ilk
......\.....\WinNfm.pdb
......\Release\WinNfm.exe
......\.......\WinNfm.pdb
......\WinNfm\app.ico
......\......\app.rc
......\......\AssemblyInfo.cpp
......\......\BinaryTree.cpp
......\......\BinaryTree.h
......\......\Debug\app.res
......\......\.....\AssemblyInfo.obj
......\......\.....\BuildLog.htm
......\......\.....\mt.dep
......\......\.....\NfmTree.obj
......\......\.....\stdafx.obj
......\......\.....\vc90.idb
......\......\.....\vc90.pdb
......\......\.....\WinNfm.exe.intermediate.manifest
......\......\.....\WinNfm.Form1.resources
......\......\.....\WinNfm.obj
......\......\.....\WinNfm.pch
......\......\Form1.h
......\......\Form1.resx
......\......\NfmTree.cpp
......\......\NfmTree.h
......\......\ReadMe.txt
......\......\..lease\app.res
......\......\.......\AssemblyInfo.obj
......\......\.......\BuildLog.htm
......\......\.......\mt.dep
......\......\.......\NfmTree.obj
......\......\.......\stdafx.obj
......\......\.......\vc90.idb
......\......\.......\vc90.pdb
......\......\.......\WinNfm.exe.intermediate.manifest
......\......\.......\WinNfm.Form1.resources
......\......\.......\WinNfm.obj
......\......\.......\WinNfm.pch
......\......\resource.h
......\......\stdafx.cpp
......\......\stdafx.h
......\......\WinNfm.cpp
......\......\WinNfm.vcproj
......\......\WinNfm.vcproj.23A8287EC54E4DE.Administrator.user
......\WinNfm.ncb
......\WinNfm.sln
......\WinNfm.suo
文档\NormalFormMaker.vsd
....\NormalFormMaker使用说明.doc
....\NormalFormMaker设计报告.doc
....\测试用例.txt
WinNfm\WinNfm\Debug
......\......\Release
......\Debug
......\Release
......\WinNfm
WinNfm
文档