Schedule for weeks 1 through 17

Wk	Day	Date	Topic	Resources	Events

1	Mon	Aug 23	Introduction	CSE235 Web Page

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

	Fri	Aug 27	Propositional Equivalences	Rosen 1.2 Logical Equivalence List

	Fri				Cancelled

2	Mon	Aug 30	Predicates and Quantifiers	Rosen 1.3 Lecture Notes: Predicates and Quantifiers

	Wed	Sep 01	More on Quantifiers	Rosen 1.4 Quantifier Exercises

	Fri	Sep 03	Proofs	Rosen 1.5 Lecture Notes: Proofs Sample Proofs Inference List

	Fri				Pretest

3	Mon	Sep 06	Labor Day		No Class

	Wed	Sep 08	More Proofs

	Fri	Sep 10	Sets and Set Operations	Rosen 1.6-1.7

	Fri				WS 1

4	Mon	Sep 13	Functions	Rosen 1.8

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

	Fri	Sep 17	Growth of Functions	Rosen 2.2 Asymptotic Notation: Defintions and Examples

	Fri				Quiz 1

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

	Wed	Sep 22	Complexity of Algorithms	Rosen 2.3

	Fri	Sep 24	The Integers and Division	Rosen 2.4

	Fri				WS 2

6	Mon	Sep 27	Integers and Algorithms	Rosen 2.5

	Wed	Sep 29	Proof Strategy	Rosen 3.1	HW2 due

	Fri	Oct 01	Sequences and Summations	Rosen 3.2

	Fri				WS 3

7	Mon	Oct 04	Mathematical Induction	Rosen 3.3 Induction Proofs

	Wed	Oct 06	Mathematical Induction Recursive Definitions	Rosen 3.3-3.4

	Fri	Oct 08	Recursive Definitions Recursive Algorithms	Rosen 3.4-3.5 Algorithms and Recurrences Examples Recursive Functions Applet

	Fri				Quiz 2

8	Mon	Oct 11	Recursive Algorithms	Rosen 3.5	HW3 due

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

	Fri	Oct 15	Rosen Chapters 1-3		Review

	Fri		Worksheet		WS 4

9	Mon	Oct 18	Fall Break		No Class

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

	Fri	Oct 22	Permutations Combinations Binomial Coefficients	Rosen 4.3-4.4 Permutations and Combinations Tutorial

	Fri		Fall Break		No Class

10	Mon	Oct 25	Binomial Coefficients Generalized Permutations Generalized Combinations	Rosen 4.4-4.5

	Wed	Oct 27	More Counting	Rosen 4.1-4.5

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

	Fri				WS 5

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

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

	Fri	Nov 05	Inclusion-Exclusion	Rosen 6.5-6.6

	Fri				WS 6

12	Mon	Nov 08	Chapter 6 review	Rosen 6

	Wed	Nov 10	Relations	Rosen 7.1, 7.3

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

	Fri				Quiz 3

13	Mon	Nov 15	Equivalence Relations Partial Orders	Rosen 7.5-7.6 Lecture Notes: Equivalence Relations	HW5 due

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

	Fri	Nov 19	Representing Graphs Isomorphism	Rosen 8.3

	Fri				WS 7

14	Mon	Nov 22	Nothing	Car--Go home.

	Wed	Nov 24	Thanksgiving		No Class

	Fri	Nov 26	Thanksgiving		No Class

	Fri				No Class

15	Mon	Nov 29	Connectiviy and Paths	Rosen 8.4-8.5 Graph Theory Tutorials and Applets Graph Theory Tutorials	HW6 due

	Wed	Dec 01	Trees Tree Applications	Rosen 9.1-9.2 Lecture Notes: Graphs and Trees Binary Search Tree Applet Huffman Encoding

	Fri	Dec 03	Tree Traversals Prefix, infix, postfix notations Logical equivalences and trees	Rosen 9.3 Binary Tree Traversals Logical Equivalence Applet

	Fri				Quiz 4

16	Mon	Dec 06	BFS algorithm (to solve Kevin Bacon game)	BFS and DFS Notes BFS Applet Several Graph Applets	HW7 due

	Wed	Dec 08	Tutorials Review

	Fri	Dec 10	Review

	Fri				WS 8

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