CSE 20: Discrete Mathematics (Winter, 2006)

Discussion Section: Wed. 10:00-10:50 in Center 212.

Course Objectives: This course provides the mathematical background necessary for reasoning in computer science. You will learn logic and basic proof techniques useful for the design and verification of programs and circuits.

Course Description: Basic discrete mathematical structures; sets, relations, functions, sequences, equivalence relations, partial orders, and number systems. Methods of reasoning and proofs; propositional logic, predicate logic, induction, recursion, and pigeonhole principle. Infinite sets and diagonalization. Basic counting techniques; permutations and combinations. Applications will be given to digital logic design, elementary number theory, design of programs, and proofs of program correctness.

Disccusion Board: his class has a discussion board available. It's monitored by TAs and the instructor. You'll find it a good place to go for help (although office hours are good, too!).

Textbooks:

• A Short Course in Discrete Mathematics by E. Bender and G. Williamson.

  This is available at the Bookstore, or it can be downloaded for free from http://www.math.ucsd.edu/~ebender/DiscreteText1/index.html. Note that there are a number of typos in the book. I recommend you go through the list of typos and markup you book with the corrections.

• How to Read and Do Proofs by Daniel Solow (John Wiley & Sons; 4th edition).

• 2000 Solved Problems in Discrete Mathematics by Seymour Lipshchutz.

• Discrete Mathematics with Applications by Susanna Epp.sss

Grades