CSE 311 Spring 2012
Course Calendar

Subscribe to this calendar (google, iCal, etc.)

In reading assignments below, section numbers refer to the Rosen textbook and are given for both the 7th and 6th editions.

 March Monday Tuesday Wednesday Thursday Friday 26 13:30-14:20 LectureMUE 153Propositions; ¬, ∧, ∨, →1.1-1.3 (7th), 1.1-1.2 (6th) 15:00-16:00 OH (MZ)CSE 216 27 13:00-14:00 OH (MT)CSE 538 28 HW1 out 11:00-12:00 OH (DG)CSE 216 13:30-14:20 LectureMUE 153Truth tables, ↔, logical equivalence 29 SectionPropositional logic. Logical implication 30 13:30-14:20 LectureMUE 153Logical equivalences, disjunctive normal form 14:30-15:20 OH (NK)CSE 216

 April Monday Tuesday Wednesday Thursday Friday 02 13:30-14:20 LectureMUE 153Complexity of proving tautologies; predicates, quantifiers1.4-1.5 (7th), 1.3-1.4 (6th) 15:00-16:00 OH (MZ)CSE 216 03 13:00-14:00 OH (MT)CSE 538 04 HW2 out 11:00-12:00 OH (DG)CSE 216 13:30 HW1 due 13:30-14:20 LectureMUE 153Nested quantifiers, logical equivalences 05 SectionLogical equivalence, Quantifiers 06 13:30-14:20 LectureMUE 153Sets: ∈, ⊆, =, power set; first proofs2.1-2.2 14:30-15:20 OH (NK)CSE 216 09 13:30-14:20 LectureMUE 153Cartesian product, ∪, ∩, − 15:00-16:00 OH (MZ)CSE 216 10 13:00-14:00 OH (MT)CSE 538 11 HW3 out 13:30 HW2 due 13:30-14:20 LectureMUE 153Functions: injective, surjective2.3 15:30-16:30 OH (MZ)CSE 216 12 SectionSetsWorksheet / Answers can be found in the textbook. 13 13:30-14:20 LectureMUE 153bijective, inverse, composition 14:30-15:20 OH (NK)CSE 216 16 13:30-14:20 LectureMUE 153Divisibility, primes, Fundamental Theorem, Division Theorem4.1&4.3 (7th), 3.4-3.5 (6th) 15:00-16:00 OH (MZ)CSE 216 17 13:00-14:00 OH (MT)CSE 538 18 HW4 out 11:00-12:00 OH (DG)CSE 216 13:30 HW3 due 13:30-14:20 LectureMUE 153Modular arithmetic 19 SectionModular arithmeticWorksheet / Answers to Problem 2: a) -11 b) -14 c) 94 (The rest can be found in the textbook) 20 13:30-14:20 LectureMUE 153Modular exponentiation; GCD, Euclid's algorithmEnd of 4.2 (7th), 3.6 (6th) 14:30-15:20 OH (NK)CSE 216 23 13:30-14:20 LectureMUE 153Properties of gcd; proof by contradiction 15:00-16:00 OH (MZ)CSE 216 24 13:00-14:00 OH (MT)CSE 538 25 11:00-12:00 OH (DG)CSE 216 13:30-14:20 LectureMUE 153RSA cryptosystemSlides 26 SectionVarious material involving past homework, proof by contradiction and the RSA scheme 27 HW5 out 13:30 HW4 due 13:30-14:20 LectureMUE 153Digital signatures, coin-flipping; induction 14:30-15:20 OH (NK)CSE 216 30 13:30-14:20 LectureMUE 153Induction, correctness of Euclid's algorithm5.1 (7th), 4.1 (6th) 15:00-16:00 OH (MZ)CSE 216 01 13:00-14:00 OH (MT)CSE 538 02 11:00-12:00 OH (DG)CSE 216 13:30-14:20 LectureMUE 153Strong induction5.2 (7th), 4.2 (6th) 03 SectionAssorted problems for reviewWorksheet 04 HW6 out 13:30 HW5 due 13:30-14:20 LectureMUE 153Recursive definitions5.3 (7th), 4.3 (6th) 14:30-15:20 OH (NK)CSE 216

 May Monday Tuesday Wednesday Thursday Friday 07 13:30-14:20 LectureMUE 153Midterm exam 13:30-14:20 Midterm exam 15:00-16:00 OH (MZ)CSE 216 08 13:00-14:00 OH (MT)CSE 538 09 11:00-12:00 OH (DG)CSE 216 13:30-14:20 LectureMUE 153Relations9.1 (7th), 8.1 (6th) 10 SectionInduction 11 13:30-14:20 LectureMUE 153Equivalence relations9.5 (7th), 8.5 (6th) 14:30-15:20 OH (NK)CSE 216 14 13:30 HW6 due 13:30-14:20 LectureMUE 153Graphs, Boolean functions10.1, 10.4, 12.1 (7th), 9.1, 9.4, 11.1 (6th) 15:00-16:00 OH (MZ)CSE 216 15 13:00-14:00 OH (MT)CSE 538 16 HW7 out 11:00-12:00 OH (DG)CSE 216 13:30-14:20 LectureMUE 153Normal forms, circuits, ripple-carry adder12.2-12.3 (7th), 11.2-11.3 (6th) 17 SectionHomework 6 discussion, carry look-ahead adderWorksheet 18 13:30-14:20 LectureMUE 153Finite-state machines13.2 (7th), 12.2 (6th) 14:30-15:20 OH (NK)CSE 216 21 13:30-14:20 LectureMUE 153Finite-state automata13.3 (7th), 12.3 (6th) 15:00-16:00 OH (MZ)CSE 216 22 13:00-14:00 OH (MT)CSE 538 23 HW8 out 11:00-12:00 OH (DG)CSE 216 13:30 HW7 due 13:30-14:20 LectureMUE 153Regular expressions13.4 (7th), 12.4 (6th) 24 SectionPumping lemma 25 13:30-14:20 LectureMUE 153Kleene's Theorem 14:30-15:20 OH (NK)CSE 216 28 Memorial Day 29 13:00-14:00 OH (MT)CSE 538 30 11:00-12:00 OH (DG)CSE 216 13:30 HW8 due 13:30-14:20 LectureMUE 153Halting problem3.1 31 SectionFinal exam review 01 13:30-14:20 LectureMUE 153Turing machines, undecidability13.5 (7th), 12.5 (6th) 14:30-15:20 OH (NK)CSE 216

 June Monday Tuesday Wednesday Thursday Friday 04 14:30-16:20 Final exam 05 06 07 08