數理邏輯

:李未

版社: 科版社

版: -

頁數: 255

定價: 58.00元

ISBN: 9787030200969

《數理邏輯基本原理與形式演算》是信息科學與技術基礎叢書之一。全書共分十章，系統介紹數理邏輯的基本原理與形式演算。前五章涵蓋了經典數理邏輯的核心內容，包括一階語言的語法與模型，形式推理系統，可計算性與可表示性，哥德爾定理。后五章的內容是作者的研究心得。這部分闡述了形式理論的版本序列及其極限，修正演算系統，過程模式及其性質，以及歸納推理理論，提出了三個語言環境的思想以及元語言環境的基本原理，並描述了信息社會中科學研究的工作流程。