方而静 szTom
0 Followers · 0 Following
  • Joined on 2022-08-22
Repositories
17
 Projects Packages Public Activity Starred Repositories
1
szTom closed issue ez_lcw/lcw-analyze#14 2022-09-21 20:55:11 +08:00
简化垂线判别法的表述
szTom merged pull request ez_lcw/lcw-analyze#11 2022-09-21 15:36:02 +08:00
增加番外篇：5A戴德金分割与实数理论
szTom pushed to main at ez_lcw/lcw-analyze 2022-09-21 15:36:02 +08:00
c772532508 确保除法中的被除数不是0
42116841a0 标记5A完成
86da095e7d 增加除法的定义
b7d6857647 增加 5A（番外篇：戴德金分割与实数理论）
Compare 4 commits »
szTom deleted branch dedekind-cut from ez_lcw/lcw-analyze 2022-09-21 15:36:02 +08:00
szTom commented on issue ez_lcw/lcw-analyze#12 2022-09-21 15:35:13 +08:00
处理命题序号变更时其他引用之处无法动态跟随变化的问题

你打算怎么办

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

fixed #569cade86c0013e99cda05a50bb47880fab7080c

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

书上是这么叫的

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

挺显然的吧

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

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

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

1-5章已完成。

  • 6.1.8
  • 6.5.1
szTom merged pull request ez_lcw/lcw-analyze#4 2022-09-07 21:41:24 +08:00
使用更简单的方法证明良序原理