王红梅 顾陈 应红霞 刘长安 李彧晟 朱晓华 张劲东 李连友 范明 祁文青 季绍红 许扬灵 何积丰 暴建岗 郑锡忠 卢殿臣

递归性 定义域 汇编语言 可靠性 非构造性 周期 时间复杂度 回溯 递归语言 特征函数 McCarthy91-函数 迭代解 分层Grzegorczyk问题 母函数 构造性数学 参数传输 最大信噪比准则 字符串函数 动态规划 抑制 旁瓣 目标函数 迭代法 自适应雷达 有向图 实现过程 递归论 算法分析 开发 谓词