搜索结果: 151-151 共查到“可计算性理论”相关记录151条 . 查询时间(5.893 秒)
黄文奇，教授、博士导师。计算机科学理论研究所所长。主要学术方向为可计算性与计算复杂性理论及应用，对数学模型方面的某些问题也有研究，对于组合优化中的NP难问题-装填（Packing）问题的求解有很深的研究并取得成果。共完成并正式发表论文50余篇。