Home
Home
Calendar
Calendar
Courseinfo
Courseinfo
Assignments
Assignments
Glossary
Glossary
Supplemental Videos
Supplemental Videos
Office Hours
Office Hours
1
Week 0 and 1
Week 0 and 1
2
Week 2
Week 2
3
Week 3
Week 3
4
Week 4
Week 4
5
Week 5
Week 5
6
Week 6
Week 6
7
Week 7
Week 7
8
Week 8
Week 8
9
Week 9
Week 9
10
Week 10
Week 10
11
Finals week
Finals week
CSE20F26 - Draft
×
Calendar
Assignments
Glossary
Supplemental Videos
Office Hours
Week 0 and 1
Week 2
Week 3
Week 4
Week 5
Week 6
Week 7
Week 8
Week 9
Week 10
Finals week
☰ Menu
Week 4
Dates: 10/19/26 - 10/23/26.
Notes
PDF
LaTeX
Raw HTML
Annotations
(Video) Example translation to predicate logic