Math 170 Homework Assignments
You can read the various homework policies.
Note that *starred problems are extra credit. It does not mean they
are hard. But it does mean you'll have to think about them.
Homework
-
Problem Set 1: First Introduction to
Formal Systems, due Thursday May 18th
-
Problem Set 2: Formal Systems and Isomorphisms, due Wednesday May 24th
-
Problem Set 3: More truth tables and de
Morgan's Laws, due Thursday May 25th
-
Problem Set 4: More symbolic logic, due Tuesday May 30th
-
Problem Set 5: Some metalogic, due Thursday June 1st
-
Problem Set 6: Exploring the
propositional calculus, due Tuesday June 6th
-
Problem Set 7: Peeking into TNT, due Thursday June 8th
-
Problem Set 8: More fun with translating
everyday life, due Thursday June 15th
-
Problem Set 9: Extra Credit, due 4
pm, Friday June 23rd
Revised 06/20/06.
|