Instructor: Dr. Diane Litman 5105 Sennott Square, x4-8838 741 LRDC, x4-1261 e-mail: litman_at_cs.pitt.edu office hours: Tu 2:15-3:15, Th 12-1, by appt.

TA: Vyasa Sai 6150 Sennott Square, x4-8464 e-mail: vys1+_at_pitt.edu office hours: M 12-3, W 4-7

Lectures	Topic(s)		Assignments
January 7 January 12	Administration and course overview. Propositional logic. Readings: Preface etc., 1.1
January 14	Propositional equivalences. Readings: 1.2		Homework 1 Solution (page 1, 2, 3)
January 19	Predicates and Quantifiers Readings: 1.3
January 21 (Guest lecturer: Hua Ai)	Nested Quantifiers. Readings: 1.4		Homework 2 Solution (page 1, 2, 3, 4, 5, 6)
January 26	Rules of Inference. Readings: 1.5
January 28	Introduction to Proofs. Readings: 1.6, 1.7		Homework 3 Solution (page 1, 2, 3, 4)
February 2	Proof Methods and Strategy Readings: 1.7
February 4	Sets, Set Operations Readings: 2.1, 2.2		Homework 4 (deadline extended to 2/16) Solution (page 1, 2)
February 9 (Pitt closed), 11	Set Identities, Functions. Readings: 2.2, 2.3
February 16	Functions Readings: 2.3		Homework 5 Solution
February 18	Sequences and Summations. Readings: 2.4
February 23	Integers and Division Readings: 3.4		Pseudo "Homework" Solution (page 1, 2)
February 25	Exam Preview Sample 50 minute exam; see also beginning of this sample exam
March 2 (NOTE DATE CHANGE DUE TO SNOW)	Midterm Exam (Closed-book, NO makeups Readings: Covers all material in Chapters 1, 2
March 4	Integers and Division, Primes Readings: 3.4 (notes updated 3/4), 3.5		Homework 6 Solution
March 16	Exam Review, Primes, Induction Readings: 3.5, 4.1
March 18	Mathematical Induction Reading: 4.1		Homework 7 Solution (page 1, 2)
March 23	Induction, Recursive Definitions Reading: 4.2, 4.3
March 25	Recursion, Counting Readings: 4.3, 5.1		Homework 8 Solution (page 1, 2, 3)
March 30	Counting, The Pigeonhole Principle Readings: 5.1, 5.2
April 1	The Pigeonhole Principle, Permutations and Combinations Readings: 5.2, 5.3		Homework 9 Solution (page 1, 2, 3)
April 6	Binomial Coefficients, Probability Readings: 5.4, 6.1, 6.2
April 8	Probability Readings: 6.1, 6.2		Homework 10 Solution (page 1, 2)
April 13	Probability, Bayes Readings: Rest of 6.2, 6.3
April 15	Bayes, Relations Readings: 6.3, 8.1		Homework 11 Solution (page 1, 2)
April 20	Relations Readings: 8.1, 8.5
April 22	Relations, Exam Preview preview, relevant parts of this sample exam; more sample questions		Pseudo "Homework" Solution (page 1, 2)
April 27, 10-11:50	Final Exam (Closed-book, NO makeups) Readings: Covers all material since last exam