cs-foundations

# CS Foundations Skill ## Skill Metadata ```yaml skill_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] ``` --- ## Quick Start Computer science is built on mathematics. Master these fundamentals: ### Core Topics **Discrete Mathematics** - Set theory and operations - Logic and proof techniques - Combinatorics and counting - Number theory basics - Relations and functions **Computational Thinking** - Problem decomposition - Abstraction and generalization - Pattern recognition - Algorithmic thinking **Formal Logic** - Propositional logic - Predicate logic - Proof by induction - Truth tables and logical equivalence --- ## Learning Path **Week 1: Logic Basics** - Boolean algebra - Truth tables - Logical operators - Inference rules **Week 2: Proof Techniques** - Direct proof - Proof by contradiction - Mathematical induction - Strong induction **Week 3: Set Theory** - Set operations (∪, ∩, complement) - Cartesian product - Relations - Equiv...