基于機(jī)器學(xué)習(xí)的自動邏輯推理機(jī)。本程序用歸結(jié)反演策略實(shí)現(xiàn)了命題邏輯系統(tǒng)的自動推理。把要解決的問題作為一個要證明的命題,其目標(biāo)公式被否定并化成子句形,然后添加到命題公式集中去,把消解反演系統(tǒng)應(yīng)用于聯(lián)合集,...
??
系統(tǒng)分析員論文樣例——論建立企業(yè)內(nèi)部網(wǎng)INTRANET的策略...
??
走迷宮的程序,用JAVA編寫的...
??
一個博弈論的經(jīng)典游戲,規(guī)則是兩邊輪流走棋,走到最后一步者勝.先手只有一種走法能勝電腦,試試看...
??
一個用JavaScript寫的走迷宮游戲,用鍵盤上的→←↑↓鍵進(jìn)行游戲,走出迷宮。請按照maze.txt中的說明把一部分代碼復(fù)制到<head></head>之間,另一部分代碼復(fù)...
??
按位異或及其在求解游戲策略問題中的應(yīng)用....
??
這是本人在畢業(yè)課程設(shè)計(jì)制造的51單片機(jī)的仿真器,其中有電路圖和上下位機(jī)的程序.PCB板走線圖...
??
本書通過85個實(shí)例全面講述了應(yīng)用MFC進(jìn)行Visual C++編程的思想。每個實(shí)例均以編寫一個應(yīng)用程序要走的步驟編寫。全書共分四部分進(jìn)行介紹,是基礎(chǔ)知識,講述用戶界面的實(shí)例,講述MFC內(nèi)部處理方面的實(shí)...
??
(1) 提供對城市信息進(jìn)行編輯(添加或刪除)的功能.(2) 城市之間有兩種交通工具:火車和飛機(jī).提供對列車時(shí)刻表和飛機(jī)航班進(jìn)行編輯(增設(shè)或刪除)的功能.(3) 提供兩種最優(yōu)策略:最快到達(dá)或最省錢到達(dá)....
??
在UNIX 系統(tǒng)下得到字符點(diǎn)陣信息嵌入式系統(tǒng)設(shè)計(jì)中消除內(nèi)存丟失的策略matlab循環(huán)變量小技巧hard disk 1.8# device driverC程序中如何轉(zhuǎn)換GB2312...
??