关于逻辑的漫画:logicomix

Wadler的网志看来的。Logicomix是Christos Papadimitriou和他的朋友Apostolos Doxiadis 合作的一本漫画,讲述了逻辑学在20世纪扮演的角色。漫画的角色有图灵,康托,罗索,和歌德尔。Christo Popadimitriou当然是大大有名的了。学过计算复杂性的人多半看过他的书Computational Complexity。他教的课Reading Classics也挺有意思,让学生讨论经典的论文。嗯,我都等不及了看这部漫画了。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值