|
|
055e5055ee
|
在合并请求#15中，按照意见修改第3章
|
2022-09-26 09:16:36 +00:00 |
|
|
|
250cb51334
|
完成第8章
|
2022-09-26 09:16:36 +00:00 |
|
|
|
cbfb664164
|
revert fbc72d2a1d79d7145d6febb515a9c69f29bc2d29
revert 上传文件至 ''
|
2022-09-26 09:16:36 +00:00 |
|
|
|
c704d19ada
|
上传文件至 ''
|
2022-09-26 09:16:36 +00:00 |
|
|
|
ef4bff7a41
|
完成了第8章的部分内容
|
2022-09-26 09:16:36 +00:00 |
|
|
|
c772532508
|
确保除法中的被除数不是0
修正除法的定义，确保除法中的被除数不是0
Signed-off-by: 方而静 <szdytom@163.com>
|
2022-09-21 07:36:01 +00:00 |
|
|
|
42116841a0
|
标记5A完成
删除 5A 在README的“施工中”标记
Signed-off-by: 方而静 <szdytom@163.com>
|
2022-09-21 07:36:01 +00:00 |
|
|
|
86da095e7d
|
增加除法的定义
通过乘法逆元，完成除法的定义
Signed-off-by: 方而静 <szdytom@163.com>
|
2022-09-21 07:36:01 +00:00 |
|
|
|
b7d6857647
|
增加 5A（番外篇：戴德金分割与实数理论）
叙述戴德金分割的主要理论
Signed-off-by: 方而静 <szdytom@163.com>
|
2022-09-21 07:36:01 +00:00 |
|
|
|
e3d58bf8c6
|
完成#7为标记了“证明：略”的地方添加证明思路概述
|
2022-09-19 14:18:08 +08:00 |
|
|
|
a25ea7fe0b
|
完成
1. #5在cases中不使用if或者“如果”这样的提示词
2. #8使用“有理数”而非“比例数”的称呼
|
2022-09-15 19:33:21 +08:00 |
|
|
|
8a60354b18
|
完成#3翻译定理的名字
|
2022-09-15 19:08:58 +08:00 |
|
|
|
c14f4f06ac
|
完成#2更新区间集合记号
|
2022-09-15 16:44:44 +08:00 |
|
|
|
a3aa4f4df1
|
在第10章新增了单调函数和导数以及反函数和导数的一部分
|
2022-09-15 16:24:17 +08:00 |
|
|
|
c76b6e7c64
|
小修改（主要是为了下载更新）
|
2022-09-15 16:24:16 +08:00 |
|
|
|
cbb5e0caf0
|
修复第8章公式渲染的问题
修复第8章开头因为界定符旁边有空格而在部分环境下无法渲染公式的问题
Signed-off-by: 方而静 <szdytom@163.com>
|
2022-09-08 08:38:39 +00:00 |
|
|
|
f2df980129
|
修复第8章多行公式过长的问题
修复第8章多行公式过长的问题，添加了换行，并对齐了大于等于号
Signed-off-by: 方而静 <szdytom@163.com>
|
2022-09-08 08:36:38 +00:00 |
|
|
|
5637cbed79
|
改为从1开始归纳
改为从1开始归纳，更加自然
Signed-off-by: 方而静 <szdytom@163.com>
|
2022-09-07 13:41:23 +00:00 |
|
|
|
5fe64f1a9f
|
给出良序原理的一个更简单的证明
通过有限集合最小元的存在性，给出良序原理的一个更简单的证明。
Signed-off-by: 方而静 <szdytom@163.com>
|
2022-09-07 13:41:23 +00:00 |
|
|
|
86a195e89c
|
增加关于有限集合的最大元和最小元的存在性的命题
作为对有限集使用类似归纳的方法的一个例子，在第3章的结尾自然的增加关于有限集合的最大元和最小元的存在性的命题 3.6.9，这将方便良序原理的证明。
Signed-off-by: 方而静 <szdytom@163.com>
|
2022-09-07 13:41:23 +00:00 |
|
|
|
389cf92c54
|
整理第7章的记号
Signed-off-by: 方而静 <szdytom@163.com>
|
2022-09-07 12:41:05 +00:00 |
|
|
|
dd8e110e56
|
Update 'README.md'
|
2022-09-07 09:21:12 +00:00 |
|
|
|
f957fad32d
|
整理第8章的记号
Signed-off-by: 方而静 <szdytom@163.com>
|
2022-09-07 09:18:20 +00:00 |
|
|
|
ddaafa0b25
|
错别字
|
2022-09-06 00:25:39 +00:00 |
|
|
|
ddfe3a8177
|
遗漏的修改
|
2022-09-05 11:38:43 +00:00 |
|
|
|
9a943b567c
|
按照意见修改
|
2022-09-05 11:38:43 +00:00 |
|
|
|
1c27a2440c
|
整合第六章
|
2022-09-05 11:38:43 +00:00 |
|
|
|
4b86466b25
|
整合第五章
|
2022-09-05 11:38:43 +00:00 |
|
|
|
958a8f25c3
|
更新第4章
|
2022-09-05 11:38:43 +00:00 |
|
|
|
e7b2eef877
|
整合第三章
|
2022-09-05 11:38:43 +00:00 |
|
|
|
706946ff2c
|
更新第2章
|
2022-09-05 11:38:43 +00:00 |
|
|
|
96718c12b6
|
统一章节数字格式
|
2022-09-05 08:56:06 +00:00 |
|
|
|
bd69321b4a
|
Update 'README.md'
|
2022-09-05 08:52:03 +00:00 |
|
|
|
86fbdffb67
|
忽略pdf文件
|
2022-09-05 14:40:21 +08:00 |
|
|
|
4125dafbc7
|
上传已有的文件
|
2022-09-05 14:29:40 +08:00 |
|
|
|
38e6f30d74
|
Initial commit
|
2022-09-05 03:38:43 +00:00 |
|
