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

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

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

中国轻工业出版社

万千教育

刘新文译者

2019-4-1 出版日期

384 页数

68.00元价格

平装

丛书系列

9787518421831 图书编码

万千教育.数理逻辑入门在线电子书图书标签: 数理逻辑数理哲学

喜欢万千教育.数理逻辑入门在线电子书的读者还喜欢

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

下载链接在页面底部

点击这里下载

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-12-23

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

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

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

万千教育.数理逻辑入门在线电子书用户评价

评分☆☆☆☆☆

世界闻名的哥德尔不完全性定理研究学者、趣味逻辑谜题专家写就的数理逻辑普及之作。

评分☆☆☆☆☆

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

评分☆☆☆☆☆

老套

评分☆☆☆☆☆

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

评分☆☆☆☆☆

世界闻名的哥德尔不完全性定理研究学者、趣味逻辑谜题专家写就的数理逻辑普及之作。

万千教育.数理逻辑入门在线电子书著者简介

作者简介

雷蒙德·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 下载 txt下载 epub 下载 mobi 在线电子书下载

万千教育.数理逻辑入门在线电子书图书描述

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

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

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

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

想要找书就要到图书目录大全

book.wenda123.org

立刻按 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...

评分☆☆☆☆☆