first order predicate logic

英 文 first order predicate logic

中 文 一階述詞邏輯

出 處 電子計算機名詞

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

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

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

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

first order dynamic logic 一級動態邏輯 【電子計算機名詞】

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

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

first order logic 一階邏輯 【數學名詞-兩岸數學名詞 】

first order logic 一階邏輯 【數學名詞】

Predicate Logic 述詞邏輯 【教育大辭書】

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

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

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

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

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

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

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

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

predicate logic 述詞邏輯 【資訊與通信術語辭典】

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