查询结果
海廷代数
hǎi tíng dài shù
ㄏㄞˇ ㄊㄧㄥˊ ㄉㄞˋ ㄕㄨˋ
「海廷代数」是什么意思?
更新 2026-07-17 11:40:20
- 拼音字母hai ting dai shu
- 首字母htds
- 注音符号ㄏㄞ ㄊㄧㄥ ㄉㄞ ㄕㄨ
扩展释义
在数学里,海廷代数是一特殊的偏序集,经由广义化布尔代数而成,得名于阿兰德·海廷。海廷代数是作为直觉主义逻辑的模型而产生的,是一种排中律不总是成立的逻辑。完全海廷代数是无点拓扑学的核心。
拆字组词
相关词语
- 万里鹏程查含义
- 东风桥查含义
- 为德查含义
- 冯瑞卿查含义
- 凤滩查含义
- 制冷管查含义
- 单果柯查含义
- 古力查含义
- 哈哈百元钞查含义
- 器满则覆查含义
- 宣明丸查含义
- 岩牡丹查含义
- 岩尾万太郎查含义
- 搁不住查含义
- 散兵游勇查含义
- 支敏查含义
- 昊海楼查含义
- 景秋查含义
- 机枪阵地查含义
- 歇气查含义
- 极速营救查含义
- 柳晓叶查含义
- 津贴查含义
- 江晓峰查含义
- 渡口码头查含义
- 王献查含义
- 王金雷查含义
- 盛不忘衰查含义
- 秃疮花查含义
- 稀花槭查含义
- 童观查含义
- 红莲骑士兽查含义
- 纯白花嫁查含义
- 美的创造查含义
- 胡启超查含义
- 藏边五丑查含义
- 许洪查含义
- 迷失极乐园查含义
- 金胜镇查含义
- 阿勃勒查含义
- 阿尔泰蝠蛾查含义
- 安斋真子查含义
- 宫永照查含义
- 卓尔诗婷查含义
- 花斑裸鲤骨查含义
- 热贡艺术查含义
- 扇形马氏虫查含义
- 古多齿亚纲查含义
- 松杉冷杉查含义
- 黄叶假连翘查含义