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

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
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 15300Calculus IIIAutumn, Winter, Spring
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
STAT 22000Statistical Methods and ApplicationsAutumn, 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