Master discrete mathematics, logic, formal proofs, and computational thinking. Build the mathematical foundation for all computer science.
Teaches discrete mathematics, logic, and formal proofs through structured lessons and practice problems. Use when users need to understand algorithm correctness, analyze computational complexity, or prepare for CS theory interviews.
/plugin marketplace add pluginagentmarketplace/custom-plugin-computer-science/plugin install computer-science-plugin@pluginagentmarketplace-computer-scienceThis skill inherits all available tools. When active, it can use any tool Claude has access to.
assets/proof-template.mdreferences/PROOF-TECHNIQUES.mdscripts/proof_validator.pyscripts/verify-proof.pyskill_config:
version: "1.0.0"
category: theoretical
prerequisites: []
estimated_time: "6-8 weeks"
difficulty: intermediate
parameter_validation:
topic:
type: string
enum: [logic, proofs, sets, functions, combinatorics, number-theory, graphs]
required: true
depth:
type: string
enum: [intro, standard, advanced]
default: standard
retry_config:
max_attempts: 3
backoff_strategy: exponential
initial_delay_ms: 500
observability:
log_level: INFO
metrics: [topic_usage, proof_verification_rate, exercise_completion]
Computer science is built on mathematics. Master these fundamentals:
Discrete Mathematics
Computational Thinking
Formal Logic
Week 1: Logic Basics
Week 2: Proof Techniques
Week 3: Set Theory
Week 4: Functions
Week 5: Combinatorics
Week 6: Number Theory
| Issue | Root Cause | Resolution |
|---|---|---|
| Proof stuck | Missing case or wrong direction | Check base case, verify induction step |
| Set operation confusion | ∪ vs ∩ mix-up | Draw Venn diagram |
| Counting error | Overcounting duplicates | Distinguish P(n,r) vs C(n,r) |
| Modular arithmetic error | Forgot wraparound | Work with remainders explicitly |
These foundations enable:
Use when working with Payload CMS projects (payload.config.ts, collections, fields, hooks, access control, Payload API). Use when debugging validation errors, security issues, relationship queries, transactions, or hook behavior.
Applies Anthropic's official brand colors and typography to any sort of artifact that may benefit from having Anthropic's look-and-feel. Use it when brand colors or style guidelines, visual formatting, or company design standards apply.
Creating algorithmic art using p5.js with seeded randomness and interactive parameter exploration. Use this when users request creating art using code, generative art, algorithmic art, flow fields, or particle systems. Create original algorithmic art rather than copying existing artists' work to avoid copyright violations.