扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
(精)清儒学案-九品(全10册)
-
>
素书
-
>
(精)周桂钿文集:秦汉思想研究(全7册)
-
>
海德格尔形式显示的实存哲学
-
>
毛泽东读书笔记解析.4:历史卷
-
>
中国学术名著丛书-杨树达:老子古义 周子古义
-
>
(精)斐多:柏拉图对话录(毛边本)
逻辑迷宫 版权信息
- ISBN：9787513347693
- 条形码：9787513347693 ; 978-7-5133-4769-3
- 装帧：平装-胶订
- 册数：暂无
- 重量：暂无
- 所属分类：>>
逻辑迷宫 本书特色
本书是一本趣味横生地讲述形式逻辑主题的故事书，融合了众多读者喜闻乐见的逻辑谜题，以一种独特的方式来普及数理逻辑。从**章到第十六章有大量的趣味谜题供读者思考，包括说谎和讲真话的逻辑、沉默的骑士和无赖等，循着本书生动活泼的语言，读者可以由浅入深地了解命题的真假和自指、推理的有效性、集合论语义学、无穷和保有效性以及形式系统的性质等逻辑学基础知识。同时，本书还提供了丰富的练习及答案，这些练习并不拘泥于符号的正确运用，而是重在让读者理解证明的构造过程。本书既可以作为普通读者走入逻辑学大门的科普书，也可以作为大学本科和研究生的补充教材。
逻辑迷宫 内容简介
本书是一本趣味横生地讲述形式逻辑主题的故事书，融合了众多读者喜闻乐见的逻辑谜题，以一种独特的方式来普及数理逻从**章到第十六章有大量的趣味谜题供读者思考，包括说谎和讲真话的逻辑、沉默的骑士和无赖等，循着本书生动活泼的语言，读者可以由浅入深地了解命题的真假和自指、推理的有效性、集合论语义学、无穷和保有效性以及形式系统的性质等逻辑学基础知识。同时，本书还提供了丰富的练习及答案，这些练习并不拘泥于符号的正确运用，而是重在让读者理解证明的构造过程。本书既可以作为普通读者走入逻辑学大门的科普书，也可以作为大学本科和研究生的补充教材。
逻辑迷宫 目录
**部分 明智地概括
**章 说谎和讲真话的逻辑
第二章 男性还是女性？
第三章 沉默的骑士和无赖
第四章 发疯还是清醒？
第五章 困难重重！
第六章 统一化 第二部分 明智地符号化
第七章 命题逻辑初步
第八章 说谎者、诚实的人以及命题逻辑
第九章 善变的说谎者
第十章 逻辑联结词和善变的说谎者
第十一章 语义表方法
第十二章 所有和有些
第十三章 一阶逻辑初步 第三部分 无穷性
第十四章 无穷的本质
第十五章 数学归纳
第十六章 广义归纳、柯尼格引理与紧致性
第四部分 一阶逻辑的重要结论
第十七章 命题逻辑的重要结论
第十八章 一阶逻辑：完全性、紧致性和司寇伦-骆文海定理
第十九章 正则定理
第五部分 公理系统
第二十章 开始公理化
第二十一章 更多的命题公理系统
第二十二章 一阶逻辑的公理系统
第六部分 一阶逻辑深入
第二十三章 克雷格插值引理
第二十四章 罗宾逊定理
第二十五章 贝思可定义性定理
第二十六章 大一统
第二十七章 一阶逻辑展望
参考文献
名词索引
中英文名词对照 !
**章 说谎和讲真话的逻辑
第二章 男性还是女性？
第三章 沉默的骑士和无赖
第四章 发疯还是清醒？
第五章 困难重重！
第六章 统一化 第二部分 明智地符号化
第七章 命题逻辑初步
第八章 说谎者、诚实的人以及命题逻辑
第九章 善变的说谎者
第十章 逻辑联结词和善变的说谎者
第十一章 语义表方法
第十二章 所有和有些
第十三章 一阶逻辑初步 第三部分 无穷性
第十四章 无穷的本质
第十五章 数学归纳
第十六章 广义归纳、柯尼格引理与紧致性
第四部分 一阶逻辑的重要结论
第十七章 命题逻辑的重要结论
第十八章 一阶逻辑：完全性、紧致性和司寇伦-骆文海定理
第十九章 正则定理
第五部分 公理系统
第二十章 开始公理化
第二十一章 更多的命题公理系统
第二十二章 一阶逻辑的公理系统
第六部分 一阶逻辑深入
第二十三章 克雷格插值引理
第二十四章 罗宾逊定理
第二十五章 贝思可定义性定理
第二十六章 大一统
第二十七章 一阶逻辑展望
参考文献
名词索引
中英文名词对照 !
展开全部
逻辑迷宫 作者简介
雷蒙德·M.斯穆里安，世界著名数学家、逻辑学家、哲学家，同时还是钢琴演奏家和魔术师。他于1959年在普林斯顿大学获得哲学博士学位，先后任教于达特茅斯学院、普林斯顿大学、印第安纳大学、纽约城市大学雷曼学院等。斯穆里安著有《这本书叫什么？》等多部逻辑学畅销书，致力于传播逻辑学知识，他的著作一直是多所学校逻辑学入门书目。
书友推荐
- >
月亮虎
月亮虎
¥17.8¥48.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
史学评论
史学评论
¥13.9¥42.0 - >
有舍有得是人生
有舍有得是人生
¥31.5¥45.0 - >
烟与镜
烟与镜
¥20.6¥48.0 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥6.1¥19.0 - >
推拿
推拿
¥12.2¥32.0 - >
自卑与超越
自卑与超越
¥13.5¥39.8
本类畅销
-
简单的逻辑学:逻辑学入门很简单
¥18.4¥36 -
中西文化回眸
¥22.7¥59.8 -
简单的逻辑学
¥14.7¥29.9 -
逻辑学十五讲-(第二版)
¥37.8¥59 -
李卓吾.两种阳明学-沟口雄三著作集
¥24¥49 -
小逻辑
¥31.5¥42
