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
|
REQUIRED:
|
|