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 中文文档](https://help.github.com/cn)

展开阅读