Monday, March 3, 2025

Assignment #7: Formal Methods II: Categorical Logic

1. Read Van Cleave, section 2.14; do exercise set 18.

2. Read 2.17; do exercise set 21.


Reminder: Quiz #2, next Wednesday, March 12.  The quiz will consist of 5 problems lifted from exercise 17 in Van Cleave.


No comments:

Post a Comment