Stanford University

Computational Foundations Concentration: Approved Courses

Use the dropdown below to find courses in each concentration area offered in the current academic year.

For the Stanford Community, please see the full list of requirements for the Computational Foundations Concentration. 

Title
Quarter
Day, Time, Location
CS 107
Computer Organization and Systems
Tagged for: CoFo - Computer Systems I | AI - Programming | CogSci - Research Methods
2021 - 2022
Autumn
Monday Friday
1:30 PM
3:00 PM
CS 107
Computer Organization and Systems
Tagged for: CoFo - Computer Systems I | AI - Programming | CogSci - Research Methods
2021 - 2022
Winter
Monday Friday
11:30 AM
1:00 PM
CS 107
Computer Organization and Systems
Tagged for: CoFo - Computer Systems I | AI - Programming | CogSci - Research Methods
2021 - 2022
Spring
Monday Friday
1:30 PM
3:00 PM
CS 107E
Computer Systems from the Ground Up
Tagged for: CoFo - Computer Systems I | AI - Programming
2021 - 2022
Autumn
Monday Friday
1:30 PM
3:00 PM
CS 107E
Computer Systems from the Ground Up
Tagged for: CoFo - Computer Systems I | AI - Programming
2021 - 2022
Winter
Monday Friday
11:30 AM
1:00 PM
CS 107E
Computer Systems from the Ground Up
Tagged for: CoFo - Computer Systems I | AI - Programming
2021 - 2022
Spring
Monday Wednesday
3:15 PM
4:45 PM
CS 110
Principles of Computer Systems
Tagged for: CoFo - Computer Systems II
2021 - 2022
Autumn
Monday Wednesday Friday
8:30 AM
9:30 AM
CS 110
Principles of Computer Systems
Tagged for: CoFo - Computer Systems II
2021 - 2022
Winter
Monday Wednesday Friday
11:00 AM
12:00 PM
CS 111
Operating Systems Principles
Tagged for: CoFo - Computer Systems II
2021 - 2022
Spring
Monday Wednesday Friday
11:00 AM
12:00 PM
CS 151
Logic Programming
Tagged for: AI - Knowledge | AL- Computational | CoFo - Integrative Requirement | MaFo - Integrative Requirement | AppLog - Computational Approaches to Logic | AppLog - Integrative Requirement
2021 - 2022
Spring
Tuesday Thursday
1:30 PM
3:00 PM
CS 154
Introduction to the Theory of Computation
Tagged for: AI - Mathematical foundations | AL | NL - Mathematical/Computational Foundations | DMR- Methodological Foundations | CogSci- Theoretical Foundations | CoFo - Theory of Computation Depth | MaFo - Integrative Requirement | AppLog - Computability | CogSci - Cognitive Science Depth | PhiFo - Logic
2021 - 2022
Autumn
Tuesday Thursday
11:30 AM
1:00 PM
CS 157
Computational Logic
Tagged for: AI - Knowledge | AL- Computational | CoFo - Integrative Requirement | MaFo - Integrative Requirement | AppLog - Computational Approaches to Logic
2021 - 2022
Autumn
Tuesday Thursday
1:30 PM
3:00 PM
CS 161
Design and Analysis of Algorithms
Tagged for: AI - Mathematical foundations | DMR- Methodological Foundations | CoFo - Algorithms | MaFo - Integrative Requirement
2021 - 2022
Autumn
Tuesday Thursday
1:30 PM
3:00 PM
CS 161
Design and Analysis of Algorithms
Tagged for: AI - Mathematical foundations | DMR- Methodological Foundations | CoFo - Algorithms | MaFo - Integrative Requirement
2021 - 2022
Winter
Monday Wednesday
9:45 AM
11:15 AM
CS 161
Design and Analysis of Algorithms
Tagged for: AI - Mathematical foundations | DMR- Methodological Foundations | CoFo - Algorithms | MaFo - Integrative Requirement
2021 - 2022
Summer
CS 163
The Practice of Theory Research
Tagged for: AppLog - Integrative Requirement | CoFo - Integrative Requirement | MaFo - Integrative Requirement
2021 - 2022
Winter
Tuesday Thursday
11:30 AM
1:00 PM
CS 182
Ethics, Public Policy, and Technological Change (COMM 180, ETHICSOC 182, PHIL 82, POLISCI 182, PUBLPOL 182)
Tagged for: DMR- Practical Tools and Applications | CoFo - Integrative Requirement | CSS - Integrative Requirement | MediaComm - Effects, Ethics, and Policy | MediaComm - Integrative Requirement | HAI - Digital Technology Ethics and Policy | AI - Integrative Requirement | CogSci - Integrative Requirement | HCI - Integrative Requirement | PhiFo - Integrative Requirement | DMAR - Methods and Applications | DMAR - Integrative Requirement | Learn - Integrative Requirement
2021 - 2022
Winter
Monday Wednesday Friday
1:30 PM
3:00 PM
CS 379C
Computational Models of the Neocortex
Tagged for: Biomed - Computational and Design Methods | Biomed - Integrative Requirement | CoFo - Integrative Requirement | MaFo - Integrative Requirement | HAI - Integrative Requirement | AI - Integrative Requirement | CogSci - Integrative Requirement | Neuro - Computational approaches | Neuro - Integrative Requirement | Learn - Integrative Requirement
2021 - 2022
Spring
Tuesday Thursday
3:15 PM
4:45 PM
PHIL 20N
Philosophy of Artificial Intelligence
Tagged for: AI - Additional topics | Philosophical Foundations 4 | HAI - Contingent Electives | AI - Contingent Electives | PhiFo - Philosophy of Science | CoFo - Contingent Electives
2021 - 2022
Winter
Tuesday Thursday
1:30 PM
3:00 PM
PHIL 154
Modal Logic (PHIL 254)
Tagged for: Philosophical Foundations | AI - Knowledge | AL- Semantics | NL - Mathematical/Computational Foundations | DMR- Formal Decisions Theories | CogSci- Theoretical Foundations | CoFo - Theory of Computation Depth | CoFo - Integrative Requirement | MaFo - Integrative Requirement | AppLog - Integrative Requirement | CogSci - Cognitive Science Depth | PhiFo - Logic | DMAR - Formal Decision Theories
2021 - 2022
Spring
Tuesday Thursday
11:30 AM
1:00 PM
PHIL 359
Logic Spring Seminar
Tagged for: AL- Advanced | DMR- Philosophical Inquiry | DMR- Formal Decisions Theories | CoFo - Integrative Requirement | CSS - Integrative Requirement | MaFo - Integrative Requirement | HAI - Integrative Requirement | NL - Integrative Requirement | AppLog - Integrative Requirement | AI - Integrative Requirement | CogSci - Integrative Requirement | Advanced Small Seminar | PhiFo - Logic | PhiFo - Integrative Requirement | DMAR - Philosophical Inquiry | DMAR - Formal Decision Theories | DMAR - Integrative Requirement
2021 - 2022
Spring
Wednesday
5:30 PM
8:30 PM
Stanford University Logo

© Stanford University. Stanford, California 94305.