Computability相关论文
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7......
著名的丘奇(A.Church)命题指出,任何算法都可以用一个图灵机来描述.对自然数的四则运算给出了相应的图灵机.......
为了对配电网规划问题进行简化,首先针对配电网规划过程中的不确定性进行分析,研究了配电网规划决策中的可接受偏差和可计算性问题......
在桥牌运动中,若将四家的牌摊开来打,则存在判定初始牌局是否为南北方胜牌局(或东西方胜牌局)的算法,当南北方(或东西方)客观上存......
对定义在集合∑^＊上的函数f：真包含（∑^＊）^n→∑^＊引入可计算性，该方法不能应用于不可数集合M，如实数集R。利用无限符号序列作为名，同时定义......
给出了图灵机和可计算数之间的关系和可计算数的若干性质,提出了半可计算数的概念,并在此基础上结合集合的算术层次对实数集进行了......
为在公制的空格的 co 常规的子集的可计算性， co 常规的集合上的 co 常规的子集和几个讲理的代表的性质在这份报纸被建议了。作为最......
本文给出了用Ｈｏｐｆｉｅｌｄ网计算部分递归函数的构造性证明，由于部分递归函数与图灵机等价，故Ｈｏｐｆｉｅｌｄ网与图灵机等价。......
图的最大团问题是一个著名的ＮＰ－完全问题。现有求解图的最大图的算法或者只适用于某些特殊的图。或者需要指数级时间代阶，效率较低。以......
讨论可计算性和语言学理论中的几个关键问题，阐述这几个关键问题的背景，正确理解这几个关键问题的重要性和这些问题与当前语言研究中......
针对有限状态自动机只能识别正规集合和计算一些相对简单函数的问题,给出了一类递归函数的符号计算方法.该方法把递归函数和图灵机......
...
引入了在TTE框架下，利用开集和闭集的表示式，定义了度量空间中co-regular集的若干不等价表示式；并对这些表示式的强弱关系进行了论证......
图灵将人工智能简化为具有形式逻辑、自动证明和计算能力的符号处理系统。但是人类智能与语言理解有关。文章提出一个可以在自然界......
