Topics in Formal Mathematics

9 units · Undergraduate

Intermittent: 9 units Complementary to 21-321 Interactive Theorem Proving, this course is designed to present special topics on the use of formalization and formal methods in mathematics. For example, the course might focus on formalization of a specific branch of mathematics, or on a specific method for automation or computational reasoning. Prerequisites: ( 21-127 or 15-151 or 21-128 ) and ( 21-269 or 21-259 or 21-266 or 21-268 ) Course Website: https://www.cmu.edu/math/undergrad/math-course-information.html