CSE 311 Spring 2014
Course Calendar

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

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

March
MondayTuesdayWednesdayThursdayFriday
31
HW1 out
13:30-14:20 Lecture
MLR 301
Propositions; ¬, ∧, ∨, → truth tables
Reading: 1.1-1.3 (7th), 1.1-1.2 (6th)
15:00-16:00 OH (Martin)
CSE 538
01
14:30-15:30 OH (Dimitrios)
CSE 678
02
11:30-12:20 OH (Shawn)
CSE 220
13:30-14:20 Lecture
MLR 301
↔, logical equivalences
Reading: 1.4-1.5 (7th), 1.3-1.4 (6th)
03
Section
Propositional Logic
Worksheet / Answers
11:00-12:00 OH (Tim)
CSE 220
04
10:30-11:20 OH (King)
CSE 220
13:30-14:20 Lecture
MLR 301
Complexity of proving tautologies; predicates, quantifiers
Reading: 2.1-2.2

April
MondayTuesdayWednesdayThursdayFriday
07
HW2 out
13:30 HW1 due
13:30-14:20 Lecture
MLR 301
Sets: ∈, ⊆; first proofs
15:00-16:00 OH (Martin)
CSE 538
08
14:30-15:30 OH (Dimitrios)
CSE 678
09
11:30-12:20 OH (Shawn)
CSE 220
13:30-14:20 Lecture
MLR 301
Set equality, power set, Cartesian product
10
Section
Predicate Logic, Quantifiers, and Sets
Worksheet / Answers
11
10:30-11:20 OH (King)
CSE 220
13:30-14:20 Lecture
MLR 301
Set union, intersection, difference
Reading: 2.3
14
HW3 out
13:30 HW2 due
13:30-14:20 Lecture
MLR 301
Functions: injective, surjective, bijective
Reading: 4.1&4.3 (7th), 3.4-3.5 (6th)
15:00-16:00 OH (Martin)
CSE 538
15
14:30-15:30 OH (Dimitrios)
CSE 678
16
11:30-12:20 OH (Shawn)
CSE 220
13:30-14:20 Lecture
MLR 301
Functions: inverse, composition; divisibility, primes
17
Section
Homework 2 review, More on Sets
Worksheet / Answers
11:00-12:00 OH (Tim)
CSE 220
18
10:30-11:20 OH (King)
CSE 220
13:30-14:20 Lecture
MLR 301
Prime factorization, division theorem, equivalence (mod m)
21
13:30-14:20 Lecture
MLR 301
Modular arithmetic and exponentiation
Reading: Modular exponentiation from the end of 4.2 (7th), 3.6 (6th)
15:00-16:00 OH (Martin)
CSE 538
22
14:30-15:30 OH (Dimitrios)
CSE 678
23
HW4 out
11:30-12:20 OH (Shawn)
CSE 220
13:30 HW3 due
13:30-14:20 Lecture
MLR 301
GCD, Euclid's algorithm
24
Section
Homework 3 review, Modular Arithmetic
Worksheet
11:00-12:00 OH (Tim)
CSE 220
25
10:30-11:20 OH (King)
CSE 220
13:30-14:20 Lecture
MLR 301
Proof by contradiction
28
13:30-14:20 Lecture
MLR 301
Public key cryptography
Reading: Slides
15:00-16:00 OH (Martin)
CSE 538
29
14:30-15:30 OH (Dimitrios)
CSE 678
30
HW5 out
11:30-12:20 OH (Shawn)
CSE 220
13:30 HW4 due
13:30-14:20 Lecture
MLR 301
Coin flipping on the phone, induction
01
Section
Midterm review
Worksheet
11:00-12:00 OH (Tim)
CSE 220
02
10:30-11:20 OH (King)
CSE 220
13:30-14:20 Lecture
MLR 301
Induction, correctness of Euclid's algorithm
Reading: 5.1-5.2 (7th), 4.1-4.2 (6th)

May
MondayTuesdayWednesdayThursdayFriday
05
13:30-14:20 Lecture
MLR 301
Course-of-values induction
Reading: 5.3 (7th), 4.3 (6th)
15:00-16:00 OH (Martin)
CSE 538
06
14:30-15:30 OH (Dimitrios)
CSE 678
07
11:30-12:20 OH (Shawn)
CSE 220
13:30-14:20 Midterm exam
MLR 301
08
Section
Induction
Worksheet
11:00-12:00 OH (Tim)
CSE 220
09
HW6 out
10:30-11:20 OH (King)
CSE 220
13:30 HW5 due
13:30-14:20 Lecture
MLR 301
Recursive definitions
Reading: 9.1 (7th), 8.1 (6th)
12
13:30-14:20 Lecture
MLR 301
Relations
Reading: 9.5 (7th), 8.5 (6th)
15:00-16:00 OH (Martin)
CSE 538
13
14:30-15:30 OH (Dimitrios)
CSE 678
14
11:30-12:20 OH (Shawn)
CSE 220
13:30-14:20 Lecture
MLR 301
Equivalence relations and partitions
Reading: 10.1, 12.1 (7th), 9.1, 11.1 (6th)
15
Section
More induction
Worksheet
11:00-12:00 OH (Tim)
CSE 220
16
HW7 out
10:30-11:20 OH (King)
CSE 220
13:30 HW6 due
13:30-14:20 Lecture
MLR 301
Directed graphs, Boolean functions, gates
Reading: 12.2-12.3 (7th), 11.2-11.3 (6th)
19
13:30-14:20 Lecture
MLR 301
Combinational circuits, adders
Reading: 13.2-13.3 (7th), 12.2-12.3 (6th)
15:00-16:00 OH (Martin)
CSE 538
20
14:30-15:30 OH (Dimitrios)
CSE 678
21
11:30-12:20 OH (Shawn)
CSE 220
13:30-14:20 Lecture
MLR 301
Finite-state machines
Reading: 13.4 (7th), 12.4 (6th)
22
Section
HW 5 and 6 issues; carry-lookahead adder circuit
Worksheet
11:00-12:00 OH (Tim)
CSE 220
23
HW8 out
10:30-11:20 OH (King)
CSE 220
13:30 HW7 due
13:30-14:20 Lecture
MLR 301
Finite-state automata
26
Memorial Day
27
14:30-15:30 OH (Dimitrios)
CSE 678
28
11:30-12:20 OH (Shawn)
CSE 220
13:30-14:20 Lecture
MLR 301
Regular expressions
29
Section
Pumping Lemma
Worksheet
11:00-12:00 OH (Tim)
CSE 220
30
10:30-11:20 OH (King)
CSE 220
13:30-14:20 Lecture
MLR 301
Kleene's Theorem
example
14:30-15:30 OH (Martin)
CSE 538

June
MondayTuesdayWednesdayThursdayFriday
02
13:30 HW8 due
13:30-14:20 Lecture
MLR 301
Nonregular languages
Reading: end of 3.1
15:00-16:00 OH (Martin)
CSE 538
03
14:30-15:30 OH (Dimitrios)
CSE 678
04
11:30-12:20 OH (Shawn)
CSE 220
13:30-14:20 Lecture
MLR 301
Halting problem
Reading: 13.5 (7th), 12.5 (6th)
05
Section
Final exam review
Worksheet / Answers
11:00-12:00 OH (Tim)
CSE 220
06
10:30-11:20 OH (King)
CSE 220
13:30-14:20 Lecture
MLR 301
More undecidable problems
09
14:30-16:20 Final exam
MLR 301
10 11 12 13