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
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 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 204
Computational Law
Tagged for: AppLog - Integrative Requirement
2021 - 2022
Spring
Wednesday
4:00 PM
6:00 PM
CS 227B
General Game Playing
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
Probabilistic Graphical Models: Principles and Techniques
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
Programming Languages
Tagged for: AppLog - Integrative Requirement
2021 - 2022
Autumn
Monday Wednesday
9:45 AM
11:15 AM
CS 254
Computational Complexity
Tagged for: MaFo - Integrative Requirement | AppLog - Integrative Requirement
2021 - 2022
Winter
Monday Wednesday
3:15 PM
4:45 PM
CS 254B
Computational Complexity II
Tagged for: MaFo - Contingent Electives | AppLog - Contingent Electives
2021 - 2022
Spring
Monday Wednesday
3:15 PM
4:45 PM
LINGUIST 130A
Introduction to Semantics and Pragmatics (LINGUIST 230A)
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
Advanced Topics in Semantics & Pragmatics
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
Proofs and Modern Mathematics
Tagged for: AppLog - Contingent Electives | MaFo - Contingent Electives
2021 - 2022
Autumn
Tuesday Thursday
1:30 PM
3:00 PM
MATH 56
Proofs and Modern Mathematics
Tagged for: AppLog - Contingent Electives | MaFo - Contingent Electives
2021 - 2022
Winter
Tuesday Thursday
9:45 AM
11:15 AM
MATH 56
Proofs and Modern Mathematics
Tagged for: AppLog - Contingent Electives | MaFo - Contingent Electives
2021 - 2022
Spring
Tuesday Thursday
9:45 AM
11:15 AM
PHIL 151
Metalogic (PHIL 251)
Tagged for: AL | MaFo - Integrative Requirement | AppLog - Metalogic
2021 - 2022
Winter
Tuesday Thursday
4:00 PM
6:00 PM
PHIL 152
Computability and Logic (PHIL 252)
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
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.