CSE 311: Foundations of Computing I, Summer 2024

Announcements:

Welcome to 311! Our lectures will be in the Boeing Auditorium (EXED 110).

Schedule

For future lectures, this is a tentative schedule. The exact contents are subject to change. Links to future materials may also be broken.

Week 1
Topic
Week 1
Lecture 1
(Mon, June 17)
Propositional Logic
slides
Juneteenth
(Wed, June 19)
No Class
Section 1
(Thu, June 20)
Propositional Logic and Vacuous Truth
materials solutions
Lecture 2
(Fri, June 21)
Propositions, Equivalences
slides
HW1 Out
Week 2
Lecture 3
(Mon, June 24)
Formal Proofs and Equivalences
slides
Lecture 4
(Wed, June 26)
Predicate Logic
slides
Section 2
(Thu, June 27)
Domain Restriction and Translations
materials solutions
Lecture 5
(Fri, June 28)
Predicate Logic Conclusion + English Proofs
HW2 Out HW1 Due slides
Week 3
Lecture 6
(Mon, July 1)
English Proofs and Proof Stratagies
slides
Lecture 7
(Wed, July 3)
English Proofs and Number Theory Part 1
slides
Holiday!
(Thu, July 4)
No School
Lecture 8
(Fri, July 5)
Number Theory Part 2
HW3 Out HW2 Due
Week 4
Lecture 9
(Mon, July 8)
Number Theory Part 3 + Euclid's Algorithm
Lecture 10
(Wed, July 10)
Proof Stratagies
Section 4
(Thurs, July 11)
Proof Stratagies and Set Theory
Lecture 11
(Fri, July 12)
Set Theory
HW4 Out HW3 Due
Week 5
Lecture 12
(Mon, July 15)
Induction part 1
Lecture 13
(Wed, July 17)
Induction part 2
Section 5
(Thu, July 18)
Induction and Midterm Review
Lecture 14
(Fri, July 19)
Induction Part 3
HW4 Due
Week 6
Lecture 15
(Mon, July 22)
Midterm Exam
HW5 Out
Lecture 16
(Wed, July 24)
Recursively Defined Sets and Structural Induction
Section 6
(Thu, July 25)
Induction: Ordinary, Strong, Structural
Lecture 17
(Fri, July 26)
More Structural Induction
HW6 Out HW5 Due
Week 7
Lecture 18
(Mon, July 29)
Regular Expressions + CFG Intro
Lecture 19
(Wed, July 31)
CFGs and DFAs
Section 7
(Thurs, August 1)
CFGs, DFA, Regex
Lecture 20
(Fri, August 2)
DFAs + NFAs
HW7 Out HW6 Due
Week 8
Lecture 21
(Mon, August 5)
Relating DFAs, NFAs, CFGs, and Regex
Lecture 22
(Wed, August 7)
Irregularity
Section 8
(Thurs, August 8)
Cardinality
Lecture 23
(Fri, August 9)
CFGs, Relations, Finite State Machines
HW8 Out HW7 Due
Week 9
Lecture 24
(Mon, August 12)
Halting Problem
Lecture 25
(Wed, August 14)
Buffer / Final Review
HW8 Due
Final Exam Review
(Thurs, August 25)
Review for the final exam
Final Exam
(Fri, August 16) from 3:30-5:30 PM
The Final Exam will be from 3:30-5:30 in room TBD.

This course website heavily follows the example of the website of CSE373 2019 Spring.