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
slides HW3 Out HW2 Due
Week 4
Lecture 9
(Mon, July 8)
Number Theory Part 3 + Proof By Contradiction
slides
Lecture 10
(Wed, July 10)
Proof Stratagies
slides
Section 4
(Thurs, July 11)
Number Theory, Set Theory, and Proof Stratagies
materials solutions
Lecture 11
(Fri, July 12)
Set Theory
slides HW4 Out HW3 Due
Week 5
Lecture 12
(Mon, July 15)
Induction part 1
slides
Lecture 13
(Wed, July 17)
Induction part 2
slides
Section 5
(Thu, July 18)
Induction and Midterm Review
materials solutions
Lecture 14
(Fri, July 19)
Induction Part 3
slides HW4 Due
Week 6
Lecture 15
(Mon, July 22)
Midterm Exam
HW5 Out
Lecture 16
(Wed, July 24)
Structural Induction
slides
Section 6
(Thu, July 25)
Set Theory and Induction
materials solutions
Lecture 17
(Fri, July 26)
Regular Expressions
slides HW6 Out HW5 Due
Week 7
Lecture 18
(Mon, July 29)
CFGs
slides
Lecture 19
(Wed, July 31)
NFAs
slides
Section 7
(Thurs, August 1)
Regex, DFAs, and CFGs
materials solutions
Lecture 20
(Fri, August 2)
DFAs + NFAs
slides HW7 Out HW6 Due
Week 8
Lecture 21
(Mon, August 5)
Relating DFAs, NFAs, CFGs, and Regex
slides
Lecture 22
(Wed, August 7)
Cardinality
slides
Section 8
(Thurs, August 8)
Irregularity, and NFA/DFA
materials solutions
Lecture 23
(Fri, August 9)
The Halting Problem
slides HW8 Out HW7 Due
Week 9
Lecture 24
(Mon, August 12)
Final Exam Review
slides
Lecture 25
(Wed, August 14)
Robert Guest Lecture
HW8 Due
Final Exam Review
(Thurs, August 25)
Review for the final exam
materials solutions
Final Exam
(Fri, August 16) from 3:30-5:30 PM
The Final Exam will be from 3:30-5:30 in CSE 2 G 20.

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