Jim Garson x3205 502 AH Office Hrs: 1:00-2:00 MWF
e-mail:  Jgarson@uh.edu
Jim Garson's website: http://http://www.hfac.uh.edu/phil/garson/Jim_Garson.htm

Book: Predicate Logic by H. Pospesel (at Bookstore)

Notes: Packet #8 (at Copy Center, UC Underground or download it here).

Course Website:  http://www.hfac.uh.edu/phil/garson/LogicII.htm
 
 

DATE	TOPIC AND EXERCIZES Exercises assigned will be a subset of those listed below. Due dates will be announced in class.	READING
Jan. 21 -  Feb. 2	1. Review of Propositional Logic Exercises in Notes p. 1, 11, 12, 17 Quiz 1	Ch. 1, Appendix 1 (skim) Notes, pp. 1-17
Feb. 2  - Feb. 16	2. Symbolization in Predicate Logic Ch. 2  1,3,4,6,7,8  Quiz 2	Ch. 2 Notes, pp. 18
Feb. 13  - Mar. 2	3. Proofs and Trees in Predicate Logic Ch. 3 1-12; Ch. 4.2, 10-15 Quiz 3	Ch. 3-4 Notes, pp. 19-20
Mar. 2- Mar. 23	4. More Complex Problems Ch. 5 1,2,4,5,7-10, 12;  Ch. 6  1-22 Quiz 4	Ch. 5, 6
Mar. 23 - Apr. 6	5. Counterexamples in Predicate Logic Ch. 7 1-10, 14-19; Ch. 8 1-18; Ch. 9 7-14 Quiz 5	Ch. 8, 7(skim), and 9.2 Notes, pp. 21-22
Apr. 6 - Apr. 20	6. Relational Translations and Proofs Ch. 10  1, 3-5, 8, 9; Ch. 11 2-19; Ch. 12 1-10, 16-18, 22-24 Quiz 6	Ch. 10, 11, 12 Notes, pp. 23-24
Apr. 16 - May 1	7. Relational Logic and Metalogic  Ch. 13 1-3, 8-10, 12, 13, 18, 19-21 Quiz 7	Ch. 13.1-13.3 Notes, pp. 25-28
May 4 May 8 (11:00-2:00)	Review COMPREHENSIVE FINAL  (in this classroom)	Everything See Final Study Guide in  Notes p. 29

 

Grades: Quizes count 10% each.  The Final counts 30%. I will take attendance, collect homework, and ask you to "perform" in class to determine a class participation grade.  Your lowest quiz grade (including any missed quiz) will be replaced by your participation grade if this improves your score.