龚志伟 高德远 李清宝 刘玉珍 吴永辉 王雄 施伯乐 王清明 马光胜 王志海 陈廷槐 周傲英 叶静 王孝武 刘任任 周小强 曾宇昆 陈以农 张盛兵 樊晓桠 王日中 何骞 杨卫冬 于磊 郭毅 孙水裕

多值逻辑 最佳设计 迭代算法 阵列合并 路径 建模 排序策略 关系范式 规范化覆盖 逻辑函数 容错度 分析和设计 比较器 程序正确性证明 结点 化简的对象依赖 极值 多维体 功能测试 sheffer函数 微指令 传播 约束保持 关键字 函数依赖 微处理器 关系数据库 正则可离关系 多值逻辑 完备性

多值逻辑