kevinsullivan / cs6501s23

Formal Mathematics for Software Design
6 stars 6 forks source link

2.7 Suggestions #40

Open sm4sa opened 1 year ago

sm4sa commented 1 year ago

For 2.7.1, it might be helpful to take some of the theorems in section 2.7.1 and have a checkpoint exercise just to make sure students understand the material by leaving blanks or chunks of some of the latter theorems to fill out. By leaving different parts of a theorem for students to fill out, students can ask for help on specific parts of the theorems based on what they got wrong/incorrect.