當(dāng)時(shí)愣是沒做出來，當(dāng)時(shí)也想到要用到素?cái)?shù)模的特殊性質(zhì)來做，但是數(shù)論忘得差不多了，在那里呆坐了20分鐘就是想不起來，唉唉……
這里看起來比較小，點(diǎn)擊一下放大來看吧

posted on 2009-06-04 23:12 lingol 閱讀(369) 評(píng)論(0) 編輯收藏引用

只有注冊(cè)用戶登錄后才能發(fā)表評(píng)論。
【推薦】100%開源！大型工業(yè)跨平臺(tái)軟件C++源碼提供，建模，組態(tài)！



網(wǎng)站導(dǎo)航: 博客園 IT新聞 BlogJava 博問 Chat2DB 管理

2009年6月

日

一

二

三

四

五

六

隨筆檔案

文章檔案

1.?re: 一階謂詞邏輯歸結(jié)推理系統(tǒng)（1）
不知現(xiàn)在還有沒人上這個(gè)博客,, 想請(qǐng)教下關(guān)於謂詞演算的系統(tǒng)設(shè)計(jì),, 我是從 csdn上找到這裡的.. 郵箱 363325971@qq.com 望指導(dǎo)...
--key
2.?re: 一階謂詞邏輯歸結(jié)推理系統(tǒng)（1）
不知現(xiàn)在還有沒人上這個(gè)博客,, 想請(qǐng)教下關(guān)於謂詞演算的系統(tǒng)設(shè)計(jì),, 我是從 csdn上找到這裡的.. 郵箱 363325971@qq.com 望指導(dǎo)...
--key
3.?re: Golang
評(píng)論內(nèi)容較長(zhǎng),點(diǎn)擊標(biāo)題查看
--bridge
4.?re: 一階謂詞邏輯歸結(jié)推理系統(tǒng)（1）
不知能否提供C語言實(shí)現(xiàn)的謂詞邏輯歸結(jié)推理系統(tǒng)供參考和學(xué)習(xí)？請(qǐng)發(fā)到oulibin@126.com，萬分感謝！
--區(qū)立斌
5.?re: 一階謂詞邏輯歸結(jié)推理系統(tǒng)（2）--Skolem化步驟
.。。。。來了。。。好失望。。
--飛機(jī)