论文部分内容阅读
20世纪60年代，加拿大学者Lachlan提出计算可枚举图灵度结构理论的主子度问题。40多年来，世界各国的众多科研人员、专家学者试图挑战这一难题，但却没能成功。如今，这一重大学术难题在中国科学院软件研究所、计算机科学国家重点实验室研究员李昂生这里找到了答案。
李昂生：从图灵计算到网络科学 解40余年可计算性理论之悬疑
【摘 要】
：
20世纪60年代，加拿大学者Lachlan提出计算可枚举图灵度结构理论的主子度问题。40多年来，世界各国的众多科研人员、专家学者试图挑战这一难题，但却没能成功。如今，这一重大学术难
【出 处】
：
科技中国
【发表日期】
：
2012年11期
其他文献
2009年的金融风暴让几乎所有的企业都无法独善其身。面对经济衰退，HP、思科等国际巨头不约而同地将目光探向了视讯业。面对大鳄的来临，做为本土视讯业中的佼佼者，苏州科达科技有
目的 研究联合应用纳洛酮与甘露醇治疗颅脑损伤病人的临床疗效及对C反应蛋白的影响。方法 80例颅脑损伤患者随机分为对照组（n=40）和治疗组（n=40）,治疗组采用甘露醇联合纳洛酮治疗
青鱼亦称青鲵.鱼肉,胆,鱼枕(头枕骨)均有药用的功能.鱼肉性味甘,温,入肝,胃经,有补气和骨,养肝明目,祛风除湿,利水消肿,宁心补肾功效.可治脾虚纳差,胃痛湿痹,脚气痢疾,疟疾,
为了促进马鞍山市水产结构大调整，提高养殖效益，以点带面，推广先进的的养殖模式，笔者于２０００年在本市慈湖乡综合场进行了斑点叉点鱼回高产试验，采用了８０∶２０的先进养殖模式，试验面积１公顷，获总
目的对比在儿童部分性癫痫应用拉莫三嗪（LTG）与奥卡西平（OXC）单药治疗的效果及安全性。方法选取我院收治的60例儿童初诊部分性癫痫患儿,随机分为A组与B组,每组30例,分别给予LTG与
目的分析安眠药中毒患者急诊滞留时间的影响因素。方法将82例安眠药中毒患者根据急诊滞留时间分为2组,观察组急诊滞留时间>3h,对照组急诊滞留时间≤3h,回顾性分析2组患者临床