2019年7月

上确界的数学定义大前天晚上在搞高数,看到个例题,给出上确界的数学定义。众所周知,在实数集中,设$$E$$为非空实数集,$$\exists M \in R,\forall x \in E, x \leq M$$,则$$M$$是$$E$$的一个上界。既然描述中用了一个上界,证明肯定不止一个上界,毕竟比只要$$\exists A \in R$$,满足$$M < A$$,就能说明$$A$$也是$$M$$的上界。所以这就有了本章的标题,上确界——一个集合的最小上界。用口语很简单,所有上界中,最小的那个就是上确界。但数学是精密的,怎么能用如此儿戏的语言呢?然后,数学- 剩余部分藏起来了( ̄∇ ̄) -

展开阅读

GitHub 文档中文化真是可喜可贺!自巴别塔塌了后,各界大佬纷纷为语言互通做了很多努力。比如谷歌的机器翻译,夭折的 GitHub 官方本地化,楼教主的油猴插件等等。但我们终于等来了官方的文档中文化。GitHub 被微软收购后的确做了不少利于开源的事情,比如免费的私人库,又比如这次的文档中文化。这样一来,可以直接使用母语查阅,也可以左边窗口英语,右边窗口中文,学了 git ,还学了专业词汇,岂不美哉!GitHub 中文文档

展开阅读