《应用逻辑（原书第2版）》- （美）尼罗德，（美）肖尔著，丁德成译 - 读书评论

正在读取登录信息...

图书详细信息推荐图书 | 最新书评

应用逻辑（原书第2版）

作者：（美）尼罗德，（美）肖尔著，丁德成译

出版社：机械工业出版社

出版日期：2007年07月

想读在读读过

内容简介

本书是介绍数理逻辑的基础教材，不仅覆盖了传统的基本内容(语法、语义、可靠性、完全性和紧致性)，而且很大一部分是讨论非传统的内容，诸如消解定理证明、逻辑式程序设计和非经典逻辑(模态逻辑和直觉主义逻辑)，而这些主题在现代计算机科学中变得越来越重要。
本书讲述的内容广泛，深入浅出，简明易懂，适合作为计算机科学系和数学系高年级本科生以及低年级研究生的教材。

发表书评

本书标签

自然科学数学高等数学

为此书添加标签：（多个标签用空格分隔）

图书购买信息

当当网（RMB 30.90）

请对此书作出评价

请您登录后为此书评分

目前还没有人对此书评分

同类图书推荐

新书快递

精准投资：管清友的投资思维课

作者：管清友

内容简介：投资是撬动人生的支点。

我们身处一个财富巨变的时代,选择永远比努力重要;