欢迎光临数学与信息科学学院!   

设为首页 | 加入收藏 | 联系我们 | 怀念旧版
您现在的位置: 首页 > 学术活动 > 正文
生活中的逻辑与数学证明中的逻辑

作者:  浏览:

讲座题目:生活中的逻辑与数学证明中的逻辑
讲座人: 杨义川 教授
讲座时间:8:30
讲座日期:2018-07-03
地点:陕西师范大学数学与信息科学学院学术交流厅

讲座人简介:杨义川,男,天水人,现为北航数学学院教授,北京市教学成果奖特等奖获得者,Soft Computing和《高等数学研究》等刊物编委,中国工业与应用数学学会常务理事。解决了Conrad-Dauns1969年提出的一个公开问题的广义问题,该成果的主要定理有欧洲学者以Y. C. Yang Theorem命名并加以推广;合作证明了M.Anderson 1989年的一个猜想;解决了Dumitrescu, Lequian, Mott, Zafrullah等四位数学家提出的一个公开问题;解决了Belluce1986年提出的一个公开问题;解决了任意域上定向序的存在性问题;建立了Quantum B代数,统一了非交换逻辑代数。

 
地址:西安市长安区西长安街620号       邮编:710119 
邮箱:maths@snnu.edu.cn 电话:029-85310232 传真:029-85310277 

陕西师范大学数学与信息科学学院