鲍泓

全抽象事实空间 形式语义 集合论 二层单准Prolog 逻辑矩形 互逆蕴涵命题 计算 半集合定理 逻辑 单逻定理证明 互逆主义逻辑 互逆主义 空间曲线 体阵方程 周氏坐标系层次 宽主对角面么阵 右约乘 数学 数学哲学 投影柱面 东方精确科学 逻辑魔方 大范围循环论证 经验科学 右约乘定右单位 半集合定理主辅代数 曲面 非结合逆 逻辑饼 逻辑推论

北京联合大学信息技术研究所 北京工业大学计算机科学系