CS/Math 4860 :: Applied Logic

CS/Math 4860 Fall 16:

Announcements:

11/11/16: Course projects will be accepted from Dec 1 until 5pm Dec 6.

9/23/16: A Nuprl demonstration for the course will occur in Gates Hall room 114 at 4 PM. Attendance is expected.

9/13/16: No class meeting on 9/15/2016 .

7/20/16: A short detailed description of the course can be found here.

Instructor:

Robert Constable

Time:

Tues/Thurs

1:25PM - 2:40PM

Location:

Rockefeller Hall 112

Assignments
CS/Math 4860 - Fall 2016

Assignment Due Date Solutions