Ben-Ari 的 计算机科学中的数理逻辑 Mathematical logic for computer science

时间:2012-08-06 13:36:17
【文件属性】:

文件名称:Ben-Ari 的 计算机科学中的数理逻辑 Mathematical logic for computer science

文件大小:2.38MB

文件格式:RAR

更新时间:2012-08-06 13:36:17

计算机科学 数理逻辑 logic computer

Mordechai Ben-Ari 的 Mathematical logic for computer science 第二版 Springer, 2001年出版 SBN 1852333197 DjVu格式,可以复制粘贴其中的文字。 本书很清晰地介绍了计算机科学和工程中需要的数理逻辑知识。


【文件预览】:
Ben-Ari M. Mathematical logic for computer science.djvu

网友评论