万千教育.数理逻辑入门 pdf epub mobi txt 电子书下载 2024

☆☆☆☆☆
简体网页||繁体网页

（美）雷蒙德·M.斯穆里安（Raymond M. Smullyan）

中国轻工业出版社

万千教育

刘新文

2019-4-1

384

68.00元

平装

9787518421831

图书标签: 数理逻辑数理哲学

喜欢万千教育.数理逻辑入门的读者还喜欢

万物皆数 pdf epub mobi txt 电子书下载

下载链接在页面底部

点击这里下载

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

想要找书就要到小哈图书下载中心

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-12-26

万千教育.数理逻辑入门 epub 下载 mobi 下载 pdf 下载 txt 电子书下载 2024

万千教育.数理逻辑入门 pdf epub mobi txt 电子书下载 2024

图书描述

作为一位终生思考如何以最好的方式表达数理逻辑问题的学者，作者在本书中由浅入深地介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的基础知识；特别是以简单易懂的形式阐释了哥德尔不完全性定理，说明了由其本人发展的表列证明方法，并穿插大量习题，于每章末给出所有习题的答案，于结尾处附上术语对照表，使得本书非常适合作为数理逻辑入门教材。

除了学者的身份，作者还是一位趣味谜题专家，致力于面向普通读者写作，将深奥的思想以故事和谜题的形式讲述，这使得本书在介绍任何知识时都不设定专业基础，采取层层递进的方式，同时还有趣味十足的例子，适合作为数理逻辑普及读物。

本书译者还特别邀请作者的学生、美国逻辑学家与计算机科学家梅尔文·菲廷（Melvin　Fitting）为中文版撰写了序言，其以简单的语言指出了数理逻辑的关键以及本书的核心所在，便于读者整体把握数理逻辑的基本问题。

万千教育.数理逻辑入门下载 mobi epub pdf txt 电子书

著者简介

作者简介

雷蒙德·M.斯穆里安（Raymond M. Smullyan，1919—2017）　世界著名逻辑学家、数学家，也是一位职业钢琴演奏家和职业魔术师。1959年于普林斯顿大学获得哲学博士学位。先后任教于达特茅斯学院、普林斯顿大学、印第安纳大学、纽约城市大学雷曼学院等。

哥德尔不完全性定理研究专家，系统地发展了表列证明方法，并致力于向普通读者普及数理逻辑。著有30余部著作，包括数理逻辑专业著作以及趣味逻辑谜题书，如《形式系统的理论》（Theory of Formal Systems，1961）、《一阶逻辑》（First-Order Logic，1968）、《哥德尔不完全性定理》（Gödel’s Incompleteness　Theorems，1992）、《元数学的递归论》（Recursion　Theory for Metamathematics，1993）、《对角化和自指》（Diagonalization and Self-Reference，1994）、《这本书叫什么？》（What Is the Name of This Book?，1978）、《逻辑迷宫》（Logical Labyrinths，2009）、《哥德尔谜题书》（The Gödelian Puzzle Book，2013）等。

译者简介

刘新文中国社会科学院哲学博士，中国社会科学院哲学所研究员。主要研究方向为图式逻辑、模态逻辑、皮尔士逻辑与哲学等。出版有专著《图式逻辑》《谢弗函数研究》《可能世界的名字》等。

张瑜　北京大学哲学系逻辑学专业博士研究生。

荣华夏　中国社会科学院研究生院哲学系逻辑学专业硕士研究生。

闫佳亮　中国社会科学院研究生院哲学系逻辑学专业硕士研究生。

张立英　北京大学哲学博士，中央财经大学文化与传媒学院教授。主要研究方向为符号逻辑、哲学逻辑等。出版有专著《概称句推理研究》等。

图书目录

万千教育.数理逻辑入门 pdf epub mobi txt 电子书下载

想要找书就要到小哈图书下载中心

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

用户评价

评分☆☆☆☆☆

老套

评分☆☆☆☆☆

老套

评分☆☆☆☆☆

一星给翻译。除了纯粹英文理解上错误，逻辑上的错误也不少。把书给毁了。

评分☆☆☆☆☆

老套

评分☆☆☆☆☆

一星给翻译。除了纯粹英文理解上错误，逻辑上的错误也不少。把书给毁了。

读后感

评分☆☆☆☆☆

正文开篇：原文：sixty men can do a piece of work sixty times as quickly as one man 此版本翻译：60个人可以像一个人一样快的完成一项工作60次百度机翻：六十个人做一件工作的速度是一个人的六十倍翻过几页：原文：the only way that P can fail to hold for all eleme...

评分☆☆☆☆☆