## Formal foundations COURSES

As part of their coursework in the major, students must develop expertise in the formal analytical methods used in the field of cognitive science. The specific formal skills that will be most useful depend on each individual’s particular areas of interest, so students are free to select any two courses from an approved set of options that include (but are not limited to) courses in mathematics, computer science, logic, quantitative analysis, and experiment design.

Experience with the equivalent of one course in Calculus is highly recommended, as expertise in this area is required for many of the Disciplinary Courses. (**Note: **Calculus I-II may be used to satisfy the Formal Foundations requirement only if they are not used to satisfy the Mathematical Sciences component of the College Core, per College requirements.)

The following are examples of courses that could be used to satisfy the Formal Foundations requirement.

### Formal Foundations

COURSE CODE | COURSE TITLE | 2023 – 2024 AVAILABILITY |
---|---|---|

BIOS 20151 | Introduction to Quantitative Modeling in Biology. | Spring |

BIOS 20152 | Introduction to Quantitative Modeling in Biology (Advanced) | Not available |

BIOS 20172 | Mathematical Modeling for Pre-Med Students | Spring |

BIOS 20236 | Biological Dynamics | Spring |

CHDV 39301 | Qualitative Research Methods | Not available |

CMSC 12100 | Computer Science with Applications I | Not available |

CMSC 12200 | Computer Science with Applications II | Not available |

CMSC 14100 | Introduction to Computer Science I | Autumn, Winter |

CMSC 14200 | Introduction to Computer Science II | Winter, Spring |

CMSC 14300 | Systems Programming I | Autumn, Spring |

CMSC 14400 | Systems Programming II | Autumn, Winter |

CMSC 15100 | Introduction to Computer Science I | Not available |

CMSC 15200 | Introduction to Computer Science II | Not available |

CMSC 15400 | Introduction to Computer Systems | Not available |

CMSC 25300 | Mathematical Foundations of Machine Learning | Autumn, Spring |

CMSC 27100 | Discrete Mathematics | Autumn, Winter |

ECON 10700 | Introductory Game Theory | Autumn, Winter, Spring |

LING 20120 | Formal Foundations of Linguistics | Not available |

LING 22500 | Quantitative Methods in Linguistics | Not available |

LING 36601 | Intro to Python and R for Linguists | Winter |

MATH 13100 | Elem Functions and Calculus I | Autumn, Winter |

MATH 13200 | Elem Functions and Calculus II | Winter, Spring |

MATH 13300 | Elementary Functions and Calculus III | Spring |

MATH 15100 | Calculus I | Autumn |

MATH 15200 | Calculus II | Autumn, Winter |

MATH 15250 | Mathematical Methods for Economic Analysis | Autumn, Winter, Spring |

MATH 15300 | Calculus III | Autumn, Winter, Spring |

MATH 16100 | Honors Calculus I | Autumn |

MATH 16200 | Honors Calculus II | Winter |

MATH 16300 | Honors Calculus III | Spring |

MATH 19620 | Linear Algebra | Autumn, Winter, Spring |

MATH 20250 | Abstract Linear Algebra | Autumn, Winter, Spring |

MATH 27700 | Mathematical Logic I | Not available |

MATH 28000 | Introduction to Formal Languages | Not available |

NSCI 21820 | Introduction to Python for Biologists & Neuroscientists | Winter |

PHIL 20100 | Introduction to Logic | Autumn, Winter |

PSYC 20200 | Psychological Research Methods | Autumn |

PSYC 20250 | Introduction to Statistical Concepts and Methods | Winter |

SOSC 26007 | Overview of Quantitative Methods in the Social and Behavioral Sciences | Winter |

STAT 22000 | Statistical Methods and Applications | Autumn, Winter, Spring |

STAT 23400 | Statistical Models and Methods | Autumn, Winter, Spring |

STAT 24400 | Statistical Theory and Methods I | Autumn, Winter |

STAT 24500 | Statistical Theory and Methods II | Winter, Spring |

STAT 27410 | Introduction to Bayesian Data Analysis | Spring |