CSE 311: Foundations of Computing I

Announcements

Calendar

Week 1
Topic
Materials
Assignments
Week 1
Lecture 1
(Mon 03/29)
Welcome! Propositional Logic
Lecture 2
(Wed 03/31)
More logic, Equivalences, Circuits
Homework 1 released, pdf
Section 1
(Thu 04/01)
Propositions, Translation
Lecture 3
(Fri 04/02)
Proofs, Digital Logic
Week 2
Lecture 4
(Mon 04/05)
Circuits, normal forms
Lecture 5
(Wed 04/07)
Normal forms, Predicate logic
Homework 2 released, pdf
Section 2
(Thu 04/08)
Canonical Forms, Quantifiers
Lecture 6
(Fri 04/09)
More predicate logic
Week 3
Lecture 7
(Mon 04/12)
Inference proofs, propositional logic
Lecture 8
(Wed 04/14)
More inference proofs
Homework 3 released, pdf
Section 3
(Thu 04/15)
Quantifiers and Proofs
Lecture 9
(Fri 04/16)
Predicate logic inference proofs
Week 4
Lecture 10
(Mon 04/19)
Natural language proofs
Lecture 11
(Wed 04/21)
Sets!
Homework 4 released, pdf
Section 4
(Thu 04/22)
English Proofs and Sets
Lecture 12
(Fri 04/23)
More set theory
Week 5
Lecture 13
(Mon 04/26)
Modular arithmetic
Lecture 14
(Wed 04/28)
Mod. arith., primes and GCD
Homework 5 released, pdf
Section 5
(Thu 04/29)
Number Theory
Lecture 15
(Fri 04/30)
More number theory
Week 6
Lecture 16
(Mon 05/03)
Fast mod. exp. and Induction
Lecture 17
(Wed 05/05)
Induction and Strong Induction
Homework 6 released, pdf
Section 6
(Thu 05/06)
Induction
Lecture 18
(Fri 05/07)
Recursively Defined Sets
Week 7
Lecture 19
(Mon 05/10)
Structural Induction
Lecture 20
(Wed 05/12)
Structural Induction and Regular Expressions
Homework 7 released, pdf
Section 7
(Thu 05/13)
Structural Induction, RegEx, CFGs
Lecture 21
(Fri 05/14)
Context-Free Grammars
Week 8
Lecture 22
(Mon 05/17)
Relations and Directed Graphs
Lecture 23
(Wed 05/19)
Finite State Machines (DFAs) and Directed Graphs
Homework 8 released, pdf
Section 8
(Thu 05/20)
CFGs, Relations, DFAs, and Directed Graphs
Lecture 24
(Fri 05/21)
Directed Graphs and NFAs
Week 9
Lecture 25
(Mon 05/24)
Relating Regular Expressions and NFAs
Lecture 26
(Wed 05/26)
From NFAs to DFAs and from NFAs to REs
Homework 9 released, pdf
Section 9
(Thu 05/27)
NFAs and DFA Minimization
Lecture 27
(Fri 05/28)
Irregular languages
Week 10
Memorial Day, no class
(Mon 05/31)
Lecture 28
(Wed 06/02)
Turing machines
Section 10
(Thu 06/03)
Irregular Languages + More
Lecture 29
(Fri 06/04)
Cardinality and the Halting Problem

© 2021 University of Washington. Course information and content license. Commit: 2819bdb (Apr 29 16:23).