The types of problem discussed in class today (03/05)
in a connection to the prelim 1.

1. Show that a given proposition is a tautology.

2. Find a truth assignment satisfying a given
prepositional formula.

3. Find a proposition given its proof table.

4. Show that given formulas with quantifiers are
not logically equivalent.

5. Elementary relations on sets

6. Operations on matrices, distributivity of
matrix multiplication over addition.

7. All logarithms with base >1 have the same order.

8. Solving congruencies: x^2=1(mod 103).

9. Little Fermat Theorem, applications to large
powers: 5^2003 (mod 7,11,13).

10.  Chinese Remainder Theorem.

11. Proofs by induction.