▼Logic & Computation
8.7
    contents  ← prev  up  next → 

Schedule

Each week, homework is both released & due at Wednesday at 6pm. No homework will be due the weeks with exams, instead due the following week. The week that the homework is listed below is the release week, not the due date.

While homework is released Wednesday evening, sometimes it will require content that you learn during lecture on Thursday.

Each date (under Lecture & Notes) links to full notes for the day, which will be posted after the lecture.

Week

Lecture & Notes

Homework

Exam

1 (Intro/Prop Logic):

1/9 ~ 1/11 ~ 1/12

HW 1

2 (Specifications):

1/18 ~ 1/19

HW 2

3 (PBT):

1/23 ~ 1/25 ~ 1/26

HW 3

4 (SMT/Rosette):

1/30 ~ 2/1 ~ 2/2

HW 4

5 (Lean Intro):

2/6 ~ 2/8 ~ 2/9

HW 5

6 (Lean Proofs):

2/13 ~ 2/15 ~ 2/16

2/15 & 2/16*

7 (Tactics & Induction):

2/22 ~ 2/23

HW 7

8 (Proof Techniques):

2/27 ~ 3/1 ~ 3/2

SPRING BREAK

9 (Towards Big Proofs):

3/13 ~ 3/15 ~ 3/16

HW 9

10 (Automation):

3/20 ~ 3/22 ~ 3/23

HW 10

11 (Foundations & Other Logics):

3/27 ~ 3/29 ~ 3/30

HW 11

12 (Logics for State):

4/3 ~ 4/5 ~ 4/6

HW 12

13 (Exam 2 & PBT):

4/10 ~ 4/12 ~ 4/13

4/10 & 4/12*

14 (AI):

4/19

* Exams will take place in class, each across two classes. You will do a different part of the exam in each class, not continue the same exam.

    contents  ← prev  up  next →