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, here is a list of all approved Applied Logic Courses.

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
2020 - 2021
Spring
Tuesday Thursday
2:30 PM
3: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
2020 - 2021
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
2020 - 2021
Autumn
Tuesday Thursday
12:30 PM
1:50 PM
CS 163
Tagged for: AppLog - Integrative Requirement | CoFo - Integrative Requirement | MaFo - Integrative Requirement
2020 - 2021
Winter
Tuesday Thursday
10:30 AM
11:50 AM
CS 204
Tagged for: AppLog - Integrative Requirement
2020 - 2021
Spring
Wednesday
4:00 PM
5:50 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
2020 - 2021
Winter
Tuesday Thursday
8:30 AM
9:50 AM
CS 242
Tagged for: AppLog - Integrative Requirement
2020 - 2021
Winter
Monday Wednesday
8:30 AM
9:50 AM
CS 254
Tagged for: MaFo - Integrative Requirement | AppLog - Integrative Requirement
2020 - 2021
Winter
Monday Wednesday
4:00 PM
5:20 PM
CS 254B
Tagged for: MaFo - Contingent Electives | AppLog - Contingent Electives
2020 - 2021
Spring
Monday Wednesday
4:00 PM
5:20 PM
CS 358A
Tagged for: AppLog - Integrative Requirement
2020 - 2021
Winter
Tuesday Thursday
10:30 AM
11:50 AM
LINGUIST 130A
Tagged for: NL - Semantics/Pragmatics/Philosophy of Language | AL- Semantics | AppLog - Integrative Requirement
2020 - 2021
Winter
Tuesday Thursday
10:30 AM
11:50 AM
LINGUIST 230B
Tagged for: NL - Semantics/Pragmatics/Philosophy of Language | AL- Semantics | AppLog - Integrative Requirement
2020 - 2021
Spring
Monday Wednesday
1:00 PM
2:20 PM
LINGUIST 230C
Tagged for: AL- Semantics | NL - Semantics/Pragmatics/Philosophy of Language | AppLog - Contingent Electives | Advanced Small Seminar
2020 - 2021
Autumn
Monday Wednesday
2:30 PM
4:20 PM
MATH 56
Tagged for: AppLog - Contingent Electives | MaFo - Contingent Electives
2020 - 2021
Autumn
Tuesday Thursday
2:30 PM
3:50 PM
MATH 56
Tagged for: AppLog - Contingent Electives | MaFo - Contingent Electives
2020 - 2021
Winter
Tuesday Thursday
12:30 PM
1:50 PM
MATH 161
Tagged for: AL- Theory | AppLog- Set Theory
2020 - 2021
Winter
Tuesday Thursday
10:30 AM
11:50 AM
PHIL 151
Tagged for: AL | MaFo - Integrative Requirement | AppLog - Metalogic
2020 - 2021
Winter
Monday Wednesday
10:00 AM
11:20 AM
PHIL 152
Tagged for: Philosophical Foundations | AI - Mathematical foundations | AL | CogSci- Theoretical Foundations | MaFo - Integrative Requirement | AppLog - Computability | CogSci - Cognitive Science Depth | PhiFo - Logic
2020 - 2021
Spring
Monday Wednesday
10:00 AM
11:20 AM
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
2020 - 2021
Spring
Tuesday Thursday
10:30 AM
11:50 AM
PHIL 184B
Tagged for: PhiFo - Philosophy of Mind and Language | AppLog - Integrative Requirement | CogSci - Cognitive Science Depth | DMAR - Philosophical Inquiry | DMAR - Integrative Requirement | Learn - Integrative Requirement | MaFo - Integrative Requirement | PhiFo - Integrative Requirement
2020 - 2021
Spring
Tuesday Thursday
2:30 PM
3:50 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
2020 - 2021
Spring
PSYCH 204
Tagged for: AI - Learning | NL - Mathematical/Computational Foundations | Learning - Computational learning | Learning - Human learning | CogSci- Theoretical Foundations | CoFo - Integrative Requirement | CSS - Computational Data Methods | MaFo - Integrative Requirement | HAI - Integrative Requirement | NL - Integrative Requirement | AppLog - Integrative Requirement | AI - Integrative Requirement | CogSci - Research Methods | CogSci - Cognitive Science Depth | CogSci - Integrative Requirement | Neuro - Computational approaches | Neuro - Integrative Requirement | Learn - Computational Learning | Learn - Human Learning | Learn - Integrative Requirement
2020 - 2021
Spring
Tuesday Thursday
12:30 PM
1:50 PM
PSYCH 293
Tagged for: AppLog - Integrative Requirement | AI - Integrative Requirement | CogSci - Cognitive Science Depth | CogSci - Integrative Requirement | CSS - Integrative Requirement | HAI - Integrative Requirement | Learn - Integrative Requirement | Advanced Small Seminar
2020 - 2021
Autumn
Tuesday Thursday
10:30 AM
11:50 AM