Description
A course designed to prepare math, computer science, and engineering majors for a background in abstraction, notation, and critical thinking for the mathematics most directly related to computer science. Topics include: logic, relations, functions, basic set theory, countability and counting arguments, proof techniques, mathematical induction, combinatorics, discrete probability, recursion, sequence and recurrence, elementary number theory, graph theory, and mathematical proof techniques.
Upon successful completion of this course, students will: construct mathematical arguments using logical connectives and quantifiers; verify the correctness of an argument using propositional and predicate logic and truth tables; demonstrate the ability to solve problems using counting techniques and combinatorics in the context of discrete probability; solve problems involving recurrence relations and generating functions; use graphs and trees as tools to visualize and simplify situation