Schedule for weeks 1 through 17

Wk	Day	Date	Topic	Resources	Events

1	Mon	Aug 25	Introduction	CSE235 Web Page

	Wed	Aug 27	Logic	Rosen 1.1 Lecture Notes: Intro to Logic

	Fri	Aug 29	Propositional Equivalences	Rosen 1.2 Logical Equivalence List

	Fri		Introduction

2	Mon	Sep 01	Labor Day		No Class

	Wed	Sep 03	Predicates and Quantifiers	Rosen 1.3 Lecture Notes: Predicates and Quantifiers

	Fri	Sep 05	More on Quantifiers	Rosen 1.4

	Fri				Pretest

3	Mon	Sep 08	Proofs	Rosen 1.5 Lecture Notes: Proofs Sample Proofs Inference List

	Wed	Sep 10	More Proofs

	Fri	Sep 12	Sets and Set Operations	Rosen 1.6-1.7

	Fri				WS 1

4	Mon	Sep 15	Functions	Rosen 1.8

	Wed	Sep 17	Algorithms Growth of Functions	Rosen 2.1-2.2 Asymptotic Notation Lecture Notes	HW1 due

	Fri	Sep 19	Growth of Functions	Rosen 2.2 Proving Bounds Examples

	Fri				Quiz 1

5	Mon	Sep 22	Complexity of Algorithms	Rosen 2.3 Algorithm Analysis Lecture Notes

	Wed	Sep 24	Complexity of Algorithms	Rosen 2.3

	Fri	Sep 26	The Integers and Division	Rosen 2.4

	Fri				WS 2

6	Mon	Sep 29	Integers and Algorithms	Rosen 2.5

	Wed	Oct 01	Proof Strategy	Rosen 3.1	HW2 due

	Fri	Oct 03	Sequences and Summations	Rosen 3.2

	Fri				WS 3

7	Mon	Oct 06	Mathematical Induction	Rosen 3.3 Induction Proofs

	Wed	Oct 08	Mathematical Induction Recursive Definitions	Rosen 3.3-3.4

	Fri	Oct 10	Recursive Definitions Recursive Algorithms	Rosen 3.4-3.5 Algorithms and Recurrences Examples	HW3 due

	Fri				Quiz 2

8	Mon	Oct 13	Recursive Algorithms	Rosen 3.5

	Wed	Oct 15	Basics of Counting Pigeonhole Principle	Rosen 4.1-4.2 Counting Tutorial

	Fri	Oct 17	Rosen Chapters 1-3		Review

	Fri		Worksheet		WS 4

9	Mon	Oct 20	Fall Break		No Class

	Wed	Oct 22	Rosen Ch 1-3	Pen Pencil	Midterm Exam

	Fri	Oct 24	Permutations Combinations	Rosen 4.3 Permutations and Combinations Tutorial

	Fri		Fall Break		No Class (Both recitations)

10	Mon	Oct 27	Binomial Coefficients	Rosen 4.4

	Wed	Oct 29	Generalized Permutations Generalized Combinations	Rosen 4.5

	Fri	Oct 31	Recurrence Relations	Rosen 6.1 Examples: Algorithms and Recurrences

	Fri				WS 5

11	Mon	Nov 03	Solving Recurrence Relations	Rosen 6.3 Lecture Notes: Recurrences	HW4 due

	Wed	Nov 05	More with Recurrence Relations	Rosen 6.1, 6.3 Josephus Stuff

	Fri	Nov 07	Inclusion-Exclusion	Rosen 6.5-6.6

	Fri				WS 6

12	Mon	Nov 10	Chapter 6 review	Rosen 6

	Wed	Nov 12	Relations	Rosen 7.1, 7.3 Binary Relations Tutorial

	Fri	Nov 14	Representing Relations Closures of Relations	Rosen 7.3-7.4 Lecture Notes: Warshall's Algorithm	HW5 due

	Fri				Quiz 3

13	Mon	Nov 17	Equivalence Relations Partial Orders	Rosen 7.5-7.6 Lecture Notes: Equivalence Relations

	Wed	Nov 19	Graphs	Rosen 8.1-8.2 Lecture Notes: Graphs and Trees Graph Theory Stuff

	Fri	Nov 21	Representing Graphs Isomorphism	Rosen 8.3

	Fri				WS 7

14	Mon	Nov 24	Nothing	Car--Go home.	HW6 due

	Wed	Nov 26	Thanksgiving		No Class

	Fri	Nov 28	Thanksgiving		No Class

	Fri				No Class

15	Mon	Dec 01	Connectiviy and Paths	Rosen 8.4-8.5 Euler Paths Stuff

	Wed	Dec 03	Trees Tree Applications	Rosen 9.1-9.2

	Fri	Dec 05	Tree Traversals	Rosen 9.3

	Fri				Quiz 4

16	Mon	Dec 08	Tutorials Review		HW7 due

	Wed	Dec 10	Review

	Fri	Dec 12	Review

	Fri				WS 8

Ex	Mon	Dec 15		3:30-5:30	Final Exam