报告会预告――前陕师大校长谈“否定与进步“

发布时间：2007-10-10　作者：　出处：　浏览：262次

报告会主题：否定与进步

主讲人： 陕师大前校长－王国俊

举办时间：2007-10-13号早上九点

举办地点：国际交流中心207会议室

主讲人简介

      

   王国俊  ：男，1935年生于北京，1958年毕业于陕西师范大学数学系。陕西师范大学数学与信息科学学院教授，1986年国评博士生导师，数学研究所所长，国家有突出贡献的专家。陕西省数学会名誉理事长，陕西教育对外交流协会副会长，西安交通大学基础科学研究中心常务副主任，中国计算机学会多值逻辑专委会顾问。美国《不确定性数学学会》副理事长。现任《工程数学学报》副主编，《模糊系统与数学》顾问，以及包括《Journal of New Mathematics and Natural Computation》等多种学术刊物的编委。 

 　　学术交流方面：曾赴美国加州大学、麻州大学、佛州大学、日本明治大学、筑波大学、大阪电器通信大学、韩国延世大学、现代科学技术研究院、德国达姆施特大学、比利时安特卫朴大学和台湾大学、辅仁大学等30余所大学访问和讲学。

　　获奖方面：曾获曾宪梓教师奖壹等奖和陕西省科技进步壹等奖等各种科技奖励十余项，1990年被国家科委和国家教委评为全国高校先进科技工作者，2000年获美国ISI经典引文奖。

　　部分著作：L-fuzzy拓扑空间论，陕西师范大学出版社，1988。
　　　　　　　非经典数理逻辑与近似推理，科学出版社，2000，2003。
　　　　　　　数理逻辑引论与归结原理，科学出版社，2003,2006(第二版)。
　　　　　　　词语计算与Fuzzy集，高等教育出版社，2005。
　　部分论文：广义拓扑分子格，《中国科学》（A），1983,第12期。
　　　　　　　A new fuzzy compactness defined by fuzzy nets,JMAA,1983.94（1），1-23.(SCI)
　　　　　　　内蕴拓扑与Huitton单位区间的细致化，《中国科学》（A），1992，第7期。
　　　　　　　模糊推理的全蕴涵三I 算法， 《中国科学》（E），1999，第1期。
　　　　　　　二值命题逻辑中命题的真度理论， 《中国科学》（A），2001，第1期。
　　　　　　　逻辑度量空间，数学学报，2001，第1期。
　　　　　　　完备格中的成分理论及其应用，数学学报，2001，第5期。
　　　　　　　On the logic foundation of fuzzy reasoning, Information Sciences, 117,(1),47-88. （SCI）
　　　　　　　命题演算系统L*和谓词演算系统K*中统一的近似推理理论，
　　　　　　　《中国科学》（E），2004，第10期。
　　　　　　　紧Hausdorff测度空间上的Riemann 积分理论，数学学报，2004，6。
　　　　　　　平移空间上的线性结构，数学学报，2005，第1期。
　　　　　　　Consistency degrees of finite theories in Lukasiewicz propositional logic,
　　　　　　　Fuzzy Sets and Systems, 2005,149(3),275-284. (SCI)
　　　　　　　Consistency degrees of finite theories in Lukasiewicz propositional fuzzy logic.
　　　　　　　Fuzzy Sets and Systems, 2005,149(2),275---284. (SCI)
　　　　　　　Unified forms of Triple I method. Computers & Mathematics with Applications, 2005,49(6),923---932. (SCI)
　　　　　　　Conic functions on metric spaces and their application. Applied Mathematics Letters ,2005,18,451---454. (SCI)
　　　　　　　. Lukasiewicz n 值命题逻辑中公式的真度理论和极限定理. 《中国科学》 ，E辑，2005，35（6），561---569。
　　　　　　　Consistency degrees of theories in some systems of propositional fuzzy logic. Fuzzy Sets and Systems, 2005,152(3),321---331 (SCI )
　　　　　　　. Comparison of deduction theorems in diverse logic systems. New Mathematics and Natural Computation,2005,1 (1),65---77.

　　　　　　　A topological characterization of consistency of logic theories in propositional logic. Mathematical Logic Quarterly,2006,52(5):470-477.
　　　　　　　命题逻辑中的程度化方法. 电子学报，2006，34（2）：252－257.
　　　　　　　计量逻辑学(I). 工程数学学报, 2006，23（2）：191－215
　　　　　　　逻辑系统Ln*中命题的真度理论. 中国科学, E, 2006,36(6):631-642.
　　　　　　　A new theory consistency index based on deduction theorems in several logic systems.Fuzzy Sets and Systems,2006,157(3):427-443.
　　　　　　　Consistency degrees of theories and methods of graded reasoning in n-valued Ro-logic(NM-logic).International Journal of Approximate Reasoning,2006,43(2):117-132.
　　　　　　　An intrinsic fuzzy set on the universe of discourse of predicate formulas.Fuzzy sets and Systems,2006,157(24):3145-3158.
　　　　　　　A note on implicators based on binary aggregation operators in interval-valued fuzzyset theory.Fuzzy Sets and Systems,2006,157(24):3231-3236.

打印本文