内容简介
书名：面向计算机科学的数理逻辑系统建模与推理出版社：机械工业出版社
作者：哈斯
出版年份：2007
电子书格式： pdf
简介：《面向计算机科学的数理逻辑系统建模与推理》由哈斯（J. Michael Dunn）编著，机械工业出版社2007年出版。该书深入探讨了数理逻辑在计算机科学中的应用，涵盖了命题逻辑、谓词逻辑、模态逻辑等内容，适合计算机科学与技术专业的学生和研究人员阅读。多考网提供免费下载，助力您的学术研究与学习。
ISBN：9787111213970, 71112
- 书名
面向计算机科学的数理逻辑系统建模与推理（哈斯）（机械工业出版社 2007）
出版社：机械工业出版社
作者：哈斯
出版年份：2007
电子书格式： pdf
简介：《面向计算机科学的数理逻辑系统建模与推理》由哈斯（J. Michael Dunn）编著，机械工业出版社2007年出版。该书深入探讨了数理逻辑在计算机科学中的应用，涵盖了命题逻辑、谓词逻辑、模态逻辑等内容，适合计算机科学与技术专业的学生和研究人员阅读。多考网提供免费下载，助力您的学术研究与学习。
ISBN：9787111213970, 71112
![情商：为什么情商比智商更重要 = Emotional Intelligence： Why It Can Matter More Than IQ（[美] 丹尼尔 · 戈尔曼 (Daniel Goleman) 著 ; 杨春晓 译）（中信出版社 2010）](https://tc-new.z.wiki/autoupload/7jky_eQCcylifjm7zJ0IFg/20251229/zycJ/17730c42f01fafe7.jpeg)
![读《资本论》 第二版（[法] 路易·阿尔都塞，[法] 艾蒂安·巴里巴尔，李其庆，冯文光）（中央编译出版社 2017）](https://tc-new.z.wiki/autoupload/7jky_eQCcylifjm7zJ0IFg/20251229/iRC8/5a0422a981505a6a.jpeg)
![地球无应答(中国科幻银河奖最佳新人奖得主首部科幻短篇集！改良基因会不会带来灾难？置身未来，看时间空间合伙变魔术！)（王诺诺 [王诺诺]）（湖南文艺出版社 2019）](https://tc-new.z.wiki/autoupload/7jky_eQCcylifjm7zJ0IFg/20251227/RFHQ/403966a591df2716.jpeg)
