Sample Syllabi for Formal Reasoning (FR)

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.
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.
CS 106B, ENGR 70B Programming Abstractions
The syllabus makes clear that this course is about abstraction and learning nprogramming techniques.