Ken Rosen (Middletown, NJ) is a distinguished member of the technical staff at AT & T Labs.

• 1) The Foundations: Logic and Proofs2) Basic Structures: Sets, Functions, Sequences, Sums, Matrices3) Algorithms4) Number Theory and Cryptography5) Induction and Recursion6) Counting7) Discrete Probability8) Advanced Counting Techniques9) Relations10) Graphs11) Trees12) Boolean Algebra13) Modeling ComputationAppendices

Ken Rosen (Middletown, NJ) is a distinguished member of the technical staff at AT & T Labs.

• 1) The Foundations: Logic and Proofs2) Basic Structures: Sets, Functions, Sequences, Sums, Matrices3) Algorithms4) Number Theory and Cryptography5) Induction and Recursion6) Counting7) Discrete Probability8) Advanced Counting Techniques9) Relations10) Graphs11) Trees12) Boolean Algebra13) Modeling ComputationAppendices

Ken Rosen (Middletown, NJ) is a distinguished member of the technical staff at AT & T Labs.

• 1) The Foundations: Logic and Proofs2) Basic Structures: Sets, Functions, Sequences, Sums, Matrices3) Algorithms4) Number Theory and Cryptography5) Induction and Recursion6) Counting7) Discrete Probability8) Advanced Counting Techniques9) Relations10) Graphs11) Trees12) Boolean Algebra13) Modeling ComputationAppendices