数理逻辑基本原理与形式演算
点此进入淘宝搜索页搜索 特别声明：本站仅为商品信息简介，并不出售商品，您可点击文中链接进入淘宝网搜索页搜索该商品，有任何问题请与具体淘宝商家联系。
参考价格: 点此进入淘宝搜索页搜索分类: 图书,科学与自然,数学,数理逻辑、数学基础,
品牌: 李未
基本信息·出版社：科学出版社
·页码：256 页
·出版日期：2008年
·ISBN：9787030200969
·条形码：9787030200969
·包装版本：2008年1月第1版
·装帧：精装
·开本：16开
产品信息有问题吗？请帮我们更新产品信息。
内容简介本书是信息科学与技术基础丛书之一。全书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究心得。这部分阐述了形式理论的版本序列及其极限，修正演算系统，过程模式及其性质，以及归纳推理理论，提出了三个语言环境的思想以及元语言环境的基本原理，并描述了信息社会中科学研究的工作流程。
本书前五章可作为大学本科生的数理逻辑教材，而后五章可向有关专业的研究生讲授，本书也可供数学、信息与技术和其他自然科学专业的本科生、研究生和有关科研人员参考。
编辑推荐本书是信息科学与技术基础丛书之一。全书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究心得。这部分阐述了形式理论的版本序列及其极限，修正演算系统，过程模式及其性质，以及归纳推理理论，提出了三个语言环境的思想以及元语言环境的基本原理，并描述了信息社会中科学研究的工作流程。
本书前五章可作为大学本科生的数理逻辑教材，而后五章可向有关专业的研究生讲授，本书也可供数学、信息与技术和其他自然科学专业的本科生、研究生和有关科研人员参考。
目录
《信息科学与技术基础丛书》序
序
符号对照表
第1章 一阶语言的语法
1.1 一阶语言的符号
1.2 项
……[看更多目录]