方而静 szTom
0 Followers · 0 Following
  • Joined on 2022-08-22
Repositories
16
 Projects Packages Public Activity Starred Repositories
1
szTom commented on issue ez_lcw/lcw-analyze#12 2022-09-21 07:35:13 +00:00
处理命题序号变更时其他引用之处无法动态跟随变化的问题

你打算怎么办

szTom commented on pull request ez_lcw/lcw-analyze#11 2022-09-20 10:33:53 +00:00
增加番外篇：5A戴德金分割与实数理论

fixed #569cade86c0013e99cda05a50bb47880fab7080c

szTom pushed to dedekind-cut at ez_lcw/lcw-analyze 2022-09-20 10:30:25 +00:00
569cade86c 确保除法中的被除数不是0
szTom commented on pull request ez_lcw/lcw-analyze#11 2022-09-20 10:26:21 +00:00
增加番外篇：5A戴德金分割与实数理论

书上是这么叫的

szTom commented on pull request ez_lcw/lcw-analyze#11 2022-09-20 10:25:54 +00:00
增加番外篇：5A戴德金分割与实数理论

挺显然的吧

szTom commented on pull request ez_lcw/lcw-analyze#11 2022-09-20 10:25:21 +00:00
增加番外篇：5A戴德金分割与实数理论

那是不是在第一章讲？用过很多次了

szTom pushed to dedekind-cut at ez_lcw/lcw-analyze 2022-09-19 03:00:10 +00:00
f1f3436226 标记5A完成
szTom pushed to dedekind-cut at ez_lcw/lcw-analyze 2022-09-19 01:19:24 +00:00
888f4d234e 增加除法的定义
szTom created pull request ez_lcw/lcw-analyze#11 2022-09-16 12:16:13 +00:00
WIP: 增加番外篇：5A戴德金分割与实数理论）
szTom created branch dedekind-cut in ez_lcw/lcw-analyze 2022-09-16 12:15:38 +00:00
szTom pushed to dedekind-cut at ez_lcw/lcw-analyze 2022-09-16 12:15:38 +00:00
f8dc8dbfb4 增加 5A（番外篇：戴德金分割与实数理论）
szTom opened issue ez_lcw/lcw-analyze#8 2022-09-08 11:13:51 +00:00
使用“有理数”而非“比例数”的称呼
szTom pushed to main at ez_lcw/lcw-analyze 2022-09-08 08:38:39 +00:00
cbb5e0caf0 修复第8章公式渲染的问题
szTom pushed to main at ez_lcw/lcw-analyze 2022-09-08 08:36:39 +00:00
f2df980129 修复第8章多行公式过长的问题
szTom commented on issue ez_lcw/lcw-analyze#7 2022-09-07 23:16:58 +00:00
为标记了“证明：略”的地方添加证明思路概述

1-5章已完成。

  • 6.1.8
  • 6.5.1
szTom merged pull request ez_lcw/lcw-analyze#4 2022-09-07 13:41:24 +00:00
使用更简单的方法证明良序原理
szTom pushed to main at ez_lcw/lcw-analyze 2022-09-07 13:41:24 +00:00
5637cbed79 改为从1开始归纳
5fe64f1a9f 给出良序原理的一个更简单的证明
86a195e89c 增加关于有限集合的最大元和最小元的存在性的命题
Compare 3 commits »
szTom deleted branch better-proof-well-ordering-theorem from ez_lcw/lcw-analyze 2022-09-07 13:41:24 +00:00
szTom pushed to better-proof-well-ordering-theorem at ez_lcw/lcw-analyze 2022-09-07 13:39:35 +00:00
f2cde78b37 改为从1开始归纳
szTom commented on issue ez_lcw/lcw-analyze#6 2022-09-07 13:05:32 +00:00
使用二级标题标记章节内的小节标题

1-7章已完成