You may find it helpful to read through the CS173 course notes as compiled a few years ago by Lenny Pitt. Download the .pdf
You can also take a look at the entirety of last semester's slides, in one zip file. Download the .zip (warning: 2.7 MB)Here is this semester's tentative schedule. The sections listed reflect sections from the 6th edition of Rosen's text.
Date Topic Reading Slides Aug 24 Propositional Logic Rosen 1.1-1.2
Course Notes, Ch 1.ppt | .pdf Aug 29 Propositions, Quantifiers Rosen 1.3-1.4
Course Notes, Ch 1.ppt | .pdf Aug 31 Quanifiers and Predicates Rosen 1.3-1.4
Course Notes, Ch 2.ppt | .pdf Sep 5 Proof Techniques Rosen 1.5
Course Notes, Ch 3.ppt | .pdf Sep 7 Sets Rosen 1.6-1.7
Course Notes, Ch 4.ppt | .pdf Sep 12 More Sets Rosen 2.1-2.2
Course Notes, Ch 4.ppt | .pdf Sep 14 Functions Rosen 2.2-2.3
Course Notes, Ch 4.ppt | .pdf Sep 19 More Functions Rosen 2.3
Course Notes, Ch 4.ppt | .pdf Sep 21 Growth of Functions/Complexity Rosen 2.3, 3.1, 3.2
Course Notes, Ch 4.ppt | .pdf Sep 26 Summations Rosen 3.2
Course Notes, Ch 4, 6.ppt | .pdf Sep 28 Summations and Hotel Infinity Rosen 3.2
Course Notes, Ch 4, 6.ppt | .pdf Oct 3 Hotel Infinity, Infinite Cardinality Rosen 3.2
Course Notes, Ch 4, 6.ppt | .pdf Oct 10 Induction Rosen 4.1-4.2
Course Notes, Ch 6.ppt | .pdf Oct 12 Strong Induction and Recursive Definitions Rosen 4.2-4.3
Course Notes, Ch 7.ppt | .pdf Oct 17 Inductive definitions, Algorithms Rosen 4.3-4.4
Course Notes, Ch 7.ppt | .pdf Oct 19 Algorithms, Counting Rosen 4.5, 5.1
Course Notes, Ch 8.ppt | .pdf Oct 24 Permutations, Combinations, and PHP Rosen 5.2-5.3 .ppt | .pdf Oct 26 Binomial Theorem, Generalized Permutations and Combinations Rosen 5.4, 5.5 .ppt | .pdf Oct 31 More counting and Probability Rosen 6.1-6.2 .ppt | .pdf Nov 2 Probability Rosen 6.2 .ppt | .pdf Nov 7 Expectation and Variance Rosen 6.4 .ppt | .pdf Nov 9 Recurrences Rosen 7.1 .ppt | .pdf Nov 14 Annihilators Recurrences handout .ppt | .pdf Nov 16 Annihilators, etc. Recurrences handout .ppt | .pdf Nov 28 Divide and Conquer Recurrences Recurrences handout .ppt | .pdf Nov 30 Relations Rosen 8.1 .ppt | .pdf Dec 5 Equivalence Relations, Posets Rosen 8.4-8.6 .ppt | .pdf