ez_lcw/lcw-analyze

完善第8、9、10、11章 #9

New Issue

Open

opened 2022-09-15 11:12:55 +00:00 by ez_lcw · 4 comments

ez_lcw commented

2022-09-15 11:12:55 +00:00

Owner

第8章和第9章也是尚未完善的

第8章和第9章也是尚未完善的

ez_lcw commented

2022-09-19 04:54:24 +00:00

Author

Owner

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

增补一些习题
简化一些表达，包括证明的简化，以及记号的简化（例如关于基数大小关系比较，应定义一个符号来代替文字），使得文章篇幅更缩减
增加过渡性和连接性文字

对于第8章的完善暂包括： - 增补一些习题 - 简化一些表达，包括证明的简化，以及记号的简化（例如关于基数大小关系比较，应定义一个符号来代替文字），使得文章篇幅更缩减 - 增加过渡性和连接性文字

ez_lcw commented

2022-09-21 12:32:14 +00:00

Author

Owner

对于第8章需要 @szTom 协助的地方：

寻找引理 8.2.10 的更简洁的证明方法（或者简化其中的步骤）
寻找引理 8.5.8 的更简洁的证明方法（或者简化其中的步骤）

对于第8章需要 @szTom 协助的地方： - 寻找引理 8.2.10 的更简洁的证明方法（或者简化其中的步骤） - 寻找引理 8.5.8 的更简洁的证明方法（或者简化其中的步骤）

szTom was assigned by ez_lcw

2022-09-21 12:32:31 +00:00

szTom commented

2022-09-24 11:16:17 +00:00

Contributor

第八章进度 #15

第八章进度 #15

szTom added the

Add Content/新增内容

Language Improvement/语言修订

labels 2022-09-24 11:16:49 +00:00

ez_lcw changed title from ~~完善第8、9、10章~~ to 完善第8、9、10、11章

2023-10-20 17:23:50 +00:00

ez_lcw commented

2023-10-20 17:32:20 +00:00

Author

Owner

目前进度：

第八章可能可以继续添加的：（优先级较低，因为第八章已经基本完善过一遍了）

增补一些习题
增加过渡性和连接性文字
寻找引理 8.2.10 的更简洁的证明方法（或者简化其中的步骤）
寻找引理 8.5.8 的更简洁的证明方法（或者简化其中的步骤）

第九章、第十章和第十一章目前看起来最紧迫的是需要完善一些解释和理解，以及增加一些过渡性文字。

目前进度：第八章可能可以继续添加的：（优先级较低，因为第八章已经基本完善过一遍了） - 增补一些习题 - 增加过渡性和连接性文字 - 寻找引理 8.2.10 的更简洁的证明方法（或者简化其中的步骤） - 寻找引理 8.5.8 的更简洁的证明方法（或者简化其中的步骤）第九章、第十章和第十一章目前看起来最紧迫的是需要完善一些解释和理解，以及增加一些过渡性文字。

Sign in to join this conversation.

2 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: ez_lcw/lcw-analyze#9

No description provided.