无锡市图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑:基本原理与形式演算/李未著

出版发行项:

北京:科学出版社,2008

ISBN及定价:

978-7-03-020096-9 精装/CNY58.00

载体形态项:

11,255页;25cm

丛编项:

信息科学与技术基础丛书

个人责任者:

李未 著

学科主题:

数理逻辑

中图法分类号:

O141

随书附盘:

提要文摘附注:

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

豆瓣简介：