many-sorted predicate calculus

英 文 many-sorted predicate calculus

中 文 多種類謂詞演算

出 處 數學名詞

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

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

many-sorted logic 多類邏輯 【資訊與通信術語辭典】

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 述詞演算 【電子計算機名詞】

many-sorted logic 多類邏輯 【電子計算機名詞】

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

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

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

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

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

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