Assignments

CARS has three kinds of assignments: reading reflections, coding assignments, and a mini-project. One is due every Friday at 5:00 PM. See the Syllabus for grading and collaboration policies, and the Schedule for due dates.

Reading Reflections

4 reflections (50 points each). Pick one article, write a short reflection, discuss in class.

Coding Assignments

4 assignments (150 points each). Write solver-aided code in Python using Z3.

Project

A mini-project in two parts: milestone (50 points) and final (150 points). Partners encouraged.