predicate calculus

英 文 predicate calculus

中 文 述詞演算

出 處 電子計算機名詞

second order predicate calculus 第二階述詞演算 【資訊與通信術語辭典】

unary predicate calculus 單述詞演算 【資訊與通信術語辭典】

first order predicate calculus 一階述詞演算 【資訊與通信術語辭典】

higher order predicate calculus 較高階述詞演算 【資訊與通信術語辭典】

predicate calculus 述詞演算 【資訊與通信術語辭典】

second predicate calculus 第二階述詞演算 【電子計算機名詞】

second order predicate calculus 第二階述詞演算 【電子計算機名詞】

unary predicate calculus 單述詞演算 【電子計算機名詞】

predicate calculus logic 述詞演算邏輯 【電子計算機名詞】

predicate calculus 述詞演算 【電子計算機名詞】

first order predicate calculus{=FOPC} 第一階述詞演算 【電子計算機名詞】

higher order predicate calculus 較高階述詞演算 【電子計算機名詞】

high order predicate calculus 高階述詞演算 【電子計算機名詞】

predicate calculus 謂詞演算 【數學名詞-兩岸數學名詞 】

many-sorted predicate calculus 多種類謂詞演算 【數學名詞-兩岸數學名詞 】

monadic predicate calculus 一元謂詞演算 【數學名詞】

many-sorted predicate calculus 多種類謂詞演算 【數學名詞】

predicate calculus 謂詞演算 【數學名詞】

restricted predicate calculus 狹謂詞演算 【數學名詞】

extended predicate calculus 廣義謂詞演算 【數學名詞】