-
包邮应用逻辑与逻辑应用研究前沿译丛哥德尔不完全性定理
¥57.9(7.4折)定价:¥78.0本书介绍了哥德尔不接近性定理的各种证明及相关的塔斯基定理,包括纯抽象的不接近性定理,使用真概念的基于加、乘及幂运算的算术公理化的哥德尔不接近性定理及仅基于加与乘运算的哥德尔不接近性定理,哥德尔当初不使用真概念基于ω-一致性的不接近性证明,罗瑟的基于简单一致性的不接近性证明。本书还介绍了谢颇德森表示与分离定理、不动点定理、第二不接近性定理、与不接近性定理相关的一些逻辑谜题以及不接近性定理和模态逻辑的关联...
-
包邮数理逻辑入门/万千教育
¥50.0(7.4折)定价:¥68.0数理逻辑入门教材:作者是世界领衔的哥德尔不完全性定理研究专家,师承著名逻辑学家、数学家、理论计算机科学奠基人阿朗佐丘奇(Alonzo Church,19031995)。 数理逻辑普及之选:作者也是一位趣味谜题专家、魔术师、钢琴演奏家,著有多部谜题书, 擅长以讲故事的方式介绍深奥的数理逻辑。 作者学生作序推荐:作者学生、逻辑学家、计算机科学家、2012 年国际自动推理厄尔布朗杰出成就奖获得者梅尔文菲廷(Melvin Fitting,19
-
包邮爱丽丝奇境解谜记
¥30.9(7.7折)定价:¥39.9本书作者为世界逻辑学家、数学家、文学家和幽默大师,他模仿卡罗尔《爱丽丝漫游奇境》的风格,设计了88个思路奇特、独具匠心的逻辑谜题,以幽默的文字写出了一部振奋人心的科普作品。打开这本书,你会发现《爱丽丝漫游奇境》《爱丽丝镜中奇遇》中各个熟悉的人物在这里又欢聚一堂,他们鲜明的性格、清奇的脑回路和怪诞的行为不时让人捧腹大笑,而其中蕴含的智慧和逻辑知识一定会让你大开眼界、受益匪浅。 让我们打开这本书,尽情享受阅读的乐趣吧...
-
包邮亚拉山大的读心术(数学大师的逻辑课)
¥27.9(5.8折)定价:¥48.0亚历山大为了拯救公主,来到了一座骑士与无赖之岛,岛上的人要么只说真话,要么只说假话……作者编织出了一个由逻辑、集合、无穷等构成的奇妙世界。读者将陪伴亚历山大与公主,在巫师的帮助下,突破数学困境,提升逻辑思维能力...
-
包邮蒙特卡洛的密码锁(数学大师的逻辑课)
¥28.8(6折)定价:¥48.0这是一本内容奇特的趣味逻辑推理书。有的谜题看起来简单,却极容易被答错;有的谜题有多种解决方法,而最巧妙的方法往往不容易被发现;有的谜题顾左右而言他,只有经过缜密的思考才能够识破重重干扰,发现其中的奥妙;有些谜题环环相扣,如悬疑小说般引人入胜。本书启发人们从不同的角度思考问题,有助于培养逻辑推理能力...
-
包邮福尔摩斯的棋盘:关于国际象棋的推理题(数学大师的逻辑课)
¥23.4(6.2折)定价:¥38.0在本书中,斯穆里安模仿柯南·道尔的《福 尔摩斯探案集》的创作风格,以福尔摩斯与华生 的对话展开故事情节。全书围绕国际象棋中的一 种特殊规则——升变,运用逻辑推理进行回溯性 分析,从棋盘上最终的局面推演过程和开局…… 具有极强的推理性和趣味性。书中的故事层层展 开,但谜题都单独且完整,读者可方便地进行单 独推演...