- 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.
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.