名词
中文翻译：海廷代数
同义词：
['Henkin algebra例句：1. In Heyting algebra', 'the elements are represented by variables.（在海廷代数中，元素由变量表示。）2. The theory of Heyting algebra is used in computer science to represent binary numbers.（海廷代数理论被用于计算机科学，以表示二进制数。）3. The Heyting algebraic system is a set of rules for representing and manipulating mathematical expressions.（海廷代数系统是一组规则，用于表示和操作数学表达式。）']
例句：
-
1. In Heyting algebra, the elements are represented by variables.
在海廷代数中，元素由变量表示。
-
2. The theory of Heyting algebra is used in computer science to represent binary numbers.
海廷代数理论被用于计算机科学，以表示二进制数。
-
3. The Heyting algebraic system is a set of rules for representing and manipulating mathematical expressions.
海廷代数系统是一组规则，用于表示和操作数学表达式。