03 2011 档案

摘要：前段时间玩游戏去了，更前一段时间看得东西一直没法整理出来。 好吧这些都不是重点 最近看到一本非常非常好的书《给大家看的设计书》，这个是今年看到的最棒的一本书。 对于设计有了一个非常好的入门感觉，开始懂得如何选择，使用规则和元素。重要的还有色彩和字体的部分，给了我非常大的启发。 现在在路上看到广告牌传单等等宣传物都会进入一种欣赏评估的状态，而且更重要的是开始懂得如何描述自己看到东西是为何好或为何不好。 下面这份思维导图虽是以这本书为基础，但是有很多东西还是参杂了我自己的想法和分析，以及其他的文档资料。特别是字体部分，对于中文的字体的一些分析，找了一些文章却都难以满意。指导现在，对于中文... 阅读全文

摘要：块来看看候今天又讲了什么东西。 继续介绍了James Gosling的生平，一个出生于加拿大的孩子，和所有改变计算机世界的人一样，从小就表现出了惊人的天赋。 83年获得了美国卡耐基-梅隆大学计算机科学博士学位。 这里先介绍一下卡耐基-梅隆大学Carnegie Mellon University。是享誉世界的顶级研究型大学，私立，学校小巧，学科门类不多，但在其所设立的几乎所有专业都居于世界领先水平。主校区位于美国宾夕法尼亚州（Pennsylvania）的匹兹堡（Pittsburgh）。要提他的原因是，他的计算机专业和麻省理工并列世界第一。 回到Gosling，他是Sun的副总裁，但是在官... 阅读全文

摘要：对上一节课的部分补充，mindmap其实是同一个版本，就是加了一点点内容。 mindmap地址http://www.xmind.net/share/_embed/atskyline/predicates-and-quantifiers-2/ 先说上一次留下那个个关于命题函数与谓词公式的关系问题。解释如下 命题函数是具体的一个命题如X是整数，而谓词是对他的一个抽象化，符号化，如P(x)。这样才有办法进行数学的逻辑推理运算。 这次增加的东西，不过是一堆类似于命题公式的，谓词公式的一些永真公式。具体的要记忆下来是在非常麻烦。 另外还有一句话 在命题演算中和谓词演算中的等价式蕴涵式是指 命题... 阅读全文

摘要：想先抱怨一下教授的PPT是逻辑混乱的，所以也在一定程度上导致他的讲课内容在逻辑上不是那么连贯。 我自己把内容整理了一下，加入了很多自己的理解，应该是很不规范严谨了，但是为了理解简单，也就先这样吧。 这次不能直接放图，图没能把所有的逻辑关系表达清楚，需要一些文字的补充。 先给图的地址http://www.xmind.net/share/_embed/atskyline/predicates-and-quantifiers-1-1/ 首先从上次的命题逻辑说起，命题是一个有明确真值的陈述句。这里有一个问题，一句陈述句太长了，以它为基本单位很多事情没办法分析。比如最著名的苏格拉底三段论。 人... 阅读全文

摘要：写两个点的东西，一个是程序集与名称空间的区别，另一点是，两个程序集（库）使用同一个名称空间，另一个程序集同时应用这两个库时发生的二义性及解决方法。 程序集在定义和使用上有很麻烦的地方，这里主要简要的能和名称空间区分开就好。关于强名，版本问题，私有程序集，共享程序集的问题可以参考文章最后给出的文档及MSDN。另外《C＃入门经典》第三版中也有专门一个章节写这个，但是第四版的时候就被删减了。 程序集是.NET的最小逻辑单位，有两种主要的程序集。应用程序程序集（*.exe）这个具有入口点，另一个是库程序集（*.dll）没有入口点。更狭义一些我们可以说一个项目就是一个程序集。程序集是物理存在的。用于.. 阅读全文