- 书名：面向计算机科学的数理逻辑 /Mian xiang ji suan ji ke xue de shu li luo ji
- 出版社：Ke xue chu ban she
- 作者：Lu zhong wan
- 出版年份：2002
- 电子书格式： pdf
- 简介：《面向计算机科学的数理逻辑》是计算机科学领域一本经典教材，由陆忠万教授主编，科学出版社于2002年出版。本书深入浅出地讲解了数理逻辑的基本概念、理论和方法，并将其与计算机科学的各个方面紧密联系起来，包括命题逻辑、谓词逻辑、集合论、图论等。本书适合计算机科学专业本科生、研究生以及相关领域的研究人员学习和参考，是学习和理解计算机科学理论基础的必备读物。内容全面，逻辑清晰，例题丰富，讲解透彻，适合自学或课堂教学使用。
- ISBN：9787030096579, 70300
- 下载地址（点击下载）：
声明：本站所有电子书，均为来自网络。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。
评论(0)