CSE 311: Foundations of Computing I

Announcements

Calendar

Week 1
Topic
Materials
Assignments
Week 1
Lecture 1
(Wed 09/30)
Welcome! Propositional Logic
Section 1
(Thu 10/01)
Propostions, Translation
Lecture 2
(Fri 10/02)
Equivalences, Proofs
  • HW1 out
Week 2
Lecture 3
(Mon 10/05)
Equivalences, Digital Logic
Lecture 4
(Wed 10/07)
Digital Logic
Section 2
(Thu 10/08)
Digital Logic
Lecture 5
(Fri 10/09)
Canonical Forms, Predicates
  • HW2 out
  • HW1 due
Week 3
Lecture 6
(Mon 10/12)
Inference Rules, Proof Strategies
Lecture 7
(Wed 10/14)
Nested Unalike Quantifiers
Section 3
(Thu 10/15)
Quantifiers, Proofs
Lecture 8
(Fri 10/16)
Inference Rules, Proofs with Quantifiers
  • HW3 out
  • HW2 due
Week 4
Lecture 9
(Mon 10/19)
English Proofs
Lecture 10
(Wed 10/21)
Set Theory
Section 4
(Thu 10/22)
English Proofs
Lecture 11
(Fri 10/23)
Sets, Modular Arithmetic
  • HW4 out
  • HW3 due
Week 5
Lecture 12
(Mon 10/26)
Modular Arithmetic & Applications
Lecture 13
(Wed 10/28)
Primes, GCD
Section 5
(Thu 10/29)
Number Theory
Lecture 14
(Fri 10/30)
Number Theory Proofs, Proofs by Contradiction
  • HW5 out
  • HW4 due
Week 6
Lecture 15
(Mon 11/02)
Modular Exponentiation, Induction
Lecture 16
(Wed 11/04)
Induction
Section 6
(Thu 11/05)
Induction
Lecture 17
(Fri 11/06)
Recursive Functions
  • HW5 Pt. 1 due
Week 7
Lecture 18
(Mon 11/09)
Recursive Sets, Structural Induction
  • HW5 Pt. 2 due
Holiday
(Wed 11/11)
Veterans Day (observed)
Section 7
(Thu 11/12)
Midterm Review
Lecture 19
(Fri 11/13)
TBA
  • Midterm out (tentative)
Week 8
Lecture 20
(Mon 11/16)
Structural Induction, Regular Expressions
  • HW6 out
  • Midterm due (tentative)
Lecture 21
(Wed 11/18)
Regular Expressions, CFG
Section 8
(Thu 11/19)
More Induction
Lecture 22
(Fri 11/20)
CFG, Relations
Week 9
Lecture 23
(Mon 11/23)
Relations, Graphs
Lecture 24
(Wed 11/25)
TBA
  • HW6 in
  • HW7 out
Holiday
(Thu 11/26)
Thanksgiving Day (observed)
Holiday
(Fri 11/27)
Native American Heritage Day (observed)
Week 10
Lecture 25
(Mon 11/30)
Finite State Machines
Lecture 26
(Wed 12/02)
FSM, Minimization, NFA
Section 9
(Thu 12/03)
Models of Computation
Lecture 27
(Fri 12/04)
NFA/DFA/RE Equivalences
  • HW8 out
  • HW7 due
Week 11
Lecture 28
(Mon 12/07)
Limitations of Computation
Lecture 29
(Wed 12/09)
Computability
Section 10
(Thu 12/10)
Final Review
Lecture 30
(Fri 12/11)
Undecidability
  • HW8 in
  • Final out (tentative)
Finals Week
Final
(Mon 12/14)
Have a good Winter Break!
  • Final due (tentative)