C++博客-The Sun Also Rises-随笔分类-Computer Sciencehttp://www.cppblog.com/FreePeter/category/7079.htmlAlgorithm, Mathematica, 计算机科学, C++, photography, GNU/Linux的讨论空间zh-cnSun, 29 Jun 2008 05:54:30 GMTSun, 29 Jun 2008 05:54:30 GMT60代数结构与数理逻辑http://www.cppblog.com/FreePeter/archive/2008/06/27/54817.htmlFreePeterFreePeterFri, 27 Jun 2008 09:25:00 GMThttp://www.cppblog.com/FreePeter/archive/2008/06/27/54817.htmlhttp://www.cppblog.com/FreePeter/comments/54817.htmlhttp://www.cppblog.com/FreePeter/archive/2008/06/27/54817.html#Feedback1http://www.cppblog.com/FreePeter/comments/commentRss/54817.htmlhttp://www.cppblog.com/FreePeter/services/trackbacks/54817.html都没怎么读过，不保证是好书～～～等我扫完了再决定是否推荐～～～

《近世代数概论》
http://www.douban.com/subject/2152447/
对这本书看着顺眼的原因是当时扫了一下，发现他涵盖了目前为止所有的代数学知识（线性代数等）
感觉其线性代数部分比我们学的要难，但又不像数学系的《高等代数》那样过多东东。
总得说来是代数学的通论。
配合一下那本《数学分析原理》，看起来很完美～～～

《数理逻辑》
http://www.douban.com/subject/1729578/
还没读过，有空扫一下。
我实在是不理解为什么我们的数理逻辑要用泛代数来引入，其实本质上构造自由代数的过程就是数理逻辑的递归定义过程。
我承认构造自由代数的方式确实是个很漂亮的想法，但问题是，数理逻辑应该是最基本的体系吧（类似于集合论），它的用途是 1. 严密化直觉想法 2. 构造一套让计算机来思考的系统。
对于(1)来说，拿泛代数来引入就很有问题，类似于用高等的东西论证最基本的东西，就好像我们拿现有的计算机来定义Turing Machine……而且我觉得泛代数在很大程度上分散了我们的注意力……。。。@_@
我记得《应用逻辑》中是使用表达式树来引入的，然后还是有一些关于表达式树的形式话定义和一些“看上去很显然”的东东的证明的。基本上严密性还是得到保证的（其实本质上也是一个递归定义）。可惜那本书的重点不是传统逻辑（你看名字都叫《应用逻辑》了是吧～）


考完试，终于可以把那本书给扔了。。。啦啦啦～～～
个人觉得对Mathematicas in Computer Science比Pure Mathematicas有爱的多。。。不知道为什么。。。@_@




FreePeter 2008-06-27 17:25 发表评论
]]>两次死在char vs unsigned char上。。。http://www.cppblog.com/FreePeter/archive/2008/05/29/51526.htmlFreePeterFreePeterThu, 29 May 2008 14:31:00 GMThttp://www.cppblog.com/FreePeter/archive/2008/05/29/51526.htmlhttp://www.cppblog.com/FreePeter/comments/51526.htmlhttp://www.cppblog.com/FreePeter/archive/2008/05/29/51526.html#Feedback0http://www.cppblog.com/FreePeter/comments/commentRss/51526.htmlhttp://www.cppblog.com/FreePeter/services/trackbacks/51526.htmlint val = 0;
for (int i = 0; i < 4; ++i) val = (val << 8) | x[i];
其中x是char[]。
问题就在，当x[i]的符号位是1的时候，位扩展为int就全部pad 1了。。。
囧死。。。调了半天。。。



FreePeter 2008-05-29 22:31 发表评论
]]>Amguity of CFG is undecidablehttp://www.cppblog.com/FreePeter/archive/2008/05/18/50290.htmlFreePeterFreePeterSun, 18 May 2008 08:30:00 GMThttp://www.cppblog.com/FreePeter/archive/2008/05/18/50290.htmlhttp://www.cppblog.com/FreePeter/comments/50290.htmlhttp://www.cppblog.com/FreePeter/archive/2008/05/18/50290.html#Feedback0http://www.cppblog.com/FreePeter/comments/commentRss/50290.htmlhttp://www.cppblog.com/FreePeter/services/trackbacks/50290.html
http://people.cis.ksu.edu/~rhowell/770s03/lectures/23-twoup.pdf 




FreePeter 2008-05-18 16:30 发表评论
]]>搜到一个比较好玩的东西，design of double precision IEEE-754, Floating-Points Unitshttp://www.cppblog.com/FreePeter/archive/2008/05/17/50182.htmlFreePeterFreePeterSat, 17 May 2008 12:44:00 GMThttp://www.cppblog.com/FreePeter/archive/2008/05/17/50182.htmlhttp://www.cppblog.com/FreePeter/comments/50182.htmlhttp://www.cppblog.com/FreePeter/archive/2008/05/17/50182.html#Feedback0http://www.cppblog.com/FreePeter/comments/commentRss/50182.htmlhttp://www.cppblog.com/FreePeter/services/trackbacks/50182.htmlhttp://www.scribd.com/doc/247203/Design-of-Double-Precision-IEEE754-FloatingPoint-Units

看到了熟悉的Gate && MUX...
anyway...个人对底层这块不是特别灵。。。~~~

p.s. ms是一个可以上传pdf的网站？.~~~



FreePeter 2008-05-17 20:44 发表评论
]]>