出版日期：2008年01月
ISBN：9787030200969
[十位：7030200969]
页数：255
定价：￥58.00
店铺售价：￥23.20
（为您节省：￥34.80）
店铺库存：1
本
正在处理购买信息，请稍候……
我要买：
本
* 如何购买
联系店主：
18851894494
-
100分
满分
确认收货后30天未评价，系统默认好评！
[2024-02-16 17:55:04]
小*
天津市
-
100分
满分
买家很懒，没有填写任何评论！
[2020-05-06 17:56:57]
马**
信阳市
《数理逻辑(基本原理与形式演算)(精)/信息科学与技术基础丛书》内容提要：
数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究心得。这部分阐述了形式理论的版本序列及其极限，修正演算系统，过程模式及其性质，以及归纳推理理论，提出了三个语言环境的思想以及元语言环境的基本原理，并描述了信息社会中科学研究的工作流程。
本书前五章可作为大学本科生的数理逻辑教材，而后五章可向有关专业的研究生讲授，本书也可供数学、信息与技术和其他自然科学专业的本科生、研究生和有关科研人员参考。
《数理逻辑(基本原理与形式演算)(精)/信息科学与技术基础丛书》图书目录：
《信息科学与技术基础丛书》序
序
符号对照表
第1章 一阶语言的语法
1.1 一阶语言的符号
1.2 项
1.3 逻辑公式
1.4 自由变元与替换
1.5 公式的哥德尔项
1.6 结构归纳证明
第2章 一阶语言的模型
2.1 论域与解释
2.2 赋值与模型
2.3 项的语义
2.4 逻辑连接词符号的语义
2.5 公式的语义
2.6 可满足性和永真性
...... 更多