海廷代数 拼音 hǎi tíng dài shù · 注音 ㄏㄞˇ ㄊㄧㄥˊ ㄉㄞˋ ㄕㄨˋ · 2026-07-10 23:44:19 海字组词 廷字组词 代字组词 数字组词 基本属性 拼音字母hai ting dai shu 拼音首字母htds 注音符号ㄏㄞ ㄊㄧㄥ ㄉㄞ ㄕㄨ 扩展释义 在数学里,海廷代数是一特殊的偏序集,经由广义化布尔代数而成,得名于阿兰德·海廷。海廷代数是作为直觉主义逻辑的模型而产生的,是一种排中律不总是成立的逻辑。完全海廷代数是无点拓扑学的核心。