图灵度相关论文
［1］Turing, A. M., On computable numbers, with an application to the Entscheidungsproblem, Proc. Lon. Math.Soc. (2), 1936, ......
数理逻辑是数学研究的一个重要分支。而递归论是数理逻辑研究中一个主要方向,它的一个研究目的是分析问题的可计算性和其可计算的......
本文研究计算可枚举图灵度的结构，提出并完成了一个加杯层谱的证明。 计算可枚举度（computably enumerable，c．e．degree）a被称作加杯的......
一个可计算枚举(c.e.)图灵度a被称为Nonbounding,是指它没有囿界任何极小对;一个可计算枚举(c.e.)图灵度a被称为Plus cupping,是指......
长期以来图灵度形成的偏序结构D=(D，≤)是递归论的一个主要研究对象，对其子结构(R，≤)的研究则是一个重要分支。这里R是所有递归可枚......
算法信息论是一门新兴的理论计算机学科，它利用理论计算机的工具(图灵机)对复杂性的概念进行研究。Domination是算法信息论中的一个......
学位
20世纪60年代，加拿大学者Lachlan提出计算可枚举图灵度结构理论的主子度问题。40多年来，世界各国的众多科研人员、专家学者试图挑战......
...
证明了给定任何非零的递归可枚举图灵度ａ存在递归可枚举图灵度ｃ〈ａ和ｄ∈Ｍ，使得ａ≤ｄＵｃ．由此可以得到：在每个非零「Ａ」∈Ｒ∧Ｍ中不存在极小元，即给定任......
