Announcements Assignments Handouts Nuprl Lecture Notes References Selected Solutions Spr 97, Spr 99 Summary Web Links


COURSE HOMEPAGE
CS 486: Applied Logic Spring 2001

Course Administration

Instructors

  Professor Robert L. Constable, 4147 Upson Hall, rc@cs.cornell.edu
Office Hours: Tues after class; or by appointment.
    and
Dr. Christoph Kreitz, 4159 Upson Hall, kreitz@cs.cornell.edu
Office Hours: Mon 2:00-3:00 pm; or anytime his door is open.


Teaching Assistants

  Alexei Kopylov, 4139 Upson Hall, kopylov@cs.cornell.edu
Office Hours: Mon and Wed, 3:00-4:00 pm; or stop by anytime if he's in.


Administrative Assistant

  Juanita Heyerman, 4147 Upson Hall, juanita@cs.cornell.edu


Time and Location

  Tuesday and Thursday, 10:10-11:25 am, 211 Upson Hall


Pre-requisites

  CS 280 (hence 211); solid mathematics; preferably an algebra course (know about rings, polynomials); knowledge of functional programming (preferably Scheme, Lisp, or ML).


   

Work Load

  10 homework assignments (± 2), possibly some using the Nuprl system; quizzes; Prelim; Final exam; small project, using computer system or library research.


Grading

See CS486 Spring '99, "Grading."

Textbooks and Course Material

  First Order Logic, by Raymond M. Smullyan
  Foundations of Mathematics, by Ian Stewart and David Tall
 
  Recommended, not required: Axiomatic Set Theory, by Patrick Suppes.


Announcements Assignments Handouts Nuprl Lecture Notes References Selected Solutions Spr 97, Spr 99 Summary Web Links

Webms: Juanita Heyerman, Department of Computer Science, Cornell University, Ithaca, NY. Mail to: juanita@cs.cornell.edu