satisfiable,英語單詞,主要用作形容詞,作形容詞時譯為“可以滿足的;可使滿足的”。
基本介紹
- 外文名:satisfiable
- 詞性:形容詞
- 英式發音:['sætisfaiəbl]
- 釋義:可以滿足的;可使滿足的
satisfiable,英語單詞,主要用作形容詞,作形容詞時譯為“可以滿足的;可使滿足的”。
可滿足的(satisfiable)是2018年公布的計算機科學技術名詞,出自《計算機科學技術名詞 》第三版。定義 如果存在一組真值指派使一個邏輯表達式取值1(真),則稱該邏輯表達式是可滿足的,否則稱它為不可滿足的(unsatisfiable)。出處 《...
滿足問題是一個組合最佳化問題。中文名 滿足問題 外文名 satisfiable problem 滿足問題(satisfiable problem)一個組合最佳化問題.關於布爾公式的決策問題:已知。mcZ,...cm為布爾變數xxZ,w,x,的加法運算、求補運算及乘法運算組成的公式,每個...
可滿足謂詞演算公式 可滿足謂詞演算公式(satisfiable formula of apredicate calculus)一類公式,指在某個個體域上可滿足的謂詞演算公式。
可滿足式 可滿足式(satisfiable)是一個數學公式,設A為任一命題公式,若A在各種真值指派下至少存在一組成真指派,則A是可滿足式,反之為矛盾式。術語簡介 換言之,對於命題公式A,若A不是矛盾式,則稱A是可滿足式。
ridable,英語單詞,主要用作形容詞,作形容詞時譯為“可以騎的;可騎馬通過的”。短語搭配 ridable tide level 乘潮水位 單詞釋義 可以騎的 ...Satisfiable(可以滿足的)Ridable(可以騎的):Walkable(可以步行的):...可騎馬通過...
命題可滿足公式(satisfiable propositional for- mina)一種命題公式‘在某個指派下其值為真的命題公式稱為命題的可滿足公式 公式介紹 命題可滿足公式(satisfiable propositional for- mina)一種命題公式‘在某個指派下其值為真的命題公式稱...