discrete-math
Discrete mathematics fundamentals
Source facts
- Repository
- ffsshhttiikk/opencode-agents-skills
- Last source activity
- February 28, 2026 at 22:49
- Detected SKILL.md language
- English
- Stars
- 3
- Forks
- 2
Install options
The review-first prompt is selected by default. You can switch to a direct command or download a local copy.
Review the source files
Read SKILL.md and any companion files shown by SkillsMP before deciding whether to install.
Showing SKILL.md
SKILL.md
Source instructions · Read-only preview- name
- discrete-math
- description
- Discrete mathematics fundamentals
- license
- MIT
- compatibility
- opencode
- metadata
- {"audience":"mathematicians","category":"mathematics"}
## What I do
- Apply propositional and predicate logic
- Analyze mathematical proofs (induction, contradiction)
- Work with sets, relations, and functions
- Apply combinatorics and graph theory basics
- Solve recurrence relations
- Model with discrete structures
## When to use me
When studying computer science foundations, proving mathematical statements, or analyzing algorithms.
## Key Concepts
- **Logic**: Propositional operators ∧, ∨, ¬, →, ↔; quantifiers ∀, ∃
- **Proof by Induction**: Base case + inductive step proves for all n
- **Sets**: Union, intersection, complement, De Morgan's laws
- **Relations**: Reflexive, symmetric, transitive properties
- **Functions**: Injective, surjective, bijective classifications
- **Recurrence**: a_n defined in terms of previous terms
View on GitHub