[feature request] Grounding examples for abstract concepts
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
- 35/100
- Loại issue
- Tài liệu
- Độ rõ ràng
- Khá 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 phần giới thiệu của giáo trình, nơi các khái niệm và quan hệ trừu tượng được định nghĩa, sau đó xem lại phần thảo luận về các tính chất đối xứng và phản đối xứng. Công việc được xem là hoàn tất khi bổ sung các ví dụ quen thuộc, chẳng hạn từ lý thuyết số hoặc hình học, và đề cập đến cách trực quan hóa đối xứng và phản đối xứng được đề xuất mà không thay đổi các định nghĩa nền tảng.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
It would be beneficial for the reader if there were some examples following the introduction of definitions of abstract concepts grounded in topics that most folks would be familiar with derived for instance from number theory or geometry?
For instance, such examples would benefit and strengthen the introduction and understanding of special properties of relations.
An example would be when reading the symmetric property. A natural question arising is whether x=y? (Before reading below the definition of anti-symmetry)
A nice visualisation to illustrate the notions of symmetry and anti-symmetry is the following
The table describes a symmetric property, while at the same time the diagonal describes and anti-symmetric property.
- 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ự
-
Độ khó 2/5 Dưới một giờ Mức phù hợp với người mới 70/100
-
2.3 EDA: `np.log` example adds +1 to every value, so it can't produce the `-inf` output shownĐang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 92/100
DataTalksClub/machine-learning-zoomcamp#730 ·
Maintainer thường phản hồi trong vòng 2 ngày
-
docs: tutorial 7 still references removed A2AStarletteApplicationCó thể đã có người làm @FOWEPJF255 đã nhận hôm nay. Đang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 92/100
a2aproject/A2A#2321 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
area:claude-code-web area:docs bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100
anthropics/claude-code#100184 ·
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 75/100
hturner/pkg-dev-ctv#57 ·