Stanford University

Applied Logic 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 Applied Logic Concentration.

Title
Quarter
Day, Time, Location
CS 151
Tagged for: AI - Knowledge | AL- Computational | CoFo - Integrative Requirement | MaFo - Integrative Requirement | AppLog - Computational Approaches to Logic | AppLog - Integrative Requirement
2022 - 2023
Spring
Tuesday Thursday
1:30 PM
2:50 PM
CS 154
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
2022 - 2023
Autumn
Tuesday Thursday
10:30 AM
11:50 AM
CS 157
Tagged for: AI - Knowledge | AL- Computational | CoFo - Integrative Requirement | MaFo - Integrative Requirement | AppLog - Computational Approaches to Logic
2022 - 2023
Autumn
Tuesday Thursday
1:30 PM
2:50 PM
CS 204
Tagged for: AppLog - Integrative Requirement
2022 - 2023
Spring
CS 227B
Tagged for: AI - Additional topics | AppLog - Integrative Requirement | AI - Contingent Electives | CogSci - Cognitive Science Depth | CogSci - Integrative Requirement
2022 - 2023
Spring
Wednesday
4:30 PM
6:20 PM
CS 228
Tagged for: AI - Knowledge | DMR- Practical Tools and Applications | Learning - Computational learning | CSS - Computational Data Methods | MaFo - Integrative Requirement | AppLog - Integrative Requirement | AI - Artificial Intelligence Depth | CogSci - Cognitive Science Depth | CogSci - Integrative Requirement | Neuro - Integrative Requirement | DMAR - Methods and Applications | DMAR - Integrative Requirement | Learn - Computational Learning | Learn - Integrative Requirement
2022 - 2023
Winter
Tuesday Thursday
10:30 AM
11:50 AM
CS 242
Tagged for: AppLog - Integrative Requirement
2022 - 2023
Autumn
Tuesday Thursday
3:00 PM
4:20 PM
CS 254
Tagged for: MaFo - Integrative Requirement | AppLog - Integrative Requirement
2022 - 2023
Winter
Monday Wednesday
3:00 PM
4:20 PM
CS 254B
Tagged for: MaFo - Contingent Electives | AppLog - Contingent Electives
2022 - 2023
Spring
Monday Wednesday
3:00 PM
4:20 PM
LINGUIST 130A
Tagged for: NL - Semantics/Pragmatics/Philosophy of Language | AL- Semantics | AppLog - Integrative Requirement
2022 - 2023
Winter
Tuesday Thursday
10:30 AM
11:50 AM
LINGUIST 230B
Tagged for: NL - Semantics/Pragmatics/Philosophy of Language | AL- Semantics | AppLog - Integrative Requirement
2022 - 2023
Autumn
Tuesday Thursday
10:30 AM
11:50 AM
LINGUIST 230C
Tagged for: AL- Semantics | NL - Semantics/Pragmatics/Philosophy of Language | AppLog - Contingent Electives | Advanced Small Seminar
2022 - 2023
Spring
Monday Wednesday
2:30 PM
4:20 PM
MATH 56
Tagged for: AppLog - Contingent Electives | MaFo - Contingent Electives
2022 - 2023
Autumn
Tuesday Thursday
12:00 PM
1:20 PM
MATH 56
Tagged for: AppLog - Contingent Electives | MaFo - Contingent Electives
2022 - 2023
Winter
Tuesday Thursday
9:00 AM
10:20 AM
MATH 161
Tagged for: AL- Theory | AppLog- Set Theory
2022 - 2023
Autumn
Tuesday Thursday
10:30 AM
11:50 AM
PHIL 151
Tagged for: AL | MaFo - Integrative Requirement | AppLog - Metalogic
2022 - 2023
Winter
Monday Wednesday
3:00 PM
4:20 PM
PHIL 152
Tagged for: Philosophical Foundations | AI - Mathematical foundations | AL | CogSci- Theoretical Foundations | MaFo - Integrative Requirement | AppLog - Computability | CogSci - Cognitive Science Depth | PhiFo - Logic
2022 - 2023
Spring
Tuesday Thursday
10:30 AM
11:50 AM
PHIL 162
Tagged for: Philosophical Foundations | Philosophical Foundations 4 | MaFo - Integrative Requirement | AppLog - Integrative Requirement | PhiFo - Philosophy of Science | PhiFo - Integrative Requirement
2022 - 2023
Winter
Tuesday Thursday
12:00 PM
1:20 PM