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 Wayscertified 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 Wayscertified 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. 