点此进入淘宝搜索页搜索　　參考價格: 点此进入淘宝搜索页搜索
　　分類: 图书,科学与自然,数学,数理逻辑、数学基础,
　　品牌: 李未

基本信息·出版社：科学出版社

·页码：256 页

·出版日期：2008年

·ISBN：9787030200969

·条形码：9787030200969

·包装版本：2008年1月第1版

·装帧：精装

·开本：16开

产品信息有问题吗？请帮我们更新产品信息。

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

本书前五章可作为大学本科生的数理逻辑教材，而后五章可向有关专业的研究生讲授，本书也可供数学、信息与技术和其他自然科学专业的本科生、研究生和有关科研人员参考。

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

本书前五章可作为大学本科生的数理逻辑教材，而后五章可向有关专业的研究生讲授，本书也可供数学、信息与技术和其他自然科学专业的本科生、研究生和有关科研人员参考。

目录

《信息科学与技术基础丛书》序

序

符号对照表

第1章 一阶语言的语法

1.1 一阶语言的符号

1.2 项

……[看更多目录]

 

 

免责声明：本文为网络用户发布，其观点仅代表作者个人观点，与本站无关，本站仅提供信息存储服务。文中陈述内容未经本站证实，其真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。