王昌达 曹化工 唐政 闫林 周从华 宋香梅 窦如静 董月霞 唐益明 陈家骏 鞠时光 杨思春 张友生 李志坚 刘晓平

演化 隐通道 归纳定义 基本操作 与或非功能树 规范树 PASCAL语言 经典命题逻辑 数据对象 节点 表达式树 生成元 半群 循环群 可信评估 符号微分 系统设计与实现 约简 封闭类 多值函数 离散数学 算术操作 软件体系结构 软件能力成熟度模型 完备性 多值代数 概念设计 软件构件 递归算法 度量