数理逻辑入门/万千教育
正版新书 新华官方库房直发 可开电子发票
￥ 46.24 6.8折 ￥ 68 全新
库存19件
作者（美）雷蒙德·M.斯穆里安（Raymond M. Smullyan）
出版社中国轻工业出版社
ISBN9787518421831
出版时间2018-08
版次1
装帧平装
开本其他
纸张胶版纸
页数384页
定价68元
货号SC:9787518421831
上书时间2024-12-23
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
作者简介:
刘新文，中国社会科学院哲学博士，中国社会科学院哲学所研究员、逻辑室主任，中国逻辑学会现代逻辑专业委员会主任，西南大学逻辑与智能研究中心兼职教授。主要研究兴趣为图式逻辑、模态逻辑、皮尔士逻辑与哲学等。已出版专著《图式逻辑》《谢弗函数研究》，合译译著《模态对应理论》《逻辑、语言和认知》等。
主编推荐:
数理逻辑入门教材：作者是世界领衔的哥德尔不接近性定理研究专家，师承有名逻辑学家、数学家、理论计算机科学奠基人阿朗佐?丘奇（Alonzo Church，1903—1995）。
数理逻辑普及之选：作者也是一位趣味谜题专家、魔术师、钢琴演奏家，著有多部谜题书，擅长以讲故事的方式介绍深奥的数理逻辑。
作者学生作序推荐：作者学生、逻辑学家、计算机科学家、2012 年“国际自动推理厄尔布朗杰出成就奖”获得者梅尔文?菲廷（Melvin Fitting，1942— ）特别为中文版作序推荐。
内容简介:
作为一位终生思考如何以优选的方式表达数理逻辑问题的学者，作者在本书中由浅入深地介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的基础知识；特别是以简单易懂的形式阐释了哥德尔不接近性定理，说明了由其本人发展的表列证明方法，并穿插大量习题，于每章末给出所有习题的答案，于结尾处附上术语对照表，使得本书非常适合作为数理逻辑入门教材。
除了学者的身份，作者还是一位趣味谜题专家，致力于面向普通读者写作，将深奥的思想以故事和谜题的形式讲述，这使得本书在介绍任何知识时都不设定专业基础，采取层层递进的方式，同时还有趣味十足的例子，适合作为数理逻辑普及读物。
本书译者还特别邀请作者的学生、美国逻辑学家与计算机科学家梅尔文·菲廷（Melvin Fitting）为中文版撰写了序言，其以简单的语言指出了数理逻辑的关键以及本书的核心所在，便于读者整体把握数理逻辑的基本问题。
目录:
第一部分 一般背景
第1章 起点
集合论
集合的布尔运算
文恩图
布尔方程
第2章 无穷集
无穷集的大小
康托尔的伟大发现
连续统问题
伯恩斯坦-施罗德定理
第3章 一些问题出现了！
悖论
超游戏
两种集合论系统
第4章 更多的背景
关系与函数
数学归纳
有穷后继原则
球类运动
柯尼希引理
有穷生成树
广义归纳
良基关系
紧致性
第二部分 命题逻辑
第5章 命题逻辑基础
重言式
...
— 没有更多了 —
以下为对购买帮助不大的评价