You will want to read 1.1 and 1.2.
In 1.1:
1,3,7,10,13,15,19,23,25,27,33a,37a,39-42,45

In 1.2:
6,7,18,22,29,34,42,43
In addition take a look at (i.e. read but don't necessarily work out the details of):1-5,44,45,52

Generally we will not cover the material on system specification or satifiability included in this part of our text.

In 1.3:
1,7,9,15,18,34,38,43,44, 46
Last modified: Tuesday, November 25, 2014, 10:02 AM