CSE 311: Foundations of Computing I

Announcements

Calendar

Week 1
Topic
Materials
Assignments
Week 1
Lecture 1
(Mon 01/04)
Welcome! Propositional Logic
Lecture 2
(Wed 01/06)
Equivalences, Proofs
Homework 1 released, pdf
Section 1
(Thu 01/07)
Propostions, Translation
Lecture 3
(Fri 01/08)
Proofs, Contrapositives, Digital Logic
Week 2
Lecture 4
(Mon 01/11)
Digital logic and Boolean Algebra
Lecture 5
(Wed 01/13)
Normal forms, quantifiers, and predicates
Section 2
(Thu 01/14)
Digital Logic, Equivalence Proofs
Lecture 6
(Fri 01/15)
Quantifiers and Negations
  • Slides pdf
  • Activity pdf
  • Additional slides from ``extra” lecture pdf
Homework 2 released, pdf
Week 3
Martin Luther King Day, No class.
(Mon 01/18)
Lecture 7
(Wed 01/20)
Proofs!
Section 3
(Thu 01/21)
Quantifiers, Proofs
Lecture 8
(Fri 01/22)
Inference Rules and Proofs with Quantifiers
Week 4
Lecture 9
(Mon 01/25)
Lecture 10
(Wed 01/27)
Section 4
(Thu 01/28)
  • Handout:
  • Solutions:
Lecture 11
(Thu 01/28)
Week 5
Lecture 12
(Mon 02/01)
Lecture 13
(Wed 02/03)
Section 5
(Thu 02/04)
  • Handout:
  • Solutions:
Lecture 14
(Fri 02/05)
Week 6
Lecture 15
(Mon 02/08)
Lecture 16
(Wed 02/10)
Section 6
(Thu 02/11)
  • Handout:
  • Solutions:
Lecture 17
(Fri 02/12)
Week 7
President’s Day, No Class
(Mon 02/15)
Lecture 18
(Wed 02/17)
Section 7
(Thu 02/18)
  • Handout:
  • Solutions:
Lecture 19
(Fri 02/19)
Week 8
Lecture 20
(Mon 02/15)
Lecture 21
(Wed 02/17)
Section 8
(Mon 02/22)
  • Handout:
  • Solutions:
Lecture 22
(Tue 02/23)
Week 9
Lecture 23
(Mon 02/22)
Lecture 24
(Wed 02/24)
Section 9
(Thu 02/25)
  • Handout:
  • Solutions:
Lecture 25
(Fri 02/26)
Week 10
Lecture 26
(Mon 02/15)
Lecture 27
(Wed 02/17)
Section 8
(Mon 02/22)
  • Handout:
  • Solutions:
Lecture 28
(Tue 02/23)