可计算性理论

作品数：13被引量：13H指数：2
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：何大华陈传波喻良丁龙云董韫美更多>>
相关机构：华中科技大学中国科学院软件研究所南开大学南京大学更多>>
相关期刊：《微电子学与计算机》《河南理工大学学报（自然科学版）》《计算机教育》《计算技术与自动化》更多>>
相关基金：国家自然科学基金国家教育部博士点基金教育部留学回国人员科研启动基金湖南省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
哥德尔与可计算性理论——哥德尔可以有丘奇-图灵论题吗?
《自然辩证法通讯》2022年第11期17-25,共9页陈龙 
中央高校基本科研业务费专项资金“数学直觉,机器学习与创造力”(项目编号:2019NTSS35)。
将非形式的“能行可计算性”概念等同于严格的数学概念“一般递归函数”或是“图灵可计算性”,这被称之为“丘奇-图灵论题”(Church-Turing Thesis,CTT),它被视为用逻辑的方式来澄清概念的一个典范。本文以哥德尔在可计算性理论发展中...
关键词：能行可计算性 哥德尔 概念分析 公理化方法 
李昂生：从图灵计算到网络科学 解40余年可计算性理论之悬疑
《科技中国》2012年第11期88-89,共2页李玉 郑静 
20世纪60年代，加拿大学者Lachlan提出计算可枚举图灵度结构理论的主子度问题。40多年来，世界各国的众多科研人员、专家学者试图挑战这一难题，但却没能成功。 如今，这一重大学术难题在中国科学院软件研究所、计算机科学国家重点实...
关键词：可计算性理论 图灵度 网络科学 中国科学院软件研究所 国家重点实验室 专家学者 计算机科学 结构理论 
Conference Report on Modern Developments in Computability Theory and Its Applications
《逻辑学研究》2012年第3期82-86,共5页
关键词：可计算性理论 中国 技术合作 科学研究工作 
基于相对可计算性理论的过程模式可计算泛函
《江苏科技大学学报（自然科学版）》2007年第6期38-42,共5页张晓如 张再跃 
国家自然科学基金项目(60573064);中国科学院计算技术研究所"智能信息处理重点实验室"开放课题资助
研究了无穷计算的基本性质,引入基于相对可计算理论的过程模式可计算泛函概念。通过可计算性基本性质比较,证明了过程模式可计算泛函概念是部分递归泛函概念的扩展,即部分递归泛函类是过程模式可计算泛函类的真子集。
关键词：过程模式可计算泛函 部分递归泛函 无穷计算 
单向函数与对称密码体制被引量：2
《河南理工大学学报（自然科学版）》2006年第4期338-340,共3页童亚拉 
高等学校博士学科专项科研基金资助项目(20030486049)
可靠的密码学是建立在数学和形式化的计算机科学产生的结论之上的,本文从计算理论的角度阐述了构建对称密码体制所需的数学背景:算法复杂性与问题复杂性的关系;NP问题与密码学的关系;密钥长度与密码安全的关系.从保长和置换的概念入手,...
关键词：复杂性 可计算性理论 密钥 单向置换 单向函数 对称密码体制 
Packing问题的计算复杂性被引量：6
《计算机工程与科学》2005年第3期46-48,共3页陈传波 何大华 
本文讨论了离散模型与连续问题的关系以及图灵机的计算能力,在此基础上扩充了问题及 NP完全问题的定义,根据解空间的拓扑结构特点将NP完全的Packing问题分为三类,并对多边形 Packing问题进行了有益的探讨。这对设计Packing问题的求解算...
关键词：PACKING问题 计算复杂性 离散模型 可计算性理论 计算机 
图灵:计算理论的奠基人
《计算机教育》2004年第4期54-56,共3页
广义的信息理论包计算理论和通信理论两大部分.计算理论指经典的可计算性理论,代表人物是英国科学家图灵;通信理论指经典的信息论,代表人物是美国科学家香农.
关键词：可计算性理论 图灵 图灵机模型 图灵测试 机器智能 
关于实数的可计算性被引量：2
《微电子学与计算机》2003年第5期68-70,共3页陈传波 何大华 
给出了图灵机和可计算数之间的关系和可计算数的若干性质,提出了半可计算数的概念,并在此基础上结合集合的算术层次对实数集进行了算术分层,这一思想对于从可计算性角度理解实数具有借鉴意义。
关键词：可计算性理论 实数 图灵机 递归可枚举 编码 
上下文无关语言上的递归函数——I.CFPRF及CFRF的定义被引量：4
《中国科学（E辑）》2002年第1期103-115,共13页董韫美 
国家自然科学基金资助项目(批准号:69873042)
建立上下文无关语言（CFL）上的递归函数理论,在CFL上定义了函数类CFRF和它的真子类CFPRF,它们可用来十分直接地表述非数值加工算法.事实上它们分别就是上下文无关语言上的偏递归函数和原始递归函数.提出了证明CFPRF函数性质的结构归纳...
关键词：CFRF CFPRF 上下文无关语言 递归函数 CFL分层枚举 结构归纳法 形式文法 可计算性理论 
P与NP问题
《数学译林》2001年第1期5-14,共10页StephenCook 杨东屏 
关键词：P问题 NP问题 图灵机 Turing机 多项式时间类 可计算性理论 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部