second order predicate calculus

英 文 second order predicate calculus

中 文 第二階述詞演算

出 處 資訊與通信術語辭典

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

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

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

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

second-order Lambda-calculus 二階 Lamda 微積分 【電子計算機名詞】

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

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

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

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

Second Order 次元 【教育大辭書】

second order transition 二級轉移 【力學名詞辭典】

second order subroutine 第二階次常式 【資訊與通信術語辭典】

second order modeling 第二階模型化 【資訊與通信術語辭典】

second order logic 二階邏輯 【資訊與通信術語辭典】

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

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

second order traverse 二等導線 【測繪學辭典】

second order leveling 二等水準測量 【測繪學辭典】

second order triangulation 二等三角測量 【測繪學辭典】

composite second order distortion 複合二次差拍失真 【電子工程】