内容简介
书名：面向计算机科学的数理逻辑系统建模与推理出版社：机械工业出版社
作者：哈斯
出版年份：2007
电子书格式： pdf
简介：《面向计算机科学的数理逻辑系统建模与推理》由哈斯（J. Michael Dunn）编著，机械工业出版社2007年出版。该书深入探讨了数理逻辑在计算机科学中的应用，涵盖了命题逻辑、谓词逻辑、模态逻辑等内容，适合计算机科学与技术专业的学生和研究人员阅读。多考网提供免费下载，助力您的学术研究与学习。
ISBN：9787111213970, 71112
- 书名
面向计算机科学的数理逻辑系统建模与推理（哈斯）（机械工业出版社 2007）
出版社：机械工业出版社
作者：哈斯
出版年份：2007
电子书格式： pdf
简介：《面向计算机科学的数理逻辑系统建模与推理》由哈斯（J. Michael Dunn）编著，机械工业出版社2007年出版。该书深入探讨了数理逻辑在计算机科学中的应用，涵盖了命题逻辑、谓词逻辑、模态逻辑等内容，适合计算机科学与技术专业的学生和研究人员阅读。多考网提供免费下载，助力您的学术研究与学习。
ISBN：9787111213970, 71112
![新规则（“领导变革之父”、哈佛商学院终身教授约翰·P.科特经典著作。帮助企业寻找数字化升级和新一轮技术革命的机遇。）（约翰·P·科特 [约翰·P·科特]）（中信出版集团 2019）](https://tc-new.z.wiki/autoupload/7jky_eQCcylifjm7zJ0IFg/20251230/rcqO/a15f939d16d99791.jpeg)
![SCRUM（傑夫．薩瑟蘭 [傑夫．薩瑟蘭]）（天下文化 2014）](https://tc-new.z.wiki/autoupload/7jky_eQCcylifjm7zJ0IFg/20251230/mJgx/5cc887b82b5983ba.jpeg)
![好好接话 (山口拓朗 [山口拓朗])](https://tc-new.z.wiki/autoupload/7jky_eQCcylifjm7zJ0IFg/20251208/f3CA/7bf62b15d22ecb46.jpg)
![Winter（Marissa Meyer [Meyer， Marissa]）（Feiwel & Friends）](https://tc-new.z.wiki/autoupload/7jky_eQCcylifjm7zJ0IFg/20251214/LbU2/7bd8d823a81b0139.jpeg)
