Essential Logic for Computer Science（Rex Page;Ruben Gamboa;）（MIT Press 2019）
内容简介：
书名：Essential Logic for Computer Science
出版社：MIT Press
作者：Rex Page;Ruben Gamboa;
出版年份：2019
电子书格式： epub
简介：《Essential Logic for Computer Science》由Rex Page和Ruben Gamboa编著，2019年由MIT Press出版。此书深入探讨了计算机科学中逻辑学的基础理论和应用，为读者提供从基本概念到高级逻辑推理和证明的全面指南。适用于计算机科学专业学生、研究人员及对逻辑学感兴趣的读者，书中涵盖了命题逻辑、谓词逻辑、证明方法等关键内容，是掌握计算机科学逻辑思维的必读之作。
ISBN：9780262039185, 97802
出版社：MIT Press
作者：Rex Page;Ruben Gamboa;
出版年份：2019
电子书格式： epub
简介：《Essential Logic for Computer Science》由Rex Page和Ruben Gamboa编著，2019年由MIT Press出版。此书深入探讨了计算机科学中逻辑学的基础理论和应用，为读者提供从基本概念到高级逻辑推理和证明的全面指南。适用于计算机科学专业学生、研究人员及对逻辑学感兴趣的读者，书中涵盖了命题逻辑、谓词逻辑、证明方法等关键内容，是掌握计算机科学逻辑思维的必读之作。
ISBN：9780262039185, 97802
下载地址：
猜你喜欢：
![稀疏统计学习及其应用 [图像优化版]（哈斯蒂）（2018）](https://yanxuan.nosdn.127.net/cb8ab5d82e3677918d6b96e008be67d2.jpg)
![合成孔径雷达成像算法与实现（[加] Ian G. Cumming， Frank H. Wong 著；洪文，胡东辉，韩冰 等译；吴一戎 审校）（电子工业出版社 2019）](https://yanxuan.nosdn.127.net/a3782cfd26d874891149e7bcf462f696.jpg)
