first order predicate calculus

英 文 first order predicate calculus

中 文 一階述詞演算

出 處 資訊與通信術語辭典

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

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

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

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

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

first order predicate logic 一階述詞邏輯 【電子計算機名詞】

first order predicate 一階述詞 【電子計算機名詞】

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

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

first order functional calculus 一階泛函演算 【數學名詞】

First-Order Approximation Method Growth Model 一階近似法生長模式 【環境科學大辭典】

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

first order subroutine 一級次常式；第一階次常式 【資訊與通信術語辭典】

first order modeling 一階模型化 【資訊與通信術語辭典】

first order traverse 一等導線測量 【測繪學辭典】

first order leveling 一等水準測量 【測繪學辭典】

first order triangulation 一等三角測量 【測繪學辭典】

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

first order system 一階系統 【電子工程】

first order result 一階結果 【電子工程】