cs-foundations
Agent skill fromforyourhealth111-pixel/Vibe-Skills
Master discrete mathematics, logic, formal proofs, and computational thinking. Build the mathematical foundation for all computer science.
How to install cs-foundations
install cs-foundations
# install the Vibe-Skills pack with the skills CLI
npx skills add foryourhealth111-pixel/Vibe-Skills# or add only this skill to Claude Code: copy the folder
bundled/skills/cs-foundations/
# into
~/.claude/skills/cs-foundations/ (all projects)
.claude/skills/cs-foundations/ (one project)
1# CS Foundations Skill23## Skill Metadata45```yaml6skill_config:7 version: "1.0.0"8 category: theoretical9 prerequisites: []10 estimated_time: "6-8 weeks"11 difficulty: intermediate1213 parameter_validation:14 topic:15 type: string16 enum: [logic, proofs, sets, functions, combinatorics, number-theory, graphs]17 required: true18 depth:19 type: string20 enum: [intro, standard, advanced]21 default: standard2223 retry_config:24 max_attempts: 325 backoff_strategy: exponential26 initial_delay_ms: 5002728 observability:29 log_level: INFO30 metrics: [topic_usage, proof_verification_rate, exercise_completion]31```3233---3435## Quick Start3637Computer science is built on mathematics. Master these fundamentals:3839### Core Topics4041**Discrete Mathematics**42- Set theory and operations43- Logic and proof techniques44- Combinatorics and counting45- Number theory basics46- Relations and functions4748**Computational Thinking**49- Problem decomposition50- Abstraction and generalization51- Pattern recognition52- Algorithmic thinking5354**Formal Logic**55- Propositional logic56- Predicate logic57- Proof by induction58- Truth tables and logical equivalence5960---6162## Learning Path6364**Week 1: Logic Basics**65- Boolean algebra66- Truth tables67- Logical operators68- Inference rules6970**Week 2: Proof Techniques**71- Direct proof72- Proof by contradiction73- Mathematical induction74- Strong induction7576**Week 3: Set Theory**77- Set operations (∪, ∩, complement)78- Cartesian product79- Relations80…
Excerpt shown under the repository's Apache-2.0 license.
