首頁(yè) 造句 謂詞演算的造句
- 1、謂詞邏輯：也叫謂詞演算，它研究簡(jiǎn)單命題的內(nèi)部結(jié)構(gòu)。
- 2、謂詞演算與程序語(yǔ)義。
- 3、使用謂詞演算來(lái)進(jìn)行知識(shí)的表示和推理，能代表實(shí)際應(yīng)用中的許多問(wèn)題。
- 4、在謂詞演算中，有時(shí)將原子公式簡(jiǎn)稱為原子。
- 5、這就是一個(gè)一階謂詞演算不可表述的屬性。?
- 6、謂詞演算語(yǔ)言的傳統(tǒng)的語(yǔ)義組成了數(shù)理邏輯的一個(gè)很豐富的分支。
- 7、本文借助中介邏輯謂詞演算系統(tǒng)，對(duì)不完全信息系統(tǒng)的理論和應(yīng)用進(jìn)行了研究。
- 8、之后，美籍邏輯學(xué)家歌德?tīng)栆浑A謂詞演算的完備性定理，這標(biāo)志著現(xiàn)代邏輯基礎(chǔ)部分的完成。
- 9、在謂詞演算的反駁樹(shù)中，被證明的合式公式。
- 10、討論了三種時(shí)間邏輯方法：一階謂詞演算，模態(tài)邏輯及具體化邏輯。
- 11、使用謂詞演算來(lái)進(jìn)行知識(shí)的表示和推理，能代表實(shí)際應(yīng)用中的許多問(wèn)題。
- 12、謂詞邏輯：也叫謂詞演算，它研究簡(jiǎn)單命題的內(nèi)部結(jié)構(gòu)。
- 13、謂詞演算與程序語(yǔ)義。
- 14、這種情況下的斷言似乎就需要實(shí)現(xiàn)特定的語(yǔ)言擴(kuò)展，于是一些人建議引入一階謂詞演算。
- 15、本文以關(guān)系知識(shí)模型為基礎(chǔ)，用謂詞演算和關(guān)系演算描述了一個(gè)知識(shí)庫(kù)管理系統(tǒng)。
- 16、這就是一個(gè)一階謂詞演算不可表述的屬性。?
- 17、從而形成了模糊謂詞演算一種新的語(yǔ)構(gòu)與語(yǔ)義體系。
- 18、謂詞演算語(yǔ)言的傳統(tǒng)的語(yǔ)義組成了數(shù)理邏輯的一個(gè)很豐富的分支。
- 19、之后，美籍邏輯學(xué)家歌德?tīng)栆浑A謂詞演算的完備性定理，這標(biāo)志著現(xiàn)代邏輯基礎(chǔ)部分的完成。
- 20、討論了三種時(shí)間邏輯方法：一階謂詞演算，模態(tài)邏輯及具體化邏輯。
- 謂讀音：wèi
(1)（動(dòng)）說(shuō)：所～。
(2)（動(dòng)）稱呼；叫做：稱～。
- 詞讀音：cí
(1)（名）語(yǔ)言中最小的有意義的能自由運(yùn)用的單位：～語(yǔ)。
(2)（名）說(shuō)話或詩(shī)歌、戲劇、文章中的語(yǔ)句：歌～。
(3)（名）一種長(zhǎng)短句押韻的詩(shī)體；由五、七言詩(shī)和民歌發(fā)展而成。形成于唐代；盛行于宋代。
- 演讀音：yǎn
(1)（動(dòng)）演變；演化：～進(jìn)。
(2)（動(dòng)）發(fā)揮：～說(shuō)｜～繹。
(3)（動(dòng)）依照程式（練習(xí)或計(jì)算）：～練｜～算。
(4)（動(dòng)）當(dāng)眾表演技藝：～?。怼?/span>
- 算讀音：suàn
(1)（動(dòng)）計(jì)算數(shù)目。
(2)（動(dòng)）計(jì)算進(jìn)去：～題。
(3)（動(dòng)）謀劃；計(jì)劃：～計(jì)｜失～。
(4)（動(dòng)）推測(cè)：我～他今天該考試了。
(5)（動(dòng)）認(rèn)做；當(dāng)做：～我的。
(6)（名）算數(shù)；承認(rèn)有效力：我們中國(guó)人說(shuō)話是～數(shù)的。
(7)（動(dòng)）作罷；不計(jì)較：～了吧。
(8)（副）總算：最后～弄懂了。