☆☆☆☆☆
简体网页||繁体网页

面向计算机科学的数理逻辑系统建模与推理 2024 pdf epub mobi 电子书 著者简介

---

面向计算机科学的数理逻辑系统建模与推理 电子书 图书目录

---

点击这里下载

---

---

---

发表于2024-12-22

面向计算机科学的数理逻辑系统建模与推理 2024 pdf epub mobi 电子书

面向计算机科学的数理逻辑系统建模与推理 2024 pdf epub mobi 电子书

面向计算机科学的数理逻辑系统建模与推理 2024 pdf epub mobi 电子书

---

喜欢 面向计算机科学的数理逻辑系统建模与推理 电子书 的读者还喜欢

• 
  数理逻辑 2024 pdf epub mobi 电子书
• 
  类型和程序设计语言 2024 pdf epub mobi 电子书
• 
  程序设计语言 2024 pdf epub mobi 电子书
• 
  程序设计语言原理 2024 pdf epub mobi 电子书
• 
  程序设计语言理论基础 2024 pdf epub mobi 电子书
• 
  The Reasoned Schemer 2024 pdf epub mobi 电子书
• 
  并行程序设计原理 2024 pdf epub mobi 电子书
• 
  The Scheme Programming Language 2024 pdf epub mobi 电子书
• 
  形式语言与自动机导论 2024 pdf epub mobi 电子书
• 
  Lambda-Calculus and Combinators 2024 pdf epub mobi 电子书

评分☆☆☆☆☆

The plethora of textbooks giving a computing viewpoint on logic is evidence that logic is central to the study of computer science, but is there room for yet another? If this text covered the familiar ground, the answer would probably be “no,” but Huth an...

评分☆☆☆☆☆

The plethora of textbooks giving a computing viewpoint on logic is evidence that logic is central to the study of computer science, but is there room for yet another? If this text covered the familiar ground, the answer would probably be “no,” but Huth an...

评分☆☆☆☆☆

The plethora of textbooks giving a computing viewpoint on logic is evidence that logic is central to the study of computer science, but is there room for yet another? If this text covered the familiar ground, the answer would probably be “no,” but Huth an...

评分☆☆☆☆☆

某日在CU上与人瞎掰，其间谈到SICP序言太过深奥，于是有人抱怨道：我从来不看序，都是些吹捧之辞，毫无价值云云。要放到平时，我会十分赞同这个观点，如果你觉得有失偏颇，那在豆瓣上随便搜一堆书找出序言来看看是否大部分异曲同工、马屁之声不绝于耳。可问题这次谈及SICP...  

评分☆☆☆☆☆

The plethora of textbooks giving a computing viewpoint on logic is evidence that logic is central to the study of computer science, but is there room for yet another? If this text covered the familiar ground, the answer would probably be “no,” but Huth an...

类似图书 点击查看全场最低价

出版者:机械工业

作者:哈斯

出品人:

页数:277

译者:

出版时间:2007-7

价格:39.00元

装帧:

isbn号码:9787111213970

丛书系列:计算机科学丛书

面向计算机科学的数理逻辑系统建模与推理 2024 pdf epub mobi 电子书

评分☆☆☆☆☆

其实理论部分相比大多数“离散数学”教材更严肃..只是比较散，毕竟这是偏应用的书..

评分☆☆☆☆☆

书是好书但读的要吐血了

评分☆☆☆☆☆

粗略翻了翻。翻译着实难读。

评分☆☆☆☆☆

英文原著也许还是可以的吧，其实就是那些逻辑搬来搬去，故弄玄。译者实在是差劲，这什么水平还敢翻译，说句良心话，还不如百度翻译，不如自己去看原著。没有金刚钻别揽瓷器活，译者这水平可别出来为难别人了

评分☆☆☆☆☆

粗略翻了翻。翻译着实难读。

查看全网最低价