Section 3: Learning Outcomes and Objectives
Upon completion of this course, the
student will be able to:
- analyze how formal tools of symbolic logic are used
to model real-life situations, including those arising
in computing contexts such as program correctness,
database queries, and algorithms.
- compare the ideas of mathematical induction to
recursion and recursively defined structures.
- analyze a problem to create relevant recurrence
equations.
- design different traversal methods for trees and
graphs.
- choose between the binomial theorem for independent
events and Bayes’ theorem for dependent events.
|