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

Textbooks & Readings
CS/Math 4860 - Fall 2016

Required Textbook

  • First-Order Logic, Raymond M. Smullyan, 1968.

Despite its old age, this is the best available book on first-order logic.

Recommended

Resources

See previous course web pages for CS/Math 4860:

Readings