Logic in Computer Science
内容简介
Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There ...
该书热门标签
- 最新
- 热门
-
0 OMeGa 2013-11-21
入门还可以,就是作者实在废话太多了
-
0 刷子 2013-02-05
非常不错的一本数理逻辑书,作为入门有些困难,但看下去就会好很多了。
-
1 Arwennnnnnn 2015-02-04
_(:з」∠)_
-
0 豌豆黄 2016-09-09
脉络清晰,和 programming 联系的部分详实具体,这一部分超过许多书籍,logic in cs 名副其实
-
0 可可 2008-03-22
Logic
-
0 [已注销] 2013-02-15
不合用
-
0 Larenopfer 2014-01-22
啰嗦但不错,不用考试的课就是舒服啊
-
1 Arwennnnnnn 2015-02-04
_(:з」∠)_
-
0 OMeGa 2013-11-21
入门还可以,就是作者实在废话太多了
-
0 刷子 2013-02-05
非常不错的一本数理逻辑书,作为入门有些困难,但看下去就会好很多了。
-
0 豌豆黄 2016-09-09
脉络清晰,和 programming 联系的部分详实具体,这一部分超过许多书籍,logic in cs 名副其实
-
0 可可 2008-03-22
Logic
-
0 [已注销] 2013-02-15
不合用
-
0 Larenopfer 2014-01-22
啰嗦但不错,不用考试的课就是舒服啊
- 最新
- 热门
-
Review from reviews.com
1有用 karenyskcau 2007-05-07
Theplethoraoftextbooksgivingacomputingviewpointonlogicisevidencethatlogiciscentraltothestudyofcomput... 查看全部>>
-
无可奈何的Delay
17有用 纳兰经若 2009-03-11
某日在CU上与人瞎掰,其间谈到SICP序言太过深奥,于是有人抱怨道:我从来不看序,都是些吹捧之辞,毫无价值云云。要放到平时,我会十分赞同这个观点,如果你觉得有失偏颇,那在豆瓣上随便搜一堆书找出序言来看... 查看全部>>
-
无可奈何的Delay
17有用 纳兰经若 2009-03-11
某日在CU上与人瞎掰,其间谈到SICP序言太过深奥,于是有人抱怨道:我从来不看序,都是些吹捧之辞,毫无价值云云。要放到平时,我会十分赞同这个观点,如果你觉得有失偏颇,那在豆瓣上随便搜一堆书找出序言来看... 查看全部>>
-
Review from reviews.com
1有用 karenyskcau 2007-05-07
Theplethoraoftextbooksgivingacomputingviewpointonlogicisevidencethatlogiciscentraltothestudyofcomput... 查看全部>>
评价“Logic in Computer Science”