C++,python,热爱算法和机器学习
全部博文(1214)
2021年(13)
2020年(49)
2019年(14)
2018年(27)
2017年(69)
2016年(100)
2015年(106)
2014年(240)
2013年(5)
2012年(193)
2011年(155)
2010年(93)
2009年(62)
2008年(51)
2007年(37)
发布时间:2014-05-07 17:16:12
文章来源:http://blog.tuidao.me/2011/03/geb-note-4/在继续折腾数学之前我们先来看看计算机中的一个类似的问题吧。作为程序猿,提到新的一门语言,大概都是是先学“Hello World”怎么说(相对的,正常人一般会先学“我爱你”怎么说)。一般来说提到Hello World程序那必定就是非常简单的程序了,不过我们想像这样一.........【阅读全文】
发布时间:2014-05-07 16:27:46
文章来源:http://blog.tuidao.me/2011/03/geb-note-3/上次提到了一个叫pq的形式系统,并且讨论了相容性是什么玩意,那么这次就来讲讲形式系统的另一个重要概念——完备性。还记得我们给pq系统赋予的加法解释么?当时我说这个系统形式化了正整数的加法,那么笼统的说加法行不行?行,但是却不够准确,因为0=0+.........【阅读全文】
发布时间:2014-05-07 16:14:03
文章来源:http://blog.tuidao.me/2011/01/geb-note-2/上次说到了形式系统大概是个什么样子,不过光用语言描述总是很抽象的,不好理解。那么就来举一个书上给出的例子来看看:pq系统字符集:p q -公理:设 x 是包含且仅包含一个或多个字符'-'的字符串,则.........【阅读全文】
发布时间:2014-05-07 15:41:25
文章来源:http://blog.tuidao.me/2011/01/geb-note-1/之前开始学数理逻辑的时候听说了《哥德尔,艾舍尔,巴赫》这本书,不过实在是太忙,这书又很厚,结果最后并没有去看。前两天看到Twitter上有人提到这本书再版了,正好现在放假无事,于是便到书店把这本书买了回来。要说这本书里讲到的哥德尔不完备性定理,可以说.........【阅读全文】
发布时间:2014-05-01 11:38:27
想用命令行发送邮件,发现有msmtp和mutt的组合。msmtp是发邮件的,mutt负责操作怎样更方便发送。sudo apt-get install msmtp mutt查看gmail smtp服务器情况msmtp --host smtp.gmail.com --serverinfoSMTP server at smtp.gmail.com (pa-in-f109.1e100.net [74.125.25.109]), port 25:mx..........【阅读全文】
chinaunix网友2009-10-12 16:19
你好,你在Google Code上放的sg2fcitx的mainme.c源代码我下载编译会出现段错误。请问你的编译环境是什么?GCC版本是多少? 谢谢。