读过"面向计算机科学的数理逻辑系统建模与推理"的豆瓣成员

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

2010-09-27     tags: 计算机科学 逻辑 建模 数理逻辑 计算机 学术

这个对路。就是有点看不过来了。

2010-08-06     tags: Mathematics

2010-08-03

S徐同学的老板