60 Commits

Author SHA1 Message Date
lcw
a5a398d72b 完善习题章中和三角函数有关的内容,加入 10.8 不定积分,完善第11章,加入 11.11 黎曼积分的应用 2023-11-30 00:31:12 +08:00
lcw
ed1ecde0c0 编排修正 2023-11-12 23:09:02 +08:00
lcw
e14fe54151 补充10.6和10.7的内容,并将10.5和10.6作了对调 2023-11-12 22:58:16 +08:00
lcw
69fcdc0d12 在~7,~9,~10中补充了部分关于三角函数和自然对数的内容 2023-11-12 22:56:37 +08:00
lcw
07b3c225ae 新建~10 2023-11-04 14:54:06 +08:00
lcw
1e80a527a2 对第~9章、第10章做了补充,并新添 10.6高阶导数 和 10.7凸函数 2023-11-04 13:35:15 +08:00
lcw
17a93a81a9 修改了第9章中的区间的定义并修正了部分错误论述 2023-10-30 14:22:00 +08:00
lcw
79c6f29f14 markdown格式修正 2023-10-29 21:24:07 +08:00
lcw
ceab9af08f 新增习题章~9 2023-10-29 21:20:07 +08:00
lcw
38f10d790f 补充第9章,并增加了9.12 2023-10-24 10:43:03 +08:00
lcw
7153404bba markdown格式修正 2023-10-23 17:39:09 +08:00
lcw
c2f75329b6 为 9.11 又略微作了补充 2023-10-22 23:32:22 +08:00
lcw
82d2a0dffe 在第9章中补充了“极限语言的统一”和“渐进式”两部分,并改变了函数极限的定义 2023-10-22 22:42:32 +08:00
lcw
d542163c8a 完成 #6使用二级标题标记章节内的小节标题 2023-10-21 01:19:07 +08:00
lcw
99d86a386d markdown格式修正 2023-10-21 00:54:53 +08:00
lcw
f4a71722a4 基本完成第 5A 章 2023-10-14 18:11:01 +08:00
lcw
9247d54326 在 4.6 中添加一条引理 2023-09-23 20:45:05 +08:00
lcw
24b7aae68a 增加章节 “4.6 有理数集是最小的序域”,在 5.6 中增加伯努利不等式的内容 2023-09-23 15:16:23 +08:00
9267b15310 修正第11章中的部分格式问题 2023-04-13 21:18:38 +08:00
0024ce556f 初步完成第11章 2023-04-13 21:15:20 +08:00
2fea187a79 部分完成第11章 2023-04-11 13:30:24 +00:00
e3a3b9f589 初步完成第9章和第10章 2023-04-08 15:02:52 +00:00
70544b1d00 标记第8章完成 2022-10-03 08:22:07 +00:00
9065334a35 部分格式问题的修正 2022-09-26 09:16:36 +00:00
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