predicative logic

数学

Synonyms (3)：

predicate calculus (述語計算)
About predicate calculus
- Search "predicate calculus"
predicate logic (述語論理学)
About predicate logic
- Search "predicate logic"
predicate calculus (述語計算法)
About predicate calculus
- Search "predicate calculus"

Related terms (1)：

Hoare logic (Hoare論理)
About Hoare logic
- Search "Hoare logic"
- Detailed information

Broader terms (1)：

Narrower terms (6)：

Horn clause (Horn節)
About Horn clause
- Search "Horn clause"
- Detailed information
equational logic (等式論理)
About equational logic
- Search "equational logic"
- Detailed information
first order logic (一階論理)
About first order logic
- Search "first order logic"
- Detailed information
higher order logic (高階論理)
About higher order logic
- Search "higher order logic"
- Detailed information
description logic (記述論理)
About description logic
- Search "description logic"
- Detailed information

ｍore...

Thsaurus map：

Thesaurus Map (Notice) Synonyms included only in Sciterm are not displayed

Return to Previous Page