LOGIC FOR
SYSTEMS

Labs

Labs should be started during lab hours of the week they are released. You should aim to complete each lab in the given lab timeslot, although it can be completed alone if you don't finish. You must get your work checked off by a TA to receive credit. Each lab can be checked off up to a week after it is released.

Assignment Date Out Date Due
Lab 0: Python (Optional)* Su 1/29, 11:59pm
Lab 1: Relational Practice T 2/7M 2/13, 11:59pm
Lab 2: Reference Counting T 2/21M 2/27, 11:59pm
Lab 3: Dynamics T 2/28M 3/6, 11:59pm
Lab 4: SAT Solver T 3/14M 3/20, 11:59pm
Lab 5: Racket (Optional) T 4/18, 11:59pm

*The lab hours are special. See details on Piazza

Lab Hours

Lab hours will be held Tuesdays and Wednesdays in the Sunlab (CIT 143). You must attend the lab hours you signed up for.

Day Time TAs
Tuesdays 6-7:30pm Marianne, Peter, Sara, Sorawee
Wednesdays 6-7:30pm Ben, Aaron, Katya