又名: Logic for Applications
作者: （美）尼罗德
作者: （美）尼罗德
ISBN: 9787111197720
页数: 456
定价: 49.0
出版社: 机械工业出版社
装帧: 平装
出版年: 2006-9-1
页数: 456
定价: 49.0
出版社: 机械工业出版社
装帧: 平装
出版年: 2006-9-1
简介 · · · · · ·
这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。虽然本书覆盖了所有传统的逻辑主题，但是书中大部分讨论的是其他主题，诸如消解定理证明、逻辑式程序设计和非经典逻辑，而这些主题在现代计算机科学中变得越来越重要。另外，本书还系统介绍了集合论基础知识，并对该主题提供了历史综述。
本书不要求读者具备逻辑基础知识，适合计算机科学和数学高年级本科生以及低年级研究生使用。
本书不要求读者具备逻辑基础知识，适合计算机科学和数学高年级本科生以及低年级研究生使用。
作者简介 · · · · · ·
Anil Nerode 康奈大学数学系的创始人和教授，于1956年在芝加哥大学获得博士学位。他的研究领域包括数理逻辑、自动机、可计算理论、混合系统等。除本书外，他还与其他人合著了《Effective Completeness Theorems for Modal Logic》、《Tableaux for Constructive Concurrent Dynamic Logic》、《Logic，Categories，Lambda Calculus》等书。
喜欢读"应用逻辑（英文版·第2版）"的人也喜欢 · · · · · ·
书评 · · · · · ·
热门评论
最新评论
我来评论这本书
很好 如果适合你的胃口
-
- wealk(读书) 说实话 这书不适合我的胃口。逻辑本来是想作为数学的基础， 而后来发展成为数学的一个分支。数学家，逻辑学家把逻辑当做数学对象研究 用数学方法来研究逻辑系统的性质 当然这是从19世纪末 20世纪初开始的 正如某人说的那样，一门科学有了数学的加入 才成为科学 逻辑也一样 从亚里士多德的 形而上学 中升华出来形成的数理逻辑...... (1回应)2009-03-25
第一个在"应用逻辑（英文版·第2版）"的论坛里发言
在哪儿买这本书? · · · · · ·
以下豆列推荐 · · · · · · (全部)
- 计算机系学生的数学书架 (网络流)
- 【计算机科学课程设置】 (小李飞刀)
- Wanted & Prior (鼬)
- 数理逻辑 (ChenO)
- 梦幻中的数学 (Hamo)
谁读这本书?
订阅关于应用逻辑（英文版·第2版）的评论:
feed: rss 2.0