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
2021 - 2022
Spring
Tuesday Thursday
1:30 PM
3:00 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
2021 - 2022
Autumn
Tuesday Thursday
11:30 AM
1:00 PM
CS 157
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 163
Tagged for: AppLog - Integrative Requirement | CoFo - Integrative Requirement | MaFo - Integrative Requirement
2021 - 2022
Winter
Tuesday Thursday
11:30 AM
1:00 PM
CS 204
Tagged for: AppLog - Integrative Requirement
2021 - 2022
Spring
Wednesday
4:00 PM
6:00 PM
CS 227B
Tagged for: AI - Additional topics | AppLog - Integrative Requirement | AI - Contingent Electives | CogSci - Cognitive Science Depth | CogSci - Integrative Requirement
2021 - 2022
Spring
Wednesday
4:00 PM
6:00 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
2021 - 2022
Winter
Tuesday Thursday
9:45 AM
11:15 AM
CS 242
Tagged for: AppLog - Integrative Requirement
2021 - 2022
Autumn
Monday Wednesday
9:45 AM
11:15 AM
CS 254
Tagged for: MaFo - Integrative Requirement | AppLog - Integrative Requirement
2021 - 2022
Winter
Monday Wednesday
3:15 PM
4:45 PM
CS 254B
Tagged for: MaFo - Contingent Electives | AppLog - Contingent Electives
2021 - 2022
Spring
Monday Wednesday
3:15 PM
4:45 PM
LINGUIST 130A
Tagged for: NL - Semantics/Pragmatics/Philosophy of Language | AL- Semantics | AppLog - Integrative Requirement
2021 - 2022
Winter
Tuesday Thursday
9:45 AM
11:15 AM
LINGUIST 230C
Tagged for: AL- Semantics | NL - Semantics/Pragmatics/Philosophy of Language | AppLog - Contingent Electives | Advanced Small Seminar
2021 - 2022
Autumn
Monday Wednesday
11:00 AM
1:00 PM
MATH 56
Tagged for: AppLog - Contingent Electives | MaFo - Contingent Electives
2021 - 2022
Autumn
Tuesday Thursday
1:30 PM
3:00 PM
MATH 56
Tagged for: AppLog - Contingent Electives | MaFo - Contingent Electives
2021 - 2022
Winter
Tuesday Thursday
9:45 AM
11:15 AM
MATH 56
Tagged for: AppLog - Contingent Electives | MaFo - Contingent Electives
2021 - 2022
Spring
Tuesday Thursday
9:45 AM
11:15 AM
PHIL 151
Tagged for: AL | MaFo - Integrative Requirement | AppLog - Metalogic
2021 - 2022
Winter
Tuesday Thursday
4:00 PM
6:00 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
2021 - 2022
Spring
PHIL 154
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
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