刘华文 李晶 李晓冰 杨宗源 张会凌 冯博琴 薛贤铭 吴建军 文秋梅 潘美芹 杨捷飞 陈图云 何斌 李宝健 齐德昱 李建湘 陈启智 左卫兵 苏岐芳 徐扬 王国俊 陈宁 杨晓斌 王永丽 吴洪博 张诚一 斯特凡安德烈 丁志军 蔡文 李小薪

蕴涵置换 真度 液体火箭发动机 定理证明 逻辑推论 可拓性 可拓论 检测算法 逻辑度量 阿达玛矩阵 谓词逻辑 故障诊断 基本真值矩阵 代换定理 可达拟重言式 主合取范式 沃尔什系统 简单析取式 演绎判定 积分语义学 伪距离 等价置换 类类互异定理 存在量词 事元 相似度 ∑-广义拟重言式 上下文无关文法 简单合取式 广义重言式