Mathematical Foundations for Computer Science

Course ID 15151

*CS majors only* This course is offered to incoming Computer Science freshmen and focuses on the fundamental concepts in Mathematics that are of particular interest to Computer Science such as logic, sets, induction, functions, and combinatorics. These topics are used as a context in which students learn to formalize arguments using the methods of mathematical proof. This course uses experimentation and collaboration as ways to gain better understanding of the material.   
NOTE: students must achieve a C or better in order to use this course to satisfy the prerequisite for any subsequent Computer Science course.

Key Topics
Proofs, Induction, Functions and Sets, Combinatorics, Probability

Learning Resources
Supplemental Reading

Course Relevance
Open to CS freshmen only. Designed to teach about fundamental concepts in mathematics.

Course Goals
Students learn to formalize arguments using mathematical proofs. Ability to reason logically and clearly. Ability to prove using elementary logic.

Pre-required Knowledge
None

Assessment Structure
Each of the two high midterm scores: 20%, The low midterm score: 10%, Homework: 20%, Final Exam: 30%

Course Link
https://www.math.cmu.edu/~jmackey/151_128/welcome.html