Calendar

Date	Topic/Reading Assignment
M June 30	Syllabus, Propositional Logic Epp 1.1-1.3
W July 2	Boolean circuits, Number systems, Computer Arithmetic Epp 1.4, page 61 only of 1.5 Update 7/2/08: All of 1.5 is covered
F July 4	NO CLASS - HOLIDAY
M July 7	Predicate Logic Epp Chap 2
W July 9	Methods of Proof, Number Theory Epp 3.1-3.3,3.7
F July 11	Methods of Proof, Number Theory Epp 3.4-3.6
M July 14	Sequences, Induction Epp 4.1-4.3
W July 16	Strong Induction, Set Theory Epp 4.4, Epp 5
F July 18	MIDTERM (covers Epp Chap. 1 through 4)
M July 21	Set Theory Epp Chap 5
W July 23	Functions Epp Chap 7
F July 25	Functions Epp Chap 7
M July 28	Relations Epp Chap 10
W July 30	Relations Epp Chap 10
F Aug 1	Further Topics, Review
Saturday August 2	FINAL EXAM

Notes:

Quizzes are every Monday and Wednesday at the beginning of class (except of course for the very first day of class). No quizzes on Fridays. Thus there are 9 quizzes total, of which 8 will count towards your final grade (drop your lowest score). Friday July 18 is the the midterm.