semicomputable predicate

英 文 semicomputable predicate

中 文 半可計算述詞

出 處 電子計算機名詞

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

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

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

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

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

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

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

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 述語 【電機工程】

channel predicate 通道述詞 【電子計算機名詞】

arithmetical predicate 算術述詞 【電子計算機名詞】