何伯镛
- 作品数:5 被引量:28H指数:2
- 供职机构:浙江师范大学数理信息学院更多>>
- 相关领域:理学更多>>
- 拓扑分子格的上层空间被引量:2
- 1991年
- 本文就拓扑分子格引进了上层空间的框架,借助于这种框架,从代数学范畴论的角度,分析了拓扑分子格与通常拓扑空间之间的自然关系。并指出,拓扑分子格理论有颇多的工作是一般拓扑学的“自然推广”。
- 何伯镛
- 关键词:拓扑分子格拓扑空间
- 关于CL w中不动点组合算子的结构与范式
- 2007年
- 从组合逻辑添加受限制的外延性规则,对纯λ-演算,即形式理论λβ中关于不动点组合算子的Bo¨hm-VanderMey定理做出了改进,同时讨论了组合逻辑CLw中不动点组合算子的范式.
- 王建何伯镛
- 关键词:外延性范式
- 拓扑均衡支撑分子格被引量:1
- 1992年
- 本文从讨论完备 Heyting 代数与完备原子 Boole 代数的内在联系出发,给出一类抽象格的若干结构定理,然后建立拓扑均衡支撑分子格的框架,使有点拓扑格理论与不分明拓扑学获得进一步统一.
- 何伯镛
- 关键词:拓扑分子格LF拓扑学
- 大哉,数学之为德──试论数学的德育意义被引量:26
- 1996年
- 立足于数学的科学规范,探讨了数学的德育意义.
- 何伯镛
- 关键词:数学研究德育数学教育
- LF拓扑空间的遗传性和可乘性的若干定理
- 1992年
- 本文给出若干关于LF拓补空间的遗传性和可乘性的定理,它们蕴[1]所涉及的权、特征、浓度、可数性和T_θ分离性的相应工作,同时可以说明这些工作的来源。
- 何伯镛
- 关键词:LF拓扑空间遗传性可乘性