Main Objective

• To introduce students to topics in discrete mathematics which are important for advanced computer science courses
• To expand students’ mathematical reasoning capabilities so that they can read, comprehend and construct mathematical arguments successfully.

Measureable Objectives:
The student will be able to...

• Explain with examples the basic terminology of functions, relations, and sets.
• Perform the operations associated with sets, functions, and relations.
• Relate practical examples to the appropriate set, function, or relation model, and interpret the associated operations and terminology in context.
• Apply formal methods of symbolic propositional and predicate logic.
• Describe how formal tools of symbolic logic are used to model algorithms and real-life situations.
• Use formal logic proofs and logical reasoning to solve problems such as puzzles.
• Outline the basic structure of and give examples of each proof technique described in this unit.
• Discuss which type of proof is best for a given problem.