周勇 王建东 周冬平 徐洁磐 任凯 曹子宁

中介集合论 选择因子 优化 命题演算 数理逻辑 谓词演算 查询 集论

南京大学计算机系 南京大学计算机科学与 南京航空航天大学信息科学与技术学院 南京航空航天大学计算机科学与工程系 南京大学计算机软件新技术国家重点实验室