李选民 彭少玉 夏铁成 张娇 许清海 赵文英 李缨 张丽丽 刘长安 程学汉 萧昌建 魏屹东 李先贤 怀进鹏 王保红 郭凯红 杜国祥

分布开放计算模型 同余关系 游离元 欧氏空间 拓扑空间 同构 等价关系 原子代数 么半群 乘法运算 格 布尔代数 二元布尔代数 单位元 关系 美 查询语言 立方Volterra格方程族 可逆元 可积耦合系统 自显真子系 运算律 数据模型 形式化方法 等价类 密码协议 抽象代数 有限状态机 整数集 代数结构