內容簡介
數理邏輯是以公理繫統和數學證明為研究對像的數學分支,對信息科學與技術的發展具有指導作用。本書共分十章,繫統介紹數理邏輯的基本原理與形式演算。前五章涵蓋了經典數理邏輯的核心內容,包括一階語言的語法與模型,形式推理繫統,可計算性與可表示性,哥德爾定理。後五章的內容是作者的研究心得。這部分闡述了形式理論的版本序列及其極限,修正演算繫統,過程模式及其性質,以及歸納推理理論,提出了三個語言環境的思語言環境的基本原理,並描述了信息社會中科學研究的工作流程。
本書前五章可作為大學本科生的數理邏輯教材,而後五章可向有關專業的研究生講授,本書也可供數學、信息與技術和其他自然科學專業的本科生、研究生和有關科研人員參考。
本書前五章可作為大學本科生的數理邏輯教材,而後五章可向有關專業的研究生講授,本書也可供數學、信息與技術和其他自然科學專業的本科生、研究生和有關科研人員參考。