题  目：数学证明中的逻辑和生活中的逻辑

主讲人：杨义川 教授 博士

时  间：2019年3月31日

地  点：二号报告厅

报告人简介：杨义川，德国博士，北京航空航天大学教授。任SCI期刊《Soft Computing》编委，《高等数学研究》编委，中国教育学会教育数学专委会副秘书长，中国工业与应用数学学会常务理事，中国逻辑学会非经典逻辑与计算专委会常务委员，中国系统学会模糊数学与模糊系统专委会常务委员，教育部大学数学教学指导委员会委员。

主要研究方向为序代数、逻辑代数。主持或主持完成国家自然科学基金面上项目、教育部博士点基金、北京市自然科学基金面上项目、北京市优秀人才基金等多项科研项目。在国内外重要学术刊物发表专业论文四十多篇，解决或本质推进了国际数学家提出的系列长期未决的公开数学难题，有欧洲学者以其名字命名数学定理。先后获得第八届国家教学成果二等奖，第八届北京市教学成果特等奖，北京航空航天大学教学成果特等奖，优秀教学奖一等奖等多项奖励。