应数学与统计学院邀请,3月31日上午,北京航空航天大学杨义川教授来我校二号报告厅做了题为“数学证明中的逻辑和生活中的逻辑”的学术报告,报告由数学与统计学院负责人主持。
报告会上,杨义川教授从数学和生活两个方面,围绕数学文化及李约瑟难题,分别详细介绍了逻辑与代数的相关知识以及逻辑的广泛应用。
杨义川教授还与数学与统计学院现场师生进行了亲切交流与讨论。通过本次报告会,同学们对自己的专业有了更加深刻的认识,开阔了大家的视野。
数学与统计学院相关专业教师及学生150余人聆听了此次报告会。
附:杨义川简介
杨义川,德国博士,北京航空航天大学教授。任SCI期刊《Soft Computing》编委,《高等数学研究》编委,中国教育学会教育数学专委会副秘书长,中国工业与应用数学学会常务理事,中国逻辑学会非经典逻辑与计算专委会常务委员,中国系统学会模糊数学与模糊系统专委会常务委员,教育部大学数学教学指导委员会委员。
主要研究方向为序代数、逻辑代数。主持或主持完成国家自然科学基金面上项目、教育部博士点基金、北京市自然科学基金面上项目、北京市优秀人才基金等多项科研项目。在国内外重要学术刊物发表专业论文四十多篇,解决或本质推进了国际数学家提出的系列长期未决的公开数学难题,有欧洲学者以其名字命名数学定理。先后获得第八届国家教学成果二等奖,第八届北京市教学成果特等奖,北京航空航天大学教学成果特等奖,优秀教学奖一等奖等多项奖励。