代码改变世界

评论排行榜

离散数学拾趣(三):集合的子集有多少个

2011-03-10 02:54 by Anders Cui, 4672 阅读, 收藏,
摘要: 集合广泛应用于计数问题,这类问题需要讨论集合的大小。令S为集合。若S中恰有n个不同的元素,n是非负整数,就说S是有限集合,而n是S的基数,用|S|表示。若S={ 1, 2, 3 },则|S| = 3。有时候需要考虑一个集合的元素所有可能的组合,看它们是否具有某种性质。为此构造一个新的集合,它以S的所有子集作为它的元素,该集合称为S的幂集合,记为P(S)。比如:本文的主题也就是:对于集合S,P(S)的基数是多少?方法一:首先观察上面例子中的三个集合,它们的基数分别是0、1、2,而它们的幂集合的基数分别是,于是可以猜想n个元素的集合有个子集,下面用数学归纳法证明。基础步骤:由上面例子可知,当n=0 阅读全文

离散数学拾趣(二):逻辑难题

2011-03-04 00:28 by Anders Cui, 3662 阅读, 收藏,
摘要: 可以用逻辑推理解决的难题称为逻辑难题,解决这样的问题是实践逻辑规则的一种好方法。本文介绍了Raymond Smullyan的岛屿居民难题与爱因斯坦难题。 阅读全文

给VS添加代码转换功能

2009-05-30 20:45 by Anders Cui, 2602 阅读, 收藏,
摘要: 本文借助于SharpDevelop的一个Web Service,将代码转换功能集成到了VS,顺便介绍了如何为命令添加快捷键。 阅读全文

如何移除VS Add-In残留的菜单项

2009-05-28 14:26 by Anders Cui, 3970 阅读, 收藏,
摘要: 有时候Add-In明明已经卸载了,它的菜单却还是挥之不去。本文介绍了两种方法,希望能解决这个问题。 阅读全文

环游世界,走遍读过的每一个国家和城镇

2009-05-05 01:45 by Anders Cui, 1266 阅读, 收藏,
摘要: 寒山寺一游所见所感。 阅读全文

最近感兴趣的二三事

2009-05-04 21:54 by Anders Cui, 1331 阅读, 收藏,
摘要: 最近感兴趣的事情,事关唐诗、数学及一部电影。 阅读全文

与武汉和黄州相关的几首诗词赋

2009-04-02 22:35 by Anders Cui, 2285 阅读, 收藏,
摘要: 明天就要动车去武汉了,补下课先,遂收集了一些比较喜欢的诗词赋,希望游玩时能有更多的体会。 阅读全文

第19届Jolt大奖揭晓(转载)

2009-03-16 23:58 by Anders Cui, 3695 阅读, 收藏,
摘要: 第19届Jolt大奖揭晓。刚看到清单,一片茫然,为了不让自己显得过于落伍和闭塞,我来回看了几遍获奖清单,认识的面孔还是那么少。。。 阅读全文

讨论:为什么函数式编程没有流行起来?(转载)

2009-03-03 21:22 by Anders Cui, 3665 阅读, 收藏,
摘要: 函数式编程已经不是什么新概念了,但是对于很多编写应用程序的编程人员来说,函数式编程仍显得那么陌生和遥远。对此Confusion发起了一场关于“为什么函数式编程语言没有流行起来”的大讨论。 阅读全文

F#探险之旅(四):面向对象编程(上)

2008-09-30 12:07 by Anders Cui, 2741 阅读, 收藏,
摘要: 本问首先对OOP做了简单介绍,大家可以看看最新的编程语言排行榜;然后逐一介绍了类型转换、类型测试、对派生类使用类型标注、使用记录类型模拟对象、向F#类型添加成员方法,通过这些语言结构我们能将值和函数封装在类型内部。在下一篇中将介绍接口和继承等相关语言结构。 阅读全文
上一页 1 ··· 9 10 11 12 13 14 15 下一页