CS430/530 Assignment 1

Due: Thursday, January 30, 2025

1. Reynolds, Exercise A.2.
2. Reynolds, Exercise A.3(b).
3. Reynolds, Exercise A.5, except for the part corresponding to question A.4(b)4.
4. Reynolds, Exercise A.6(b).
5. Reynolds, Exercise A.7.
6. Reynolds, Exercise 1.2.
7. SF Basics (Please directly modify the abridged Basics.v file; full version at Basics.v):
   • factorial
   • plus_id_exercise
   • zero_nbeq_plus_1
   • decreasing
   • identity_fn_applied_twice
   • negation_fn_applied_twice
   • andb_eq_orb
   • binary