王世强,数学家。从事代数和数理逻辑方面的教学与研究。在格论和泛代数、逻辑演算、格值模型论及模型论的代数应用等领域多有建树。1948年毕业北平师范大学数学系。建国后,历任北京师范大学副教授、教授。1985年加入中国共产党。专于数理逻辑和代数,倡导模型论的研究。从计算机科学、多值逻辑和模糊逻辑发展背景中提出格值模型论,并将模型论应用于代数方面,研究一些命题间的相对和谐性和独立性。“模型论与判定问题”的研究1986年获国家教委科技进步奖一等奖。
扩展阅读:http://baike.baidu.com/view/313388.htm
发表于2024-11-14
模型论基础 2024 pdf epub mobi 电子书
图书标签: 模型论 逻辑学 数理逻辑 数学 深井冰 元数学 一阶逻辑
本书介绍模型论的基础知识。主要内容有:紧致性定理,省略型定理,内播定理,完全理论与模型完全理论,初等键,越积,模型论力迫法,他和模型等.并附有模型论方法对经典数学应用的一些例子。
本书可供大学数学专业高年级学生及研究生、数学教师及数学工作者阅读.也可供其他专业有关数理逻辑及理论计算机科学方面的师生及科学工作者参考。
模型论基础 2024 pdf epub mobi 电子书