预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格(不含优惠券部分),仅供参考,未必等同于实际到手价。
-
>
(精)清儒学案-九品(全10册)
-
>
素书
-
>
(精)周桂钿文集:秦汉思想研究(全7册)
-
>
海德格尔形式显示的实存哲学
-
>
毛泽东读书笔记解析.4:历史卷
-
>
中国学术名著丛书-杨树达:老子古义 周子古义
-
>
(精)斐多:柏拉图对话录(毛边本)
数理逻辑入门/万千教育 版权信息
- ISBN:9787518421831
- 条形码:9787518421831 ; 978-7-5184-2183-1
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>>
数理逻辑入门/万千教育 本书特色
作为一位终生思考如何以*好的方式表达数理逻辑问题的学者,作者在本书中由浅入深地介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的基础知识;特别是以简单易懂的形式阐释了哥德尔不完全性定理,说明了由其本人发展的表列证明方法,并穿插大量习题,于每章末给出所有习题的答案,于结尾处附上术语对照表,使得本书非常适合作为数理逻辑入门教材。 除了学者的身份,作者还是一位趣味谜题专家,致力于面向普通读者写作,将深奥的思想以故事和谜题的形式讲述,这使得本书在介绍任何知识时都不设定专业基础,采取层层递进的方式,同时还有趣味十足的例子,适合作为数理逻辑普及读物。 本书译者还特别邀请作者的学生、美国逻辑学家与计算机科学家梅尔文·菲廷(Melvin Fitting)为中文版撰写了序言,其以简单的语言指出了数理逻辑的关键以及本书的核心所在,便于读者整体把握数理逻辑的基本问题。
数理逻辑入门/万千教育 内容简介
数理逻辑入门教材:作者是世界领衔的哥德尔不完全性定理研究专家,师承著名逻辑学家、数学家、理论计算机科学奠基人阿朗佐•丘奇(Alonzo Church,1903—1995)。 数理逻辑普及之选:作者也是一位趣味谜题专家、魔术师、钢琴演奏家,著有多部谜题书, 擅长以讲故事的方式介绍深奥的数理逻辑。 作者学生作序推荐:作者学生、逻辑学家、计算机科学家、2012 年“国际自动推理厄尔布朗杰出成就奖”获得者梅尔文•菲廷(Melvin Fitting,1942— )特别为中文版作序推荐。
数理逻辑入门/万千教育 目录
数理逻辑入门/万千教育 作者简介
作者简介
雷蒙德·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)等。
译者简介作者简介
雷蒙德·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)等。
译者简介
刘新文 中国社会科学院哲学博士,中国社会科学院哲学所研究员。主要研究方向为图式逻辑、模态逻辑、皮尔士逻辑与哲学等。出版有专著《图式逻辑》《谢弗函数研究》《可能世界的名字》等。
张 瑜 北京大学哲学系逻辑学专业博士研究生。
荣华夏 中国社会科学院研究生院哲学系逻辑学专业硕士研究生。
闫佳亮 中国社会科学院研究生院哲学系逻辑学专业硕士研究生。
张立英 北京大学哲学博士,中央财经大学文化与传媒学院教授。主要研究方向为符号逻辑、哲学逻辑等。出版有专著《概称句推理研究》等。
- >
我与地坛
我与地坛
¥16.8¥28.0 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥15.9¥49.8 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥6.1¥19.0 - >
中国人在乌苏里边疆区:历史与人类学概述
中国人在乌苏里边疆区:历史与人类学概述
¥24.0¥48.0 - >
巴金-再思录
巴金-再思录
¥19.8¥46.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥40.6¥58.0 - >
山海经
山海经
¥13.6¥68.0
-
简单的逻辑学:逻辑学入门很简单
¥18.4¥36 -
中西文化回眸
¥22.7¥59.8 -
简单的逻辑学
¥14.7¥29.9 -
逻辑学十五讲-(第二版)
¥37.8¥59 -
李卓吾.两种阳明学-沟口雄三著作集
¥24¥49 -
小逻辑
¥31.5¥42