yang_bigarm

  • 关注
  • 短消息
  • 送银子
文章
0
评论
5
推荐
0
收藏
0
社区会龄
7 年
个人网站
--
个人简介

苦逼的程序员

评论了

  • 2017-04-24 23:58

    三角形标号的地方没有问题。你对数学归纳法的理解可能有偏差吧。数据归纳法是先验证n=1的时候成立,然后假定n-1的情况成立,推导出n的情况成立。 结论要证,所有的马有同样的颜色,换言之就是 {含有n匹马的集合} 对于一切n成立有同样的颜色;那么归纳假设就是{含有 n-1匹马的集合} 结论成立,因此不管是 {1到n-1标号的马集合} 还是 {2到n的马集合}都是 {含有 n-1匹马的集合} ,假设条件都成立。

  • 2012-05-29 18:30

    终于买到手了,此书中介绍了7种不同的小众语言。我在豆瓣上搜了一下关于这7个语言的资料: Ruby 这个引进的比较多,资料教丰富,国内也有相应的社区了 Io 一本书也没有 Prolog 仅有些国人自己写的图书,针对的visual Prolog这个软件的 Sacla 有一本《Sacla程序设计》和一本《Programming in Scala》 Erlang 有一本《Erlang程序设计》和一本《Erlang编程指南》 Clojure 英文5本以上,中文0本 Haskell 这方面的资料也很多,但是目前仅引进了一本《真实世界的Haskell》英文版;据说中文版正在翻译中。 建议图灵公司能够引进更多这些比较新颖小众的编程图书。

  • 2012-05-14 17:32

    Matrix67的blog我大部分都读过了,深度和启发性都极高,就不知道书的质量怎么样了。 介绍说只选取了初等部分,其实高等数学的谜题同样波澜壮阔啊。

  • 2012-03-23 23:04

    非常期待此书,图灵能够以一种开放的姿态来和读者进行互动,提高书籍翻译质量,这对现在的出版模式是一种冲击啊。

  • 2012-03-23 23:00

    此书各个网店都已经缺货了,请问图灵是否有再版的计划?