文件名称: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