图书类别

  点击此处订阅版权书讯

  • 欢迎关注ANA微信账号
  • 轻松掌握最新版权资讯
作者介绍
  • 《数理逻辑是什么?(第二版)》
  • WHAT IS MATHEMATICAL LOGIC? Second Edition
  • 图书类型:科普
  • 者:Guillermo Badia, John N. Crossley, John C. Stillwell
  • 出 版 社:Oxford University Press
    代理公司:ANA/Jessica Wu
    页    数:160页
    出版时间:2025年12月
    代理地区:中国大陆、台湾
    审读资料:暂无(可先登记兴趣)
  • 人:Rights      浏览次数:12          视频资料

内容简介

数理逻辑已经从数学的一个独特分支,发展成为计算机科学以及数学其他部分不可或缺的工具。这本书以简洁明晰,生动易懂的,介绍了数理逻辑这一主题——尽管逻辑可能是一个非常深奥的问题,即使对数学家来说也是如此。

《数理逻辑是什么?》一书最初出版于50年前,介绍了现代数理逻辑中的关键思想,而不涉及专业逻辑学家所进行的复杂数学计算。书中以轻松愉快的风格,简洁地介绍了相关内容。尽管这本书相对简短,但囊括了所有基本知识。新版本的书中增加了三个新章节,涵盖了自动定理证明、超越传统一阶逻辑的逻辑以及其他逻辑,包括直觉逻辑、自由逻辑和模态逻辑。

对于计算机科...
展开

媒体评论

相关资料

卖点:

 用简洁明了,清晰易懂的方式介绍一个复杂的问题。
 聚焦于现代数理逻辑中最关键的问题。
 包含进一步阅读的相关建议,推荐内容与时俱进。

本版更新:
 首版在50年前出版,现重新修订。
 在原版上改进扩充内容,增加全新章节以介绍领域内前沿进展。

版权状态

获奖信息