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


万千教育.数理逻辑入门

简体网页||繁体网页

万千教育.数理逻辑入门 2024 pdf epub mobi 电子书 著者简介

作者简介

雷蒙德·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)等。

译者简介

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

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

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

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

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


万千教育.数理逻辑入门 电子书 图书目录




点击这里下载
    


想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-12-23

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

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

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



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


万千教育.数理逻辑入门 电子书 读后感

评分

正文开篇: 原文: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...

评分

正文开篇: 原文: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...

评分

正文开篇: 原文: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...

评分

正文开篇: 原文: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...

评分

正文开篇: 原文: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...

类似图书 点击查看全场最低价
出版者:中国轻工业出版社
作者:(美)雷蒙德·M.斯穆里安(Raymond M. Smullyan)
出品人:万千教育
页数:384
译者:刘新文
出版时间:2019-4-1
价格:68.00元
装帧:平装
isbn号码:9787518421831
丛书系列:

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


万千教育.数理逻辑入门 2024 pdf epub mobi 电子书 图书描述

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

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

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

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

万千教育.数理逻辑入门 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

万千教育.数理逻辑入门 2024 pdf epub mobi 用户评价

评分

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

评分

老套

评分

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

评分

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

评分

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

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


分享链接









相关图书




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

友情链接

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有