内容简介
《数理逻辑基本原理与形式演算》是信息科学与技术基础丛书之一。全书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究心得。这部分阐述了形式理论的版本序列及其极限，修正演算系统，过程模式及其性质，以及归纳推理理论，提出了三个语言环境的思想以及元语言环境的基本原理，并描述了信息社会中科学研究的工作流程。
作者简介
李未，中国科学院院士，北京航空航天大学原校长，1966年毕业于北京大学数学与力学系，1983年在英国爱丁堡大学计算机科学系获博士学位
数理逻辑是2008年由科学出版社出版,作者李未。
得书感谢您对《数理逻辑》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
