O000417 数理逻辑概貌
莫绍揆著。 科学技术文献出版社1989年3月版。3．5万字。 科普读物。扼要介绍数理逻辑的基础知识。在逻辑演算部分介绍真值联结词与量词的公理系统、自然推理系统。在集合论中介绍集合论悖论的产生和当初解决悖论的各种尝试。 在递归论中除介绍各种重要的递归函数外，著重说明各种推广的重要应用。在证明中介绍了数学基础方面的各个派别以及不完全性定理。 在模型论中除介绍一些重要的定理外，著重介绍了非标准模型的出现。本书收入“数学概貌丛书”，该丛书其他各册及作者分别为：《统计学概貌》，陈希孺著；《常微分方程概貌》，秦元勋著，《微积分方程概貌》，谷超豪著；《微积分大意》，徐利治著；《复变函数概貌》，龚升等著；《数论概貌》，陈景润著；《抽象代数概貌》，曹锡华著；《概率论概貌》，王寿仁著。共9册，自1989年3月至1991年5月陆续出版。 |