数理逻辑教程

数理逻辑教程 pdf epub mobi txt 电子书 下载 2025

[英] John,Bell(J.贝尔) 著
承接 住宅 自建房 室内改造 装修设计 免费咨询 QQ:624617358 一级注册建筑师 亲自为您回答、经验丰富,价格亲民。无论项目大小,都全力服务。期待合作,欢迎咨询!QQ:624617358
想要找书就要到 图书大百科
立刻按 ctrl+D收藏本页
你会得到大惊喜!!
出版社: 世界图书出版公司
ISBN:9787510086304
版次:1
商品编码:11666568
包装:平装
开本:16开
出版时间:2015-03-01
用纸:胶版纸

具体描述

内容简介

  这是一部学习数学逻辑和基础的研究生或者高年级本科生教程,不需要任何有关逻辑的预备知识,是学习数学逻辑的最综合全面的教材,包括了许多练习及解答提示,构成了本书的必不可少的一部分,非常适于自学。每一章分成许多小节,一些特别的小节和问题用星号强调,这并不是要表示这些部分难度加大,而是这些地方很容易被疏漏,所以阅读的时候需要格外留意。
  目次:预备知识;数学逻辑基础;一阶逻辑;一阶逻辑(连续的);布尔代数;模理论;递归理论(连续的);直觉一阶逻辑;公理集合论;非标准分析;一般索引;符号索引。
  读者对象:数学专业、数理逻辑、模型理论感兴趣的高年级本科生、研究生和相关的科研人员。

作者简介

  John Bell(贝尔),是国际知名学者,在数学和物理学界享有盛誉。本书凝聚了作者多年科研和教学成果,适用于科研工作者、高校教师和研究生。

前言/序言



用户评价

评分

保罗·约瑟夫·科恩(Paul Cohen)在1963年证明的连续统假设的独立性。

评分

传统的逻辑研究(参见逻辑论题列表)较偏重于“论证的形式”,而当代数理逻辑的态度也许可以被总结为对于内容的组合研究。它同时包括“语法”(例如,从一形式语言把一个文字串传送给一编译器程序,从而转写为机器指令)和“语义”(在模型论中构造特定模型或全部模型的集合)。

评分

好书,经典必读。

评分

“数理逻辑”的名称由皮亚诺首先给出,他又称其为符号逻辑。数理逻辑在本质上依然是亚里士多德的逻辑学,但从记号学的观点来讲,它是用抽象代数来记述的。

评分

计算机科学在自动验证和自动寻找证明等技巧方面的成果对逻辑研究做出了贡献,比如说自动定理证明和逻辑编程。

评分

很好的书,内容详细,包装也不错。快递也很给力。

评分

数学专业的英文书籍,需要有一定的英文知识,不过能知道这样书籍的英文肯定没问题

评分

质量不错

评分

挺好的,值得拥有

相关图书

本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

© 2025 book.qciss.net All Rights Reserved. 图书大百科 版权所有