CS212 Fall 1998
Course Information

What is CS212 About?

CS212 vs. CS211

Reaching Us

You can also reach the course staff by sending email to cs212@cs.cornell.edu.

Who We Are

• Dexter Kozen, Instructor, 5143 Upson, kozen@cs.cornell.edu
• Ozan Hafizogullari, TA, 486 Rhodes, ozan@cs.cornell.edu
• Manish Sambhu, TA, sambhu@cs.cornell.edu
• David Liben-Nowell, TA, dln@cs.cornell.edu
• Melissa Ho, TA, melissa@cs.cornell.edu
• Aleksey Kliger, consultant, ak90@cornell.edu
• Shawn Liu, consultant, sl110@cornell.edu
• Shan-Leung (Maverick) Woo, consultant, sw77@cornell.edu
• Carson Bloomberg, consultant, cgb5@cornell.edu

When We Meet

Lectures are Tuesday and Thursday at 10:10 in Caldwell 100. Recitations are Monday and Wednesday, 2:30-3:20 in Olin 165 (Section 1), 3:35-4:25 in Hollister 110 (Section 2), or 8-8:50pm in Upson 205 (Section 3). Recitations expand on the material in lecture and provide more opportunity to ask questions.

Office Hours

• Dexter, Tuesday & Thursday 11am-12noon, 5143 Upson
• Ozan, Monday & Tuesday 4-5pm, 486 Rhodes
• David, Tuesday & Thursday 8:45-10am, 320 Upson
• Melissa, Thursday 11:30a-1p & Wednesday 12p-2p, Upson 320 or by appt
• Manish, Wednesday 4:30-6:30p in Upson 320

Consulting Hours

Consulting hours are held in Upson 320, SuMTW 7-10pm. The night before every project is due, we will hold extended consulting hours from 7pm to 12 midnight. Consulting hours will not be held the day the problem sets are due or the day after. Sunday: Aleksey; Monday: Carson; Tuesday: Maverick; Wednesday: Shawn. First consulting hours will be Tuesday 9/1.

Course Materials

There is no textbook for this course. There will be course handouts and lecture notes, which will be available on the course web site.

The Dylan interpreter is available free on the course web site. It is implemented in Java and will run under any Java-enabled web browser. The best current browser is Netscape 4 for Windows95/NT. There are also standalone versions available that you can download onto your computer if you do not want to use the web browser version. One word of warning: if you download a standalone Dylan onto your machine, make sure that you are using the most recent version by checking the web site.

Course Requirements

Students are responsible for all material in the assigned readings, as well as material covered in lectures and in recitations. There will be six problem sets, two preliminary exams, and a final exam. A schedule is given below. Each problem set will include written exercises and a programming assignment. Course grades will be based on a combination of the problem sets and exam scores. The problem sets will account for approximately one half of the total grade. No late assignments will be accepted, but we will generally grade assignments immediately and return them the following class period.

You should try to complete the programming assignments early, as we will not accept late work. The best use of your time and the machine's time is to think about the problems before typing anything at the computer. (No matter how many times we say this, it takes a long time to sink in: think before typing.)

Turning in Assignments

Assignments should be turned in on the day that they are due in either in lecture or in Upson 303 before 4:00 pm. Do not turn them in to the consulting office; there will be no one there to receive them. No late assignments will be accepted, and there will be no extensions.

Policy on Joint Work

Much of the learning in this course comes from doing the programming problems. You may work jointly with one other person on the assignments. No more than two people should work together. If you work with someone else, you must submit a single joint assignment with both names on it. Under no circumstances may you hand in work done with (or by) someone else under your own name. If in doubt, credit the person(s) from whom you got help. Your code should never be shared with anyone other than your partner. You would be amazed at how easy it is to tell when people work together on problem sets, so please don't make life unpleasant for all of us by breaking these rules. The penalties for cheating at Cornell are severe, and include expulsion; see the CS Department's Code of Academic Integrity. If you are unsure about anything, please ask.

Public Lab Facilities

CIT and various colleges on campus provide public Macintosh and PC facilities, you may use your own machine or the public ones. Since the course software is web-based, it doesn't matter which platform you use. The CS department does not provide computer facilities for this course.

Homework Due Dates (subject to change)

Exam Schedule (written in stone)

If you have a conflict and will need to take a make-up exam, please notify Professor Kozen as soon as possible.

Tentative Lectures

CS212 home page

Last updated: 08/19/99 06:08 PM