欢迎光临中图网 请 | 注册
年中庆第三波!88元任选10本
>
关于“斯?M.斯”检索到   共5种现货商品
>
出版社:
确定 取消
售价:
---
  • 逻辑迷宫

    ¥51.8(7.2折)定价:¥72.0

    本书是一本趣味横生地讲述形式逻辑主题的故事书,融合了众多读者喜闻乐见的逻辑谜题,以一种独特的方式来普及数理逻从第一章到第十六章有大量的趣味谜题供读者思考,包括说谎和讲真话的逻辑、沉默的骑士和无赖等,循着本书生动活泼的语言,读者可以由浅入深地了解命题的真假和自指、推理的有效性、集合论语义学、无穷和保有效性以及形式系统的性质等逻辑学基础知识。同时,本书还提供了丰富的练习及答案,这些练习并不拘泥于符号的正确运用,而是重在让读者理解证明的构造

  • 数理逻辑入门/万千教育

    ¥51.0(7.5折)定价:¥68.0

    数理逻辑入门教材:作者是世界领衔的哥德尔不完全性定理研究专家,师承著名逻辑学家、数学家、理论计算机科学奠基人阿朗佐丘奇(Alonzo Church,19031995)。 数理逻辑普及之选:作者也是一位趣味谜题专家、魔术师、钢琴演奏家,著有多部谜题书, 擅长以讲故事的方式介绍深奥的数理逻辑。 作者学生作序推荐:作者学生、逻辑学家、计算机科学家、2012 年国际自动推理厄尔布朗杰出成就奖获得者梅尔文菲廷(Melvin Fitting,19

  • 应用逻辑与逻辑应用研究前沿译丛哥德尔不完全性定理

    ¥58.5(7.5折)定价:¥78.0

    本书介绍了哥德尔不接近性定理的各种证明及相关的塔斯基定理,包括纯抽象的不接近性定理,使用真概念的基于加、乘及幂运算的算术公理化的哥德尔不接近性定理及仅基于加与乘运算的哥德尔不接近性定理,哥德尔当初不使用真概念基于ω-一致性的不接近性证明,罗瑟的基于简单一致性的不接近性证明。本书还介绍了谢颇德森表示与分离定理、不动点定理、第二不接近性定理、与不接近性定理相关的一些逻辑谜题以及不接近性定理和模态逻辑的关联...

  • 自我构成:行动性、同一性与完整性

    ¥54.6(7折)定价:¥78.0

    本书是科尔斯戈德2008年的近期新著作,是在她2002年洛克讲座的系列演讲基础上完善而成的。在这本书中,科尔斯戈德论述行动的本质及其道德基础。利用柏拉图、亚里士多德和康德的资源,作者论证了人的行动的功能就是去构建行动性因而构建从事这一行动的人的身份。她把自己的关于实践理性原则的基础的论述建立在与理性主义和经验主义的相关理论的比照基础之上,发展了行动理论和人们之间的相互作用以及相互作用必须采取的形式的理论。全书共十章,包括:行动性和身份

  • 实在地看理由

    ¥51.0(7.5折)定价:¥68.0

    此书辩护了规范的认知主义,认为存在关于行动理由的不可还原的规范性事实。作者回应了常见的三个反驳:规范性事实有麻烦的形而上学后果;我们没有认识规范性事实的方法;理由无法驱动和解释行动。作者还为规范和非规范的主张之间的区别提供了一个新解释。此解释可以很好地说明理由的相对强度以及反思平衡方法...

五星书

编辑推荐

中图网
返回顶部