Lectures

Date	Lecture	Textbook
01/18	Logic Lecture notes: slides	Rosen 1.1-1.2
01/23	Propositional logic Lecture notes: slides	Rosen 1.2-1.3
01/25	Predicate calculus Lecture notes: slides	Rosen 1.4
01/30	Rules of inference Lecture notes: slides	Rosen 1.5
02/01	Introduction to proofs Lecture notes: slides	Rosen 1.6
02/06	Proof techniques Lecture notes: slides	Rosen 1.7
02/08	Proof techniques Lecture notes: slides	Rosen 1.7
02/13	Sets Lecture notes: slides	Rosen 2.1
02/15	Set operations Lecture notes: slides	Rosen 2.2
02/20	Presidents day
02/22	Midterm exam 1	COB2 140
02/27	Functions Lecture notes: slides	Rosen 2.3
03/01	Sequences and summations Lecture notes: slides	Rosen 2.4
03/06	Algorithms Lecture notes: slides	Rosen 3.1
03/08	Growth of functions Lecture notes: slides	Rosen 3.2
03/13	Complexity of algorithms Lecture notes: slides	Rosen 3.3
03/15	Integers and divisions Lecture notes: slides	Rosen 4.1-4.3
03/20	Prime numbers Lecture notes: slides	Rosen 4.3, 4.5-4.6
03/22	Mathematical induction Lecture notes: slides	Rosen 5.1-5.2
03/27	Spring break
03/29	Spring break
04/03	Midterm exam 2	COB2 140
04/05	Strong induction and well-ordering Lecture notes: slides	Rosen 5.2
04/10	Recursive definitions and structural induction Lecture notes: slides	Rosen 5.3
04/12	Recursive algorithms Lecture notes: slides	Rosen 5.4
04/17	Basics of counting Lecture notes: slides	Rosen 6.1-6.2
04/19	Permutations and combinations Lecture notes: slides	Rosen 6.3
04/24	Midterm exam 3	COB2 140
04/26	Binomial coefficients and identities Relations Lecture notes: slides	Rosen 6.4 and Rosen 9.1
05/01	Relations and their properties Lecture notes: slides	Rosen 9.1, 9.3
05/03	Relations and their properties Lecture notes: slides	Rosen 9.5-9.6
05/10	Finale Exam	COB2 140