模型论基础 pdf epub mobi txt 电子书 下载 2025
王世强，数学家。从事代数和数理逻辑方面的教学与研究。在格论和泛代数、逻辑演算、格值模型论及模型论的代数应用等领域多有建树。1948年毕业北平师范大学数学系。建国后，历任北京师范大学副教授、教授。1985年加入中国共产党。专于数理逻辑和代数，倡导模型论的研究。从计算机科学、多值逻辑和模糊逻辑发展背景中提出格值模型论，并将模型论应用于代数方面，研究一些命题间的相对和谐性和独立性。“模型论与判定问题”的研究1986年获国家教委科技进步奖一等奖。
扩展阅读：http://baike.baidu.com/view/313388.htm
出版者:科学出版社
作者:王世强
出品人:
页数:241
译者:
出版时间:1987-8-1
价格:32.0
装帧:平装
isbn号码:9787030060006
丛书系列:
图书标签:
- 模型论
- 逻辑学
- 数理逻辑
- 数学
- 深井冰
- 元数学
- 一阶逻辑
下载链接在页面底部
本书介绍模型论的基础知识。主要内容有：紧致性定理，省略型定理，内播定理，完全理论与模型完全理论，初等键，越积，模型论力迫法，他和模型等．并附有模型论方法对经典数学应用的一些例子。
本书可供大学数学专业高年级学生及研究生、数学教师及数学工作者阅读．也可供其他专业有关数理逻辑及理论计算机科学方面的师生及科学工作者参考。
具体描述
读后感
评分
评分
评分
评分
评分
用户评价
评分
评分
评分
评分
评分
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有