This course covers elementary discrete mathematics required for computer science and engineering students. Emphasis is placed on mathematical definitions and proofs as well as methods of application. Topics include a review of set theory, formal logic notation and operations, methods of proof, induction, permutations and combinations, basic and advanced counting techniques, recurrence relations, generating functions, graph theory and finite state machines. 

• CSC 101+ Lab : Introduction to Computer Programming

• Derive big-O running time for simple pseudocode examples, especially recursive examples. Includes finding closed-forms for recursively-defined formulas using unrolling and recursion trees
• Write inductive proofs, including proofs on trees
• Apply predicate logic: determine the truth of statements, perform simple transformations (esp. negation), accurately apply formal definitions (esp. vacuous truth cases, attention to variable types and scope)
• Write literate proofs using straightforward application of standard outlines (direct, contrapositive, contradiction, upper/lower bounds).
• State and apply basic definitions, facts, and notation for commonly used discrete math constructs
• Classify examples the complexity of very simple examples in terms of countable versus uncountable, polynomial versus exponential, decidable versus undecidable 

1. Discrete Mathematics and its Applications by K. Rosen

Biweekly Quiz, One Midterm Exam, One Final Exam