ez_lcw
0 Followers · 0 Following
  • Joined on 2022-09-05
Repositories
2
 Projects Packages Public Activity Starred Repositories
1
ez_lcw commented on issue ez_lcw/lcw-analyze#7 2022-09-19 06:18:39 +00:00
为标记了“证明：略”的地方添加证明思路概述

完成

ez_lcw closed issue ez_lcw/lcw-analyze#7 2022-09-19 06:18:39 +00:00
为标记了“证明：略”的地方添加证明思路概述
ez_lcw pushed to main at ez_lcw/lcw-analyze 2022-09-19 06:18:15 +00:00
e3d58bf8c6 完成#7为标记了“证明：略”的地方添加证明思路概述
ez_lcw commented on issue ez_lcw/lcw-analyze#9 2022-09-19 04:54:24 +00:00
完善第8、9、10、11章

对于第8章的完善暂包括：

  • 增补一些习题

  • 简化一些表达，包括证明的简化，以及记号的简化（例如关于基数大小关系比较，应定义一个符号来…

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

是否需要先在开头叙述一下“同一法”、“构造性证明”等的含义

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

这里是否应该叫 “实数被有理数间隔” 之类的

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

alpha不等于0

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

这里“另一方面，……”是否需要加一个证明？

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

三歧性证明？

ez_lcw suggested changes for ez_lcw/lcw-analyze#11 2022-09-19 03:53:31 +00:00
增加番外篇：5A戴德金分割与实数理论

暂时只评审了5A.15A.3，5A.45A.5内容较多，可能得晚一些

ez_lcw opened issue ez_lcw/lcw-analyze#10 2022-09-15 11:37:10 +00:00
修正格式（\leq变成\leqslant，以及\geq）
ez_lcw commented on issue ez_lcw/lcw-analyze#8 2022-09-15 11:35:27 +00:00
使用“有理数”而非“比例数”的称呼

完成

ez_lcw closed issue ez_lcw/lcw-analyze#8 2022-09-15 11:35:27 +00:00
使用“有理数”而非“比例数”的称呼
ez_lcw commented on issue ez_lcw/lcw-analyze#5 2022-09-15 11:35:20 +00:00
在cases中不使用if或者“如果”这样的提示词

完成

ez_lcw closed issue ez_lcw/lcw-analyze#5 2022-09-15 11:35:20 +00:00
在cases中不使用if或者“如果”这样的提示词
ez_lcw reopened issue ez_lcw/lcw-analyze#5 2022-09-15 11:35:15 +00:00
在cases中不使用if或者“如果”这样的提示词
ez_lcw closed issue ez_lcw/lcw-analyze#5 2022-09-15 11:35:10 +00:00
在cases中不使用if或者“如果”这样的提示词
ez_lcw pushed to main at ez_lcw/lcw-analyze 2022-09-15 11:33:37 +00:00
a25ea7fe0b 完成
ez_lcw opened issue ez_lcw/lcw-analyze#9 2022-09-15 11:12:55 +00:00
完善第8、9、10章
ez_lcw commented on issue ez_lcw/lcw-analyze#3 2022-09-15 11:10:04 +00:00
翻译定理的名字

已完成