Course Information
Communication
with the staff is best done through the staff mailing list, cs486-l@cs.cornell.edu.
CS
280 (hence 211).
8
homework assignments (± 2); quizzes; Final exam; small
project, using computer system or library research.
Homework Policies
Cornell University has a Code of Academic
Integrity, with which you should be familiar. Violations of this code are
treated very seriously by Cornell and can have long-term repercussions. In
this course, you are encouraged to discuss the content of the course with
other students, and you may also discuss homework problems with other students.
However, you must do your own work, write up assignments yourself, and if you
discuss a problem with another student, you are expected to document this
fact in your write-up. It is a violation of the code to copy work, including
programs, from other students; it is also a violation to use solutions to
homework problems from previous iterations of the same course. Note that
Cornell holds responsible for the code violation both the recipient and
the donor of improper information.
Required:
- First-Order
Logic, by Raymond M. Smullyan
Recommended:
|