述詞邏輯

中 文 述詞邏輯

英 文 predicate logic

出 處 電子計算機名詞

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
述詞邏輯 Predicate Logic 【教育大辭書】
述詞邏輯 predicate logic 【資訊與通信術語辭典】
述詞邏輯 predicate logic 【電子計算機名詞】
一階述詞邏輯 first order predicate logic 【電子計算機名詞】
述詞演算邏輯 predicate calculus logic 【電子計算機名詞】
邏輯IF敘述 logical IF statement 【資訊與通信術語辭典】
邏輯欄描述符 logical field descriptor 【資訊與通信術語辭典】
邏輯資料庫描述 logical database description 【資訊與通信術語辭典】
邏輯賦值敘述 logic assignment statement 【資訊與通信術語辭典】
邏輯資料庫描述 logical database description 【電子計算機名詞】
邏輯賦值敘述 logical assignment statement 【電子計算機名詞】
邏輯單元描述 logical unit description{=LUD} 【電子計算機名詞】
邏輯敘述 logical statement 【電子計算機名詞】
邏輯IF敘述 logical IF statement 【電子計算機名詞】
邏輯欄描述符 logical field descriptor 【電子計算機名詞】
邏輯描述符 logical descriptor 【電子計算機名詞】
實體邏輯描述 physical logic description{=PLD} 【電子計算機名詞】
總體邏輯資料庫描述 global logical database description 【電子計算機名詞】
前述詞 Antecedent 【教育大辭書】
零位述詞 zero place predicate 【資訊與通信術語辭典】