21-322 Topics in Formal Mathematics

9 units, Carnegie Mellon University

Complementary to 21321 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-128 or 21-127 or 15-151) and (21-268 or 21-266 or 21-269 or 21-259)

Courseweave needs JavaScript to show sections, workloads and planning tools.