《面向计算机科学的数理逻辑》电子书下载

面向计算机科学的数理逻辑txt，chm，pdf，epub，mobi下载
作者: 陆钟万
出版社: 科学出版社
出版年: 2002-1
页数: 263
定价: 24.00元
ISBN: 9787030096579

内容简介 · · · · · ·

《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征，并且适应计算机科学的要求，《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演，以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。

下载地址

发布者：美少年安利君

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

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

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

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