Introduction to the mathematical foundations of computer science. Topics include logic (propositional and predicate); proof techniques (induction/recursion, contradiction, and others); and key concepts of mathematical structures (sequences, sets, functions, relations, and graphs).
Prerequisite
AMS 151 or MAT 125 or MAT 131 or level 6 on the mathematics placement examination
Course Outcomes
An ability to use sound logical reasoning in solving computational problems.
An ability to use proof techniques such as induction/recursion, contradiction, and others.
An ability to identify key concepts of mathematical structures such as sequences, sets, functions, relations, and graphs.
Textbook
Discrete Mathematics: Introduction to Mathematical Reasoning. Susanna S. Epp. Brief Edition.