- 搜標(biāo)題
- 搜題干
- 搜選項(xiàng)
問(wèn)答題
【簡(jiǎn)答題】簡(jiǎn)述魯濱遜歸結(jié)原理基本思想？
答案：
首先把欲證明問(wèn)題的結(jié)論否定，并加入子句集，得到一個(gè)擴(kuò)充的子句集S’。然后設(shè)法檢驗(yàn)子句集S’是否含...
你可能感興趣的試題
問(wèn)答題
【簡(jiǎn)答題】子句集的化簡(jiǎn)的步驟？‘
答案：
（1）消去連接詞“→”和“↔”（2）減少否定符號(hào)的轄域（3）對(duì)變?cè)獦?biāo)準(zhǔn)化（4）化為前束范式（5）消去存在量詞...
問(wèn)答題
【簡(jiǎn)答題】演繹推理與歸納推理的區(qū)別？
答案：
演繹推理是在已知領(lǐng)域內(nèi)的一般性知識(shí)的前提下，通過(guò)演繹求解一個(gè)具體問(wèn)題或者證明一個(gè)結(jié)論的正確性。它所得出的結(jié)論實(shí)際上早已蘊(yùn)...
