Announcements
Addition Course Notes
Assignments
Handouts
Lectures
Nuprl
References
Selected Solutions
Experimental Tableau Prover
Spr 97, Spr 99, Spr 01
Summary
Web Links

Course Email:
cs486@cs.cornell.edu
COURSE HOMEPAGE
CS 486: Applied Logic Spring 2003

Course Email


cs486@cs.cornell.edu
In general, please use this email to contact us about the course.

Instructors


Prof. Robert L. Constable
4147 Upson Hall
rc@cs.cornell.edu
Office Hours:
Tues after class; or by appointment.

Dr. Christoph Kreitz
4159 Upson Hall
kreitz@cs.cornell.edu
Office Hours:
Mon 2:00-3:00pm; or anytime the door is open.

Teaching Assistant

Matthew Fluet
4112 Upson Hall
fluet@cs.cornell.edu
Office Hours:
Mon/Wed 3:00-4:00pm; or anytime the door is open.

Admin. Asst.

Juanita Heyerman
4147 Upson Hall
juanita@cs.cornell.edu
Office Hours:
M-F, 9am-6pm

Time and Location

Tues/Thurs, 10:10-11:25am
140 Bard Hall

Final Exam

Thurs, 5/15/03, 3:00-5:30pm, in Hollister 362
Smullyan's book and the posted course notes may be used during the final exam

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

tba

Textbooks and
Course Material

REQUIRED:
  • First Order Logic, by Raymond M. Smullyan
  • Introduction to Logic, by Patrick Suppes
RECOMMENDED:
  • Popular Lectures on Mathematical Logic, by Hao Wang
  • First Course in Mathematical Logic, by Patrick Suppes and Shirley Hill

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