Mathematical and Formal Reasoning

MF code: one 5-credit course or equivalent. Courses that carry the MF GE designation emphasize university-level mathematics, computer programming, formal logic, or other material that stresses formal reasoning, formal model building, or the application of formal systems. These courses generally focus on one of the following:

  1. mathematical reasoning and proof
  2. formal logic
  3. computer programming
  4. other formal systems (e.g., generative grammars, economic models, formal music theory)

Whichever particular approach is used, these classes aim to teach students to think with rigor and precision, using formal or mathematical models to teach the value of logical reasoning and dispassionate analysis.