- 书名：面向计算机科学的数理逻辑（第二版）
- 出版社：科学出版社
- 作者：陆钟万
- 出版年份：2002
- 电子书格式： pdf
- 简介：《面向计算机科学的数理逻辑（第二版）》是陆钟万教授编著的经典教材，由科学出版社于2002年出版。本书深入浅出地介绍了数理逻辑在计算机科学中的应用，涵盖命题逻辑、谓词逻辑、证明理论、模型理论等内容，是计算机专业学生和研究者的必读书目。多考网提供免费下载，助力您的学术研究。
- ISBN：9787030096579, 70300
- 下载地址（点击下载）：
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。
评论(0)