期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

计算机科学中的待解问题综述 被引量：1

A Survey of the Open Problems in Computer Science
下载PDF
导出
摘要 本文从计算理论、人工智能基础和计算机系统等三方面阐述了计算机科学领域中的待解问题,其中任何一个问题的解决都会极大地推动计算机科学的发展。 This paper describes the open problems of computation theory, artificial intelligence and computer systems in the field of computer science. The resolution of any one of the problems will make great progress in computer science.
作者 贲可荣 孙宁
机构地区 海军工程大学计算机系 海军装备研究院
出处 《计算机工程与科学》 CSCD 2005年第10期3-4,39,共3页 Computer Engineering & Science
关键词 计算 计算机科学 人工智能 计算机系统 预测 computation computer science AI computer system projection
分类号 TP3 [自动化与计算机技术—计算机科学与技术]
  • 相关文献

参考文献15

  • 1Stephen Cook. The Importance of the P Versus NP Question[J]. Journal of the ACM, 2003,50(1):27-29.
  • 2Juris Hartmanis. Separation of Complexity Classes[J]. Journal of the ACM, 2003,50(1):58-62.
  • 3Richard E Steams. Deterministic Versus Nondeterministic Time and Lower Bound Problems[J]. Journal of the ACM,2003,50(1): 91-95.
  • 4Leslie G Valiant. Three Problems in Computer Science[J].Journal of the ACM, 2003,50(1):96-99.
  • 5Alexander Razborov. Propositional Proof Complexity[J]. Journal of the ACM, 2003,50(1):80-82.
  • 6Peter W Shor. Why Haven't More Quantum Algorithms Been Found?[J]. Journal of the ACM, 2003,50(1): 87-90.
  • 7Andrew Chi-Chih Yao. Classical Physics and the Church-Turing Thesis[J]. Journal of the ACM, 2003, 50(1): 100-105.
  • 8John McCarthy. Problems and Projections in CS for the Next 49 Years[J]. Journal of the ACM, 2003,50(1): 73-79.
  • 9Edward A Feigenbaum. Some Challenges and Grand Challenges for Computational Intelligence[J]. Journal of the ACM,2003,50(1):32-40.
  • 10Butler Lampson. Getting Computers to Understand[J]. Journal of the ACM, 2003,50(1): 70-72.

引证文献1

计算机工程与科学
2005年 第10期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部