IMPORTANT – Forgot to
announce in class
CS Department Picnic
–
Wednesday, September
1,
Shelter
1 at
Food and games.
collected Scantron sheets
took attendance
collected homework
went overall homework problems except 34b and 38
Collected homework will be graded for correctness although not every problem.
Can always use a truth table to check whether something is logically correct but although the number of variables limits the number of rows, the number of columns can get very large depending on the number of operators involved.
Focus on Methods of Proof
Justifications required
Use named and derived rules of inference and equivalence
addition
simplification
hypothetical syllogism