排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
宋方敏 《数学年刊A辑(中文版)》1994,(2)
木文对于添加于Martin-Lof类型论的四种新形式判断给出完整的描述.首先列出这些新判断形式的一般规则,然后证明带一个前提的假设判断可由这些新型判断替代,最后,重新作出笛卡儿积的消去和相等性规则使它们有与其他类型相同的式样而且证明新旧规则是等价的. 相似文献
2.
3.
宋方敏 《数学年刊A辑(中文版)》1994,(4)
本文推广了不交和运算且给出n个类型不交和的规则,借助于它,证明了有穷类型的封闭性和分离性,讨论有穷类型的可定义性,证明Nk可由N1和K个类型不交和而定义以及Nk可由NK+1定义. 相似文献
4.
5.
我们把部分模型定义成三值逻辑的模型.对于Kleene语义,我们讨论部分模型之间的一些代数关系,并用图方法刻划了这些关系.证明了部分模型上某些算子的不动点定理.文中所讨论的代数关系对发展三值逻辑的模型起一定的作用. 相似文献
6.
组合逻辑中的一个新的(ξ)规则 总被引:2,自引:0,他引:2
作者提出一个新的规则(ξ0),在组合逻辑的弱相等性理论CLw加入(ξ0)之后,弱相等性被加强为ξ0相等性.作者证明ξ0相等性严格强于弱相等性,但严格弱于组合β相等性,作者给出ξ0相等性的有穷公理化. 相似文献
7.
近年来,将物理过程本身看作计算、用物理过程代替Turing机算法的想法,伴随着量子计算和其他一些非传统计算模式(例如DNA计算)的研究得到了一定程度的发展.然而由于概念上的不明晰,使得关于这类计算理论的复杂性评估一直处于含糊不清、模棱两可的状态.本文对输入/输出进行了统一,对物理实验的三个关键步骤:制备、演化和测量作了数学上的刻画,并由此引出物理可计算的形式定义(包括确定性的和非确定性的).在此基础上给出了资源复杂性的概念,本文的资源是指一个物理过程消耗的总资源,不但包括了时间和空间,还包括了质量和能量.对于某个物理计算方法,相应的复杂性则描述了资源关于输入长度的增长情况.在这套形式理论中,以往非形式的“物理可计算”的例子可以在其中得到形式化地表达、且可作严格的复杂度分析.作为例子,考察了均值的统计力学求法、DNA计算和量子计算.在经典Church-Turing论题方面,对于前人试图用物理方法超越经典Turing机计算能力的著名例子,本文也在上述的理论框架下对它们的能行性进行了考察.我们认定:现有的这些例子因不能在有穷资源的限制内得到计算结果,从而都是无效的. 相似文献
1