Rt.NewLife想读的书 >
-
Logical Foundations of Mathematics and Computational Complexity
暂无评论Pavel Pudlák | Springer | 2013-4-23Thetwomainthemesofthisbook,logicandcomplexity,arebothessentialforunderstandingthemainproblemsaboutth...
-
The Haskell Road to Logic, Maths and Programming. Second Edition
(11人已评价)College Publications | 2004-5-7Thepurposeofthisbookistoteachlogicandmathematicalreasoninginpractice,andtoconnectlogicalreasoningwit...
-
优秀的绵羊
(797人已评价)[美] 威廉·德雷谢维奇 | 九州出版社 | 2016-42008年,在常春藤盟校待了24年之后,耶鲁大学教授威廉·德雷谢维奇决定辞去自己的终身教职,离开这所常春藤名校。之所以这么做,是因为他感觉当前的美国精英教育已经陷入了误区,这套系统下培养出来的学生大都...