CSE 390D

Coursework

Getting Help

Check Scores

Below is the current calendar for the CSE390D class. Please keep in mind that Stuart is constantly updating this. It should accurately describe the past, but it won't always accurately predict the future.

Monday Wednesday Friday
 
9/25
administrative details
propositional logic
Logical equivalence

Read: Rosen 1.1, 1.3
Lecture: panopto video
Notes: notes
9/27
Predicate Logic
Quantifiers


Read: Rosen 1.4
Lecture: panopto video
Notes: notes
handout: logical equivalences
9/30
Nested Quantifiers

Read: Rosen 1.5
Lecture: panopto video
Notes: notes
10/2
rules of inference

Read: Rosen 1.6
Lecture: panopto video
Notes: notes
handout: rules of inference
10/4
proofs

Read: Rosen 1.7
Lecture: panopto video
Notes: notes
10/7
more proofs


Read: Rosen 1.8
Lecture: panopto video
Notes: notes
10/9
integer division
modular arithmetic

Read: Rosen 4.1
Lecture: panopto video
Notes: notes
10/11
primes
gcd and lcm

Read: Rosen 4.3
Lecture: panopto video
Notes: notes
10/14
Fermat's Little Theorem

Read: Rosen 4.4
Lecture: panopto video
Notes: notes
Program: Prime.java
10/16
sets

Read: Rosen 2.1-2.3
Lecture: panopto video
Notes: notes
handout: set notation and identities
10/18
induction

Read: Rosen 5.1
Lecture: panopto video
Notes: notes
10/21
strong induction

Read: Rosen 5.2
Lecture: panopto video
Notes: notes
10/23
recursive functions

Lecture: panopto video
Notes: notes
Read: Rosen 5.3
10/25
structural induction

Read: Rosen 5.3
Lecture: panopto video
Notes: notes
10/28
RSA Encryption

Read: Rosen 4.6
Lecture: panopto video
Slides: slides
Code: rsa.py
10/30
review for the midterm

Lecture: panopto video
11/1
midterm
11/4
counting


Read: Rosen 6.1
Lecture: panopto video
Notes: notes
11/6
Pigeon hole principle
Permuations and combinations

Read: Rosen 6.2, 6.3
Lecture: panopto video
Notes: notes
11/8
binomial coefficients
generalized permutations/combinations

Read: Rosen 6.4, 6.5
Lecture: panopto video
Notes: notes
11/11
Veterans Day holiday
11/13
discrete probability


Read: Rosen 7.1
Lecture: panopto video
Notes: notes
11/15
probability theory


Read: Rosen 7.2
Lecture: panopto video
Notes: notes
11/18
Bayes' Theorem
Expected value

Read: Rosen 7.3, 7.4
Lecture: panopto video
Notes: notes
Spreadsheets: Bayes', Megamillions
11/20
relations


Read: Rosen 9.1
Lecture: panopto video
Notes: notes
11/22
relation representation
transitive closure

Read: Rosen 9.3, 9.4
Lecture: panopto video
Notes: notes
Spreadsheet: relations
11/27
equivalence relations
partial orderings
halting problem

Read: Rosen 9.5, 9.6, pages 212-213
Lecture: panopto video
Notes: notes
11/25
special topic: Turing machines



Read: Rosen 13
Lecture: panopto video
Notes: notes
Link: Chomsky Hierarchy
Display: Turing Machine
Software: JFlap
11/29
Thanksgiving Holiday
12/2
graphs

Read: Rosen 10.1-10.2
Lecture: panopto video
Notes: notes
12/4
show and tell

Lecture: panopto video
12/6
review for the final

Lecture: panopto video

Final Exam -- Tuesday, December 10, 2:30-4:20 pm