《数理逻辑》一书由李未所著,系统介绍数理逻辑的基本原理与形式演算。科学出版社出版发行

本页面主要目录有关于数理逻辑的:出版信息、内容简介等介绍

作者

李未

字数

36.4万字

页数

289 页

装帧

精装

开本

16 开

出版时间

2008年1月1日

出版机构

科学出版社

定价

58 元

ISBN

7030200969,9787030200969

出版信息

作者:李未

出版社: 科学出版社

出版年: 2008-1

页数: 255

定价: 58.00元

ISBN: 9787030200969

内容简介

《数理逻辑基本原理与形式演算》是信息科学与技术基础丛书之一。全书共分十章,系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容,包括一阶语言的语法与模型,形式推理系统,可计算性与可表示性,哥德尔定理。后五章的内容是作者的研究心得。这部分阐述了形式理论的版本序列及其极限,修正演算系统,过程模式及其性质,以及归纳推理理论,提出了三个语言环境的思想以及元语言环境的基本原理,并描述了信息社会中科学研究的工作流程。