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 CODECOURSE TITLE2023 – 2024 AVAILABILITY
BIOS 20151Introduction to Quantitative Modeling in Biology.Spring
BIOS 20152Introduction to Quantitative Modeling in Biology (Advanced)Not available
BIOS 20172Mathematical Modeling for Pre-Med StudentsSpring
BIOS 20236Biological DynamicsSpring
CHDV 39301Qualitative Research MethodsNot available
CMSC 12100Computer Science with Applications INot available
CMSC 12200Computer Science with Applications IINot available
CMSC 14100Introduction to Computer Science IAutumn, Winter
CMSC 14200Introduction to Computer Science IIWinter, Spring
CMSC 14300Systems Programming IAutumn, Spring
CMSC 14400Systems Programming IIAutumn, Winter
CMSC 15100Introduction to Computer Science INot available
CMSC 15200Introduction to Computer Science IINot available
CMSC 15400Introduction to Computer SystemsNot available
CMSC 25300Mathematical Foundations of Machine LearningAutumn, Spring
CMSC 27100Discrete MathematicsAutumn, Winter
ECON 10700Introductory Game TheoryAutumn, Winter, Spring
LING 20120Formal Foundations of LinguisticsNot available
LING 22500Quantitative Methods in LinguisticsNot available
LING 36601Intro to Python and R for LinguistsWinter
MATH 13100Elem Functions and Calculus IAutumn, Winter
MATH 13200Elem Functions and Calculus IIWinter, Spring
MATH 13300Elementary Functions and Calculus IIISpring
MATH 15100Calculus IAutumn
MATH 15200Calculus IIAutumn, Winter
MATH 15250Mathematical Methods for Economic AnalysisAutumn, Winter, Spring
MATH 15300Calculus IIIAutumn, Winter, Spring
MATH 16100Honors Calculus IAutumn
MATH 16200Honors Calculus IIWinter
MATH 16300Honors Calculus IIISpring
MATH 19620Linear AlgebraAutumn, Winter, Spring
MATH 20250Abstract Linear AlgebraAutumn, Winter, Spring
MATH 27700Mathematical Logic INot available
MATH 28000Introduction to Formal LanguagesNot available
NSCI 21820Introduction to Python for Biologists & NeuroscientistsWinter
PHIL 20100Introduction to LogicAutumn, Winter
PSYC 20200Psychological Research MethodsAutumn
PSYC 20250Introduction to Statistical Concepts and MethodsWinter
SOSC 26007Overview of Quantitative Methods in the Social and Behavioral SciencesWinter
STAT 22000Statistical Methods and ApplicationsAutumn, Winter, Spring
STAT 23400Statistical Models and MethodsAutumn, Winter, Spring
STAT 24400Statistical Theory and Methods IAutumn, Winter
STAT 24500Statistical Theory and Methods IIWinter, Spring
STAT 27410Introduction to Bayesian Data AnalysisSpring
Scroll to Top