Provide the reader with full information
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 5/5
- Thời gian dự kiến
- Hơn một tuần
- Mức phù hợp với người mới
- 25/100
- Loại issue
- Tài liệu
- Độ rõ ràng
- Cần làm rõ
- Mức độ hoạt động
- Đình trệ
- Công nghệ
- tex
- Lĩnh vực
- content, documentation
Hướng nghiên cứu
Bắt đầu bằng cách xác định đoạn văn được hiển thị trong hình ảnh được liên kết, nằm trong phần về lý thuyết tập hợp tiên đề nghiêm ngặt của giáo trình, rồi đọc phần trình bày xung quanh. Xác định những sự kiện, định lý hoặc chứng minh nào còn thiếu trong phần trình bày; được coi là hoàn tất khi đoạn văn liên quan cung cấp đầy đủ thông tin được yêu cầu thay vì dựa vào dạng viết tắt được hiển thị.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
Hi, I would kindly like to suggest providing the reader with full information of the facts/theorems/proofs etc. regardless of difficulty or notation.
For instance, the following is not really a good representation especially when in the book says that this part is the rigorous one and not the naive set theory
This specific part of the book is all about rediscovering set theory on a rigorous axiomatic way and the above is not IMHO well-suited at all for this part of the book. It could have been fine to claim something like the above in the naive part of the book.
- Ngôn ngữ chính
- TeX
- Star
- 1.4k
- Fork
- 289
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Chuẩn bị môi trường
Dự án này không cung cấp dev container, Dockerfile hay hướng dẫn đóng góp, nên bạn cần tự thiết lập môi trường: hãy bắt đầu từ README và xem hướng dẫn đóng góp lần đầu của chúng tôi để biết các bước chung.
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của OpenLogicProject/OpenLogic
-
Russel's Paradox typoĐang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 65/100
OpenLogicProject/OpenLogic#339 · 1 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 50/100
OpenLogicProject/OpenLogic#436 ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 68/100
OpenLogicProject/OpenLogic#435 · 1 bình luận ·
-
Order-type of models of PAĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
OpenLogicProject/OpenLogic#425 · 1 bình luận ·
-
Improve docsĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
OpenLogicProject/OpenLogic#390 ·
Tất cả issue của OpenLogicProject/OpenLogic
Issue tương tự
-
Add: Cbeebies PL SDĐang mởapproved check:passed streams:add
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100
iptv-org/iptv#54525 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
0xlau.dev 已失效，切换成 timlau.meĐang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 69/100
timqian/chinese-independent-blogs#2235 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
correction revision
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
acl-org/acl-anthology#10192 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 95/100
-
[External Plugin]: local-mcpĐang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 62/100
github/awesome-copilot#4635 ·
Maintainer thường phản hồi trong vòng 2 ngày