在上一篇文章中, 我們將無理數加入了進來, 擴充了實數, 這一篇文章中, 我們將實數集合有序化 由兩個分割 與 分別定義了兩個無理數 與 . 若且唯若這兩個分割相同時, 即 且 時, 才有 . 實際…
- 分析
- 2020-01-31
C++ 14 Proposal N3651《Variable Templates》導讀
- C++
- 2020-01-16
名次在生活中非常常見, 看到名次, 大家可能第一時間就想起了大家在學校的時候, 成績的名次; 大家也可能想起對於某一類東西的評測名次... 要想有名次, 就必須有權的概念. 比如一個班裡的所有學生的名…
- 演算法
- 2020-01-16
SFINAE, 一般用於函式樣板的多載決議中, 當函式參數被替換為實際的引數或著推導型別失敗的時候, 這個函式會從多載集合中被遺棄 在上一篇《【C++ Template Meta-Programmin…
- C++
- 2020-01-09
對於初等數學部分的集合論, 在開始數學分析的文章之前, 我有一些需要補充 設集合 是由某種性質 的元素構成的集合, 則 通常可以表示為 或著 在接下來的文章中, 我將採取第一種方式進行描述 集合的…
- 分析
- 2020-01-08
CentOS 8 於 2019 年 9 月釋出, 目前 Vultr 已經可以部署 CentOS 8 的實例. 本人已經嘗試在 CentOS 8 上進行配置, 發現 CentOS 8 上的有一些操作與 …
- skill
- 2020-01-07
