首頁(yè)
題庫(kù)
網(wǎng)課
在線(xiàn)???/a>
桌面端
登錄
搜標(biāo)題
搜題干
搜選項(xiàng)
0
/ 200字
搜索
問(wèn)答題
【簡(jiǎn)答題】簡(jiǎn)述魯濱遜歸結(jié)原理基本思想?
答案:
首先把欲證明問(wèn)題的結(jié)論否定,并加入子句集,得到一個(gè)擴(kuò)充的子句集S’。然后設(shè)法檢驗(yàn)子句集S’是否含...
點(diǎn)擊查看完整答案
在線(xiàn)練習(xí)
手機(jī)看題
你可能感興趣的試題
問(wèn)答題
【簡(jiǎn)答題】子句集的化簡(jiǎn)的步驟?‘
答案:
(1)消去連接詞“→”和“↔”(2)減少否定符號(hào)的轄域(3)對(duì)變?cè)獦?biāo)準(zhǔn)化(4)化為前束范式(5)消去存在量詞...
點(diǎn)擊查看完整答案
手機(jī)看題
問(wèn)答題
【簡(jiǎn)答題】演繹推理與歸納推理的區(qū)別?
答案:
演繹推理是在已知領(lǐng)域內(nèi)的一般性知識(shí)的前提下,通過(guò)演繹求解一個(gè)具體問(wèn)題或者證明一個(gè)結(jié)論的正確性。它所得出的結(jié)論實(shí)際上早已蘊(yùn)...
點(diǎn)擊查看完整答案
手機(jī)看題
微信掃碼免費(fèi)搜題