- Final Exam
- Imp and IndProp
- Homework Scores
- Homework Grading
- Final Homework Excercises
- Midterm Clarification
- Midterm Exam
- Midterm Exam Info
- Classes Fall 24
- Tactics So Far

Blog

As promised in class, here is a list of problems you should choose from for your last 2 homework assignments. I will grade the same way I have been, just limited to these assignments. If you want to do others, I will happily grade them and give you extra homework points.

Unfortunately exercises are not numbered, so I will simply list the theorems to prove by name.

`skip_right`

`if_false`

`swap_if_branches`

`while_true`

`seq_assoc`

`assign_aequiv`

`CIf_congruence`

We did not go over assignment in any detail, but I think the last couple of proofs are quite doable.

`hoare_post_true`

`hoare_pre_false`

`hoare_asgn_examples1`

`hoare_asgn_examples2`

`hoare_asgn_wrong`

`hoare_asgn_forward`

`hoare_asgn_fwd_exists`

`assertion_sub_ex1'`

`assertion_sub_ex2'`

`if_minus_plus`

All homeworks are due on the last day of finals, regardless of what Canvas says. I will try to remember to update the dates.