computable predicate

英 文 computable predicate

中 文 可算述詞

出 處 電子計算機名詞

computable predicate 可算述詞 【資訊與通信術語辭典】

computable predicate 可算述詞 【電子計算機名詞】

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

zero place predicate 零位述詞 【資訊與通信術語辭典】

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

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

r-ary predicate r進述詞 【資訊與通信術語辭典】

partially computable 部分可計算 【資訊與通信術語辭典】

computable function 可算函數 【資訊與通信術語辭典】

compound predicate 複合述詞 【資訊與通信術語辭典】

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

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

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

predicate letter 述詞字母 【資訊與通信術語辭典】

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

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

n-place predicate n位述詞 【資訊與通信術語辭典】

n-adic predicate n元述詞 【資訊與通信術語辭典】

predicate 述詞 【電子工程】

predicate 述語 【電機工程】