Information on the labs appears below. All Labs are on Fridays in WVH 212.
Labs will go over course topics that you need to master for homeworks and exams.
See the syllabus for a further description of how labs work. Bring your laptops to lab so that you can use ACL2s
|
Time
|
WVH 212 TAs (R)
|
| 9:50AM-10:40AM | Dustin Jammer Ankit Kumar Eric Xu |
| 10:45AM-11:35AM | Dustin Jammer Nathaniel Rosenbloom Eric Xu |
| 11:45AM-12:35PM | Dustin Jammer Nathaniel Rosenbloom Danny Tran |
| 12:40PM-1:30PM | Dustin Jammer Michael Lin Danny Tran |
| 1:35PM-2:25PM | Michelle Rock Michael Lin Danny Tran |
| 2:30PM-3:20PM | Michelle Rock Michael Lin Ankit Kumar |
| 3:25PM-4:15PM | Michelle Rock Handuo Wang Ankit Kumar |
| 4:20PM-5:10PM | Michelle Rock Ankit Kumar Handuo Wang |
We will post lab assignments here.
|
Lab #
|
Lab Week
|
Lab Assignment
|
| 1 | 1/11/2019 | Lab |
| 2 | 1/18/2019 | Lab |
| 3 | 1/25/2019 | Lab |
| 4 | 1/28/2019 | Lab |
| 5 | 2/8/2019 | Lab |
| 6 | 2/15/2019 | Lab |
| 7 | 2/22/2019 | Lab |
| 8 | 3/1/2019 | Lab |
| 9 | 3/15/2019 | Lab |
| 10 | 3/22/2019 | Lab |
| 11 | 3/29/2019 | Lab |
| 12 | 4/5/2019 | Lab |
| 13 | 4/12/2019 | Lab |