吴美华

作品数：2被引量：2H指数：1
导出分析报告
供职机构：北京航空航天大学数学与系统科学学院更多>>
发文主题：分配律逻辑量子力学悖论指代更多>>
发文领域：理学自动化与计算机技术更多>>
发文期刊：《计算机科学》更多>>
所获基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
悖论的生成机制和解释被引量：1
《计算机科学》2018年第B06期69-71,共3页吴美华 王拥军 杨义川 王潇扬 
国家自然科学基金(11271040);北航凡舟教学团队建设资助
从计算机科学中的具体悖论实例出发,使用对角线方法来说明一类悖论的生成机制,并指出自指代现象是悖论产生的深层次原因。传统的应对策略往往采用回避的方式,简单禁止自指代以避免悖论。从量子力学和范畴理论两个新视角出发,给出容纳悖...
关键词：悖论 自指代 对角线方法 量子力学 范畴理论 
逻辑推理机制中的分配律被引量：1
《计算机科学》2016年第S1期21-24,共4页史航 王宝山 吴美华 
自然科学基金(11371044);基本科研业务费项(YWF-15-SXXY-011)资助
分配律在经典逻辑推理机制中具有核心地位。量子逻辑不再具有经典逻辑中的分配律,从而也失去了经典逻辑推理机制,因此量子逻辑是否可称为逻辑备受人们质疑。指出了希尔伯特空间闭子空间刻画量子逻辑的不足,并深层次地分析了经典逻辑推...
关键词：分配律 推理机制 正交模律 伴随 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部