《应用逻辑》电子书下载

应用逻辑txt，chm，pdf，epub，mobi下载
作者: 尼罗德
出版社: 机械工业出版社
出版年: 2006-9
页数: 456
定价: 49.00元
ISBN: 9787111197720

内容简介 · · · · · ·

这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演译作为计算机的一种形的概念。虽然本书覆盖了所有传统的逻辑主题（语法，语义，完备性和紧致性），但是书中大部分讨论的是其他主题，诸如消定理证明，逻辑式程序设计非经典逻辑（模态逻辑和直觉主义逻辑），而这些主题在现代计算机科学中变得越来越理要。另外，本书还系统介绍了集合论基础知识，并对该主题提供了历史综述。

下载地址

发布者：Lynn小馨馨

文件说明：zip / 解压密码:yiquhai.com

迅雷下载：您需要先登录后，才能查看

网盘下载：您需要先登录后，才能查看

关于内容：内容自于互联网，如果发现有违规内容请联系管理员删除！