[feature request] Grounding examples for abstract concepts
Nobody has claimed this yet.
Assessment
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Newbie friendliness
- 35/100
- Issue type
- Documentation
- Clarity
- Mostly clear
- Activity status
- Stale
- Tech stack
- tex
- Domain
- documentation
Research direction
Start with the textbook introduction where abstract concepts and relations are defined, then review the discussion of symmetric and anti-symmetric properties. Done means adding familiar examples, such as from number theory or geometry, and addressing the suggested symmetry and anti-symmetry visualization without changing the underlying definitions.
Written by the indexing model from the issue text.
Description
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.
- Dominant language
- TeX
- Stars
- 1.4k
- Forks
- 289
- PR merge metrics
- No merged PRs in 30d
Getting set up
This project ships no dev container, Dockerfile or contributing guide, so setting up is up to you: start from its README, and see our first-contribution guide for the general steps.
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from OpenLogicProject/OpenLogic
-
Difficulty 1/5 Under an hour Newbie friendliness 65/100
OpenLogicProject/OpenLogic#339 · 1 comment ·
-
Difficulty 4/5 3-5 days Newbie friendliness 50/100
OpenLogicProject/OpenLogic#436 ·
-
Difficulty 3/5 1-2 days Newbie friendliness 68/100
OpenLogicProject/OpenLogic#435 · 1 comment ·
-
Difficulty 5/5 Over a week Newbie friendliness 30/100
OpenLogicProject/OpenLogic#425 · 1 comment ·
-
Improve docsOpen
Difficulty 5/5 Over a week Newbie friendliness 25/100
OpenLogicProject/OpenLogic#390 ·
All issues in OpenLogicProject/OpenLogic
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
nats-io/nats.docs.v2#101 ·
Maintainers usually reply within 1 day
-
[work-item] adam-adae-onset-emergence: document the minute-precision datetime coercion (ASTTMF not derivable)Possibly taken @muse-yamaa-bot claimed this today. Openwork-item
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
Maintainers usually reply within 1 day
-
sync-en
Difficulty 1/5 Under an hour Newbie friendliness 83/100
Maintainers usually reply within 1 day
-
sync-en
Difficulty 1/5 Under an hour Newbie friendliness 86/100
Maintainers usually reply within 3 days
-
Перевод устарел
Difficulty 2/5 1-3 hours Newbie friendliness 70/100