可计算理论相关论文
计算机科学史的研究忽略了计算机技术细节,根植于可计算理论的逻辑基础。可计算理论是计算机科学发展的基础核心,逻辑与工程技术的......
一个可计算枚举(c.e.)图灵度a被称为Nonbounding,是指它没有囿界任何极小对;一个可计算枚举(c.e.)图灵度a被称为Plus cupping,是指......
能行实数是可计算理论的基本概念之一。可计算有理数序列的极限称为能行实数,又称为△02实数。若该可计算有理数序列递增,则其极限......
可计算理论建立于二十世纪三十年代.可计算理论的研究对象有三个:(1)判定问题;(2)可计算函数;(3)计算复杂性.判定问题主要是判定方......
人工智能是20世纪三大科学技术成就之一,数学是其关键的理论基础,使其成为了一门规范的科学。以人工智能的萌芽期、诞生期、发展期......
