逻辑迷宫9787513347693
正版图书，可开发票，请放心购买。
￥ 39.59 5.5折 ￥ 72 全新
库存2件
广东广州
认证卖家担保交易快速发货售后保障
作者(美)雷蒙德·M.斯穆里安
出版社新星出版社
ISBN9787513347693
出版时间2023-01
装帧平装
开本16开
定价72元
货号31590862
上书时间2024-12-12
- 店主推荐
- 最新上架
商品详情
- 品相描述：全新
- 商品描述
-
导语摘要
著有《这本书叫什么？》等多部逻辑学畅销书；他的著作一直是多所学校逻辑学入门书目；本书曾被用作哈佛大学教科书使用；旨在回答什么是符号逻辑的问题。
斯穆里安的这本著作语言轻松，既可以作为科普读物，也能胜任逻辑教材；正如作者自己说的，它是搭在趣味的故事谜题和严格的符号演算之间的一座桥梁。
作者简介
作者简介雷蒙德·M.斯穆里安，世界有名数学家、逻辑学家、哲学家，同时还是钢琴演奏家和魔术师。他于1959年在普林斯顿大学获得哲学博士学位，先后任教于达特茅斯学院、普林斯顿大学、印第安纳大学、纽约城市大学雷曼学院等。斯穆里安著有《这本书叫什么？》等多部逻辑学畅销书，致力于传播逻辑学知识，他的著作一直是多所学校逻辑学入门书目。
目录
第一部分 明智地概括
第一章 说谎和讲真话的逻辑
第二章 男性还是女性？
第三章 沉默的骑士和无赖
第四章 发疯还是清醒？
第五章 困难重重！
第六章 统一化
第二部分 明智地符号化
第七章 命题逻辑初步
第八章 说谎者、诚实的人以及命题逻辑
第九章 善变的说谎者
第十章 逻辑联结词和善变的说谎者
第十一章 语义表方法
第十二章 所有和有些
第十三章 一阶逻辑初步
第三部分 无穷性
第十四章 无穷的本质
第十五章 数学归纳
第十六章 广义归纳、柯尼格引理与紧致性
第四部分 一阶逻辑的重要结论
第十七章 命题逻辑的重要结论
第十八章 一阶逻辑：完全性、紧致性和司寇伦-骆文海定理
第十九章 正则定理
第五部分 公理系统
第二十章 开始公理化
第二十一章 更多的命题公理系统
第二十二章 一阶逻辑的公理系统
第六部分 一阶逻辑深入
第二十三章 克雷格插值引理
第二十四章 罗宾逊定理
第二十五章 贝思可定义性定理
第二十六章 大一统
第二十七章 一阶逻辑展望
参考文献
名词索引
中英文名词对照 !
内容摘要
本书是一本趣味横生地讲述形式逻辑主题的故事书，融合了众多读者喜闻乐见的逻辑谜题，以一
种独特的方式来普及数理逻从第一章到第十六章有大量的趣味谜题供读者思考，包括说谎和讲真话的逻辑、沉默的骑士和无赖等，循着本书生动活泼的语言，读者可以由浅入深地了解命题的真假和自指、推理的有效性、集合论语义学、无穷和保有效性以及形式系统的性质等逻辑学基础知识。同时，本书还提供了丰富的练习及答案，这些练习并不拘泥于符号的正确运用，而是重在让读者理解证明的构造过程。本书既可以作为普通读者走入逻辑学大门的科普书，也可以作为大学本科和研究生的补充教材。
— 没有更多了 —
以下为对购买帮助不大的评价