内容简介 · · · · · ·
这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演译作为计算机的一种形的概念。虽然本书覆盖了所有传统的逻辑主题（语法，语义，完备性和紧致性），但是书中大部分讨论的是其他主题，诸如消定理证明，逻辑式程序设计非经典逻辑（模态逻辑和直觉主义逻辑），而这些主题在现代计算机科学中变得越来越理要。另外，本书还系统介绍了集合论基础知识，并对该主题提供了历史综述。
丛书信息
· · · · · ·
经典原版书库(共391册)，
这套丛书还有
《SIGNALS, SYSTEMS, AND TRANSFORMS》《概率论教程》《.NET设计规范》《UML和模式应用（英文版·第3版）》《流体动力学导论》
等
。
喜欢读"应用逻辑"的人也喜欢 · · · · · ·
应用逻辑的书评 · · · · · · ( 全部 1 条 )
论坛 · · · · · ·
在这本书的论坛里发言这本书的其他版本 · · · · · · ( 全部3 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 计算机系学生的数学书架 (网络流)
- Wanted & Prior (鼬)
- 数理逻辑 (ChenO)
- Symbol, Logic and Computation (Kimmy)
- 语言、逻辑和计算机科学 (lisp大包)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
订阅关于应用逻辑的评论:
feed: rss 2.0
1 有用 迪云 2010-08-21 14:46:15
逻辑入门的好书.
0 有用 zlx 2008-07-02 16:08:24
教材。略生涩。
0 有用 panjf 2011-01-02 23:16:45
一阶逻辑什么还是可看的，但是模态逻辑和直觉主义太不直观了。。。
0 有用 tosh 2012-07-07 13:40:50
令人遗憾
1 有用 海螺-Rob_F 2010-09-14 16:05:43
入门前的入门。作者是递归论的牛人。