Fall schedule

Fall 2010

Remember that for your grade I do expect a weekly log with one point deducted for each week that you fail to report. However, you also will be credited one point for each of ten exercises indicated on the schedule at the Moodle site.

strongly recommended: print out and use a personal checklist for the different chapters

SECTION 1: SYMBOLIZATION AND TRUTH VALUES Week of August 30 1. GETTING STARTED additional material Week of September 6: 2. BASIC SYMBOLIZATION FOR COMPLETE STATEMENTS Week of September 13: 3. EXPRESSING CONDITIONAL RELATIONSHIPS additional material Week of September 20: 4. SYMBOLIZATION TO EXPRESS ONE-PLACE PREDICATES 5. SYMBOLIZATION TO EXPRESS QUANTIFICATION additional material 6. SYMBOLIZATION TO EXPRESS RELATIONSHIPS Week of September 27: 7. UNDERSTANDING TRUTH FUNCTIONS additional material Week of October 4: 8. TESTING FOR EQUIVALENCE WITH TRUTH TABLES 9. BONUS MATERIAL: THE SHEFFER STROKE REVIEW FOR SECTION 1 review tips on symbolization and truth values SECTION 2: TESTING FOR VALIDITY AND DERIVATIONS FOR EQUIVALENCE Week of October 11: 10. TESTING FOR VALIDITY WITH COMPLETE TRUTH TABLES 11. TESTING FOR VALIDITY USING THE REVERSE METHOD	Week of October 18: 12. DERIVATIONS USING EQUIVALENCE RULES Week of October 25: 13. QUANTIFIER NEGATION REVIEW FOR SECTION 2 SECTION 3: CONSISTENCY TREES AND DERIVATIONS Week of November 1: 14. USING CONSISTENCY TREES FOR PROPOSITIONAL LOGIC 15. A FIRST RULE SET FOR DIRECT DERIVATIONS Week of November 8: 16. AN EXPANDED RULE SET FOR DIRECT DERIVATIONS additional material 17. INFERENCE RULES FOR QUANTIFIERS Week of November 15: 18. USING CONSISTENCY TREES FOR QUANTIFIED EXPRESSIONS Week of November 22: 19. USING INDIRECT DERIVATIONS Week of November 29: 20. USING CONDITIONAL DERIVATIONS Week of December 6: 21. WORKING WITH MULTIPLE QUANTIFIERS review tips on more complex symbolization and derivations 22. EXPRESSIONS INVOLVING IDENTITY 23. BONUS MATERIAL: DISJUNCTIVE AND CONJUNCTIVE NORMAL FORMS REVIEW FOR SECTION 3
FINAL EXAM ON CAMPUS: 7-9 PM, Friday, December 17 (room TBA) This exam will be worth 50 points; you already begin with 50 points toward your total grade, although you can lose points by not submitting a weekly log and you can gain points by submitting certain exercises indicated in the chapters and here on the schedule.