Add proof of fundamental theorem of arithmetic
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 3/5
- Thời gian dự kiến
- 1-2 ngày
- Mức phù hợp với người mới
- 45/100
- Loại issue
- Tài liệu
- Độ rõ ràng
- Đặc tả rõ ràng
- Mức độ hoạt động
- Đình trệ
- Công nghệ
- tex
- Lĩnh vực
- documentation
Hướng nghiên cứu
Bắt đầu với computability/recursive-functions/sequences.tex để xem xét cách định lý cơ bản của số học được sử dụng để mã hóa các dãy, sau đó đọc methods/induction/strong-induction.tex để đánh giá vị trí được đề xuất. Thêm cả chứng minh tồn tại và chứng minh duy nhất, sử dụng quy nạp mạnh khi thích hợp, và xác nhận rằng quá trình build của giáo trình đã thành công.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
computability/recursive-functions/sequences.tex uses the fundamental theorem of arithmetic to code sequences. Should add a proof of this. Since both existence and uniqueness proofs use strong induction, it might fit as an example in methods/induction/strong-induction.tex
- 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ự
-
documentation good first issue hacktoberfest help wanted
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
libredb/libredb-studio#1756 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
docs(skills): issue-first should reference an existing Linear ticket instead of filing a duplicateĐang mởdocumentation
Độ khó 1/5 1-3 giờ Mức phù hợp với người mới 74/100
Maintainer thường phản hồi trong vòng 1 ngày
-
documentation
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 72/100
-
area: docs good first issue
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 64/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Statuslist example's pass-through compressor makes the card checker read every entry as revokedĐang mởenhancement
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
decentralized-identity/kya-os-mcp#254 ·
Maintainer thường phản hồi trong vòng 1 ngày