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

简体网页||繁体网页

☆☆☆☆☆

[英] John，Bell（J.贝尔）著

图书标签:

数理逻辑
逻辑学
数学逻辑
命题逻辑
谓词逻辑
集合论
模型论
证明论
逻辑哲学
形式系统

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到新城书站

book.cndgn.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

出版社：世界图书出版公司

ISBN：9787510086304

版次：1

商品编码：11666568

包装：平装

开本：16开

出版时间：2015-03-01

用纸：胶版纸

具体描述

内容简介

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

作者简介

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

前言/序言

用户评价

评分☆☆☆☆☆

京东上的东西我觉得非常好，我的所有东西都在京东上面买的，送货速度非常快，买了东西就知道什么时候来，我在京东买东西好多年了，京东的东西都是正品，售后服务特别好，我太喜欢了！这次买的东西还是一如继往的好，买了我就迫不及待的打开，确实很不错，我真是太喜欢了。在京东消费很多，都成钻石会员了，哈哈，以后还会买，所有的东西都在京东买，京东商城是生活首选！

评分☆☆☆☆☆

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

评分☆☆☆☆☆

亚里士多德以来的传统逻辑得到改革和完成，由此也得到了研究数学基本概念的合适工具。虽然这并不意味着1900年至1925年间的有关数学基础的争论已有了定论，但这“新”逻辑在很大程度上澄清了有关数学的哲学问题。

评分☆☆☆☆☆

不错的书

评分☆☆☆☆☆

勒文海姆-斯科伦定理。

评分☆☆☆☆☆

有效的一阶公式的集合是无限不可数（Uncountable Infinite）的。这一集合是“递归枚举的”，即不存在一图灵机（从而不存在任何现有计算机和算法）可以对某个非一阶公式的输入告诉你“这个输入一定不是一阶公式”——它可能一直运算下去。

评分☆☆☆☆☆

目次：预备知识；数学逻辑基础；一阶逻辑；一阶逻辑（连续的）；布尔代数；模理论；递归理论（连续的）；直觉一阶逻辑；公理集合论；非标准分析；一般索引；符号索引。