91av视频/亚洲h视频/操亚洲美女/外国一级黄色毛片 - 国产三级三级三级三级

  • 大小: 7.07MB
    文件類型: .rar
    金幣: 2
    下載: 0 次
    發布日期: 2023-10-04
  • 語言: 其他
  • 標簽: 邏輯推理??

資源簡介

本程序用歸結反演策略實現了命題邏輯系統的自動推理 歸結方法的基本算法很簡單，每次從子句集中選擇兩個可進行歸結的子句，求它們的歸結式，如果歸結式為NIL，則算法結束，結論得證。如果歸結式不為空，則將該歸結式加入到子句集中，繼續以上過程。

資源截圖

代碼片段和文件信息 

//---------------------------------------------------------------------------

#include?
#pragma?hdrstop
//---------------------------------------------------------------------------
USEFORM（“Unit1my.cpp“?Form1）;
USEFORM（“Unit2my.cpp“?Form2）;
USEFORM（“Unit3my.cpp“?Form3）;
//---------------------------------------------------------------------------
WINAPI?WinMain（HINSTANCE?HINSTANCE?LPSTR?int）
{
????????try
????????{
?????????????????Application->Initialize（）;
?????????????????Application->CreateForm（__classid（TForm1）?&Form1）;
?????????????????Application->Run（）;
????????}
????????catch?（Exception?&exception）
????????{
?????????????????Application->ShowException（&exception）;
????????}
????????catch?（...）
????????{
?????????????????try
?????????????????{
?????????????????????????throw?Exception（““）;
?????????????????}
?????????????????catch?（Exception?&exception）
?????????????????{
?????????????????????????Application->ShowException（&exception）;
?????????????????}
????????}
????????return?0;
}
//---------------------------------------------------------------------------

?屬性????????????大小?????日期????時間???名稱
-----------?---------??----------?-----??----

?????文件??????82432??2005-03-03?15:23??Autologic\Autologic\back\1?系統總體介紹.doc

?????文件??????19456??2005-03-03?15:23??Autologic\Autologic\back\5?字符映射和逆波蘭變換.doc

?????文件??????19456??2005-03-03?15:23??Autologic\Autologic\back\6?邏輯蘊含.doc

?????文件??????19456??2005-03-03?15:23??Autologic\Autologic\back\7?邏輯求逆的消去處理.doc

?????文件??????22528??2005-03-03?15:23??Autologic\Autologic\back\9?歸結反演.doc

?????文件??????58417??2005-03-03?15:23??Autologic\Autologic\back\SNAG-0000.jpg

?????目錄??????????0??2008-12-20?19:48??Autologic\Autologic\back

?????文件??????33792??2008-11-20?21:47??Autologic\Autologic\Debug\vc60.idb

?????文件??????28672??2008-11-20?21:47??Autologic\Autologic\Debug\vc60.pdb

?????目錄??????????0??2008-11-20?21:43??Autologic\Autologic\Debug

?????文件????2837528??2008-11-23?02:22??Autologic\Autologic\Debug_Build\Project1my.#00

?????文件??????20504??2008-11-23?02:22??Autologic\Autologic\Debug_Build\Project1my.obj

?????文件???12485150??2008-11-23?02:22??Autologic\Autologic\Debug_Build\Project1my.pch

?????文件??????20306??2008-11-23?02:22??Autologic\Autologic\Debug_Build\Stack1.obj

?????文件?????162796??2008-11-23?02:22??Autologic\Autologic\Debug_Build\Unit1my.obj

?????文件??????71240??2008-11-23?02:22??Autologic\Autologic\Debug_Build\Unit2my.obj

?????文件??????49866??2008-11-23?02:22??Autologic\Autologic\Debug_Build\Unit3my.obj

?????目錄??????????0??2008-11-23?02:22??Autologic\Autologic\Debug_Build

?????文件???????4251??2005-03-03?15:22??Autologic\Autologic\Project1my.bpr

?????文件??????14117??2008-11-23?02:35??Autologic\Autologic\Project1my.cbproj

?????文件?????????62??2008-11-23?02:35??Autologic\Autologic\Project1my.cbproj.local

?????文件???????1135??2008-11-20?21:44??Autologic\Autologic\Project1my.cpp

?????文件???????3513??2008-11-20?21:47??Autologic\Autologic\Project1my.dsp

?????文件????????528??2008-11-20?21:47??Autologic\Autologic\Project1my.dsw

?????文件?????581120??2008-11-23?02:22??Autologic\Autologic\project1my.exe

?????文件????????246??2008-11-23?02:22??Autologic\Autologic\Project1my.map

?????文件??????33792??2008-11-20?21:47??Autologic\Autologic\Project1my.ncb

?????文件??????15257??2005-03-03?15:22??Autologic\Autologic\Project1my.obj

?????文件??????48640??2008-11-20?21:47??Autologic\Autologic\Project1my.opt

?????文件???????1588??2008-11-20?21:47??Autologic\Autologic\Project1my.plg

............此處省略45個文件信息

評論

共有 條評論