Skip to main content Skip to secondary navigation

Sample Syllabi for Formal Reasoning (FR)

Main content start

This content is available to the Stanford Community only. Please log in with your SUNet ID. 

Course How is this a good syllabus example?
BIOHOPK 174H Experimental Design and Probability
The syllabus states that this course is about learning formal rules of statistics and probability. The problem set examples make clear that the majority of problems involve formal manipulations (rather than data analysis) to solve problems.  This course is also Ways-certified for AQR.
CS 106B, ENGR 70B Programming Abstractions
The included calendar of weekly topics show a clear focus on abstractions and associated programming techniques. Students are required to complete six programming assignments to engage with the practice of FR.
EE 178 - Probabolistic Systems Analysis The syllabus lists FR topics to be covered; sample lecture notes are included to demonstrate FR content. This course is also Ways-certified for AQR.
LINGUIST 157 - Sociophonetics The syllabus describes approaches based on abstraction and formal reasoning and the class project requires students to engage in practice of FR.
POLISCI 153 Thinking Strategically The syllabus states that this a mathematical introduction to game theory and that the goal is to use logical and deductive reasoning in analyzing strategic situations. This is also made clear in the course outline.