方而静 szTom
0 Followers · 0 Following
  • Joined on 2022-08-22
Repositories
17
 Projects Packages Public Activity Starred Repositories
1
szTom pushed to main at ez_lcw/lcw-analyze 2022-09-07 21:41:24 +08:00
5637cbed79 改为从1开始归纳
5fe64f1a9f 给出良序原理的一个更简单的证明
86a195e89c 增加关于有限集合的最大元和最小元的存在性的命题
Compare 3 commits »
szTom deleted branch better-proof-well-ordering-theorem from ez_lcw/lcw-analyze 2022-09-07 21:41:24 +08:00
szTom pushed to better-proof-well-ordering-theorem at ez_lcw/lcw-analyze 2022-09-07 21:39:35 +08:00
f2cde78b37 改为从1开始归纳
szTom commented on issue ez_lcw/lcw-analyze#6 2022-09-07 21:05:32 +08:00
使用二级标题标记章节内的小节标题

1-7章已完成

szTom commented on issue ez_lcw/lcw-analyze#7 2022-09-07 20:42:10 +08:00
为标记了“证明：略”的地方添加证明思路概述

#389cf92c54 第7章已完成。

szTom pushed to main at ez_lcw/lcw-analyze 2022-09-07 20:41:05 +08:00
389cf92c54 整理第7章的记号
szTom opened issue ez_lcw/lcw-analyze#7 2022-09-07 20:40:16 +08:00
为标记了“证明：略”的地方添加证明思路概述
szTom opened issue ez_lcw/lcw-analyze#6 2022-09-07 20:32:35 +08:00
使用二级标题标记章节内的小节标题
szTom opened issue ez_lcw/lcw-analyze#5 2022-09-07 20:30:11 +08:00
在cases中不使用if或者“如果”这样的提示词
szTom pushed to better-proof-well-ordering-theorem at ez_lcw/lcw-analyze 2022-09-07 19:57:01 +08:00
4542dc746e 给出良序原理的一个更简单的证明
szTom created pull request ez_lcw/lcw-analyze#4 2022-09-07 19:44:39 +08:00
WIP: 使用更简单的方法证明良序原理
szTom created branch better-proof-well-ordering-theorem in ez_lcw/lcw-analyze 2022-09-07 19:43:16 +08:00
szTom pushed to better-proof-well-ordering-theorem at ez_lcw/lcw-analyze 2022-09-07 19:43:16 +08:00
6093b28560 增加关于有限集合的最大元和最小元的存在性的命题
szTom deleted branch better-proof-well-ordering-theorem from ez_lcw/lcw-analyze 2022-09-07 19:41:30 +08:00
szTom created branch better-proof-well-ordering-theorem in ez_lcw/lcw-analyze 2022-09-07 19:40:30 +08:00
szTom pushed to better-proof-well-ordering-theorem at ez_lcw/lcw-analyze 2022-09-07 19:40:30 +08:00
828f968cdc 增加关于有限集合的最大元和最小元的存在性的命题
szTom pushed to main at ez_lcw/lcw-analyze 2022-09-07 17:21:12 +08:00
dd8e110e56 Update 'README.md'
szTom opened issue ez_lcw/lcw-analyze#3 2022-09-07 17:20:30 +08:00
翻译定理的名字
szTom pushed to main at ez_lcw/lcw-analyze 2022-09-07 17:18:20 +08:00
f957fad32d 整理第8章的记号
szTom pushed to main at ez_lcw/lcw-analyze 2022-09-06 08:25:40 +08:00
ddaafa0b25 错别字