徐敏 周勇 肖奚安 王前 朱剑英 宫宁生 徐利治 张东摩 张丽萍 顾红芳 白鹏 李斌 孙冰

科学 命题演算 近代公理集合论 特征选择 逻辑演算 数学本体论 现代文明 数学哲学 数学科学 广义粗集 文化 工程技术 中介谓词演算 语音识别 数理逻辑 中介命题演算 真值程度词 证明论 数学方法论 层次文档分类 粗集 存在量词 古典集合论 数学认识论 数学教育 集合论 情境演算 递归论 清晰化算符 谓词演算

南京大学数学系 南京航空航天大学计算机科学研究所 210093南京航空航天大学计算机科学研... 南京大学软件新技术国家重点实验室 空军气象学院 南京大学空军气象学院 扬州大学工学院计算机系 江苏南京