Mathematical Foundations for Computer Science Course ID 15151 Description *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 Required Background Knowledge None 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. Learning Resources Supplemental Reading 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
