▼Logic & Computation
8.15
    contents    up   

Schedule🔗

There is one assignment each week, usually due on Thursday by MIDNIGHT .

Assignments can optionally be done with a partner; please make a single submission on Gradescope and add the other person to the submission.

All assignments are autograded; there are no hidden tests, so the score you see will be the final score, and you can submit as many times as you want until the deadline.

Assignments will not cover any material beyond a week before the deadline.

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

Week

Lecture Notes

HW

Exam

Quiz

1 (Intro/Prop Logic):

1/6 ~ 1/8 ~ 1/9

2 (Atomic Data):

1/13 ~ 1/15 ~ 1/16

2

1/13

3 (Atomic Data II):

3

4 (Itemizations / Compound Data):

1/27

5 (Recursive Data):

6 (Functions as Data):

2/10

7 (Programming Against Interfaces):

2/20*

8 (Design & Temporal Specifications):

2/24

SPRING BREAK

9 (Mutation):

10 (Concurrency):

3/17

11 (Big-O & Performance):

12 (Special Topics):

3/31

13 (Special Topics):

4/7*

14 (Special Topics)

4/14

* Exams will take place in class.

    contents    up