每周参与评价的人数(最近3个月内)
2011-05-29
2009-09-29
2009-04-18
2010-06-10 tags: 逻辑 数学
科院的陆老写那本非常不错...浅显易懂.只是发散不好发散,得有个老师带一下
2008-01-06
2007-12-23
2006-11-23 tags: 逻辑
2005-11-28
2012-01-01
2011-09-05
2011-08-23
2010-09-27
2008-06-11
2008-01-17
2007-11-20
2007-06-19
2006-12-21
2012-05-18
2012-05-04 tags: 计算机
2011-12-22
2011-11-22
2011-11-08 tags: 计算机 数理逻辑
2011-10-23 tags: 计算机科学 数理逻辑
当初,文老师推荐的好像就是这本书,忘了读了。。。
2011-05-23 tags: 逻辑 计算机科学
2011-03-25 tags: 计算机科学 逻辑 数学
2011-01-11
2010-12-20
2010-11-17
2010-11-10
2010-10-26
2010-09-29
2010-09-29 tags: 计算机科学 数理逻辑
2010-09-28
2010-09-27 tags: 计算机科学 逻辑 建模 数理逻辑 计算机 学术
这个对路。就是有点看不过来了。
2010-08-06 tags: Mathematics
2010-08-03
S徐同学的老板
> 面向计算机科学的数理逻辑系统建模与推理