18 Commits

Author SHA1 Message Date
lcw
d6f4f73e39 初步完成第12章和第13章 2024-10-26 11:44:56 +08:00
lcw
7153404bba markdown格式修正 2023-10-23 17:39:09 +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
9065334a35 部分格式问题的修正 2022-09-26 09:16:36 +00:00
250cb51334 完成第8章 2022-09-26 09:16:36 +00:00
ef4bff7a41 完成了第8章的部分内容 2022-09-26 09:16:36 +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
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
5fe64f1a9f 给出良序原理的一个更简单的证明
通过有限集合最小元的存在性,给出良序原理的一个更简单的证明。

Signed-off-by: 方而静 <szdytom@163.com>
2022-09-07 13:41:23 +00:00
f957fad32d 整理第8章的记号
Signed-off-by: 方而静 <szdytom@163.com>
2022-09-07 09:18:20 +00:00
4125dafbc7 上传已有的文件 2022-09-05 14:29:40 +08:00