Princeton University
Computer Science Department

Computer Science 340
Reasoning about Computation

Ran Raz

Spring 2020


Directory
General Information | Schedule | Policies

Lectures

You are strongly encouraged to attend the lectures. Your lecture attendance and participation are important to your success in the course.

Some of the material covered in lectures may not be covered in the textbooks or precepts. Some exam questions may reward your lecture attendance.

Laptops and cell phones may not be used during Lectures, except if you need them to take notes during Lectures.

Precepts

We encourage you to attend the precepts. We also encourage you to participate actively in the precepts by listening attentively, asking helpful questions occasionally, answering questions occasionally, and so forth. Your precept attendance and participation are important to your success in the course. They also are important to the success of the course as a whole.

Some of the material covered in precepts may not be covered in the textbooks or lectures.

You should attend your precept, that is, the precept for which you are registered in Princeton's TigerHub system.

Concerning attending another precept instead of your precept:

Generally it is not acceptable to attend another precept instead of your precept. However, it is acceptable to attend another precept instead of your precept occasionally if a conflict with your precept arises (indeed you should do so). In that case, as soon as you become aware of the conflict, send e-mail to your Preceptor and the other Preceptor. The other Preceptor thereby will know to duplicate handouts for you, make sure you have a seat, etc. Note that this mechanism is intended to address occasional conflicts; it does not provide license to attend precepts other than your precept on a regular basis.

Concerning attending another precept in addition to your precept:

Generally it is not acceptable to attend another precept in addition to your precept. After all, if even a small fraction of the course's students did that routinely, then some precepts would be very large (or even overflow) routinely. Precepts containing a large number of students are less effective than those containing a small number. However, it could be acceptable to attend another precept in addition to your own occasionally. In that case, send e-mail to your Preceptor and the other Preceptor the day before the precept, asking permission to attend. The Preceptors then will make the decision. If the decision is "yes," then the other Preceptor will duplicate handouts for you, make sure you have a seat, etc.


Announcements

Course announcements are distributed through the course's Piazza account.

Instructions on how to subscribe to Piazza are given in the first precept.


Electronic Communication

These are the course's policies concerning electronic communication:

In the context of electronic communication, the phrase "any part of your assignment solution" includes:


Assignment Conduct

Unless a problem is marked as a no-collaboration part of an assignment in which case you may only discuss the problem with course staff, you may collaborate in groups of at most three students of the course to solve assignment problems. After discussing with your collaborators, you must type your own solutions. You must write all the names of your collaborators on your solutions. If you did not collaborate with anyone, you must clearly state it on your solutions, writing for example ''Collaborators: None'' on your solutions. You are not allowed to discuss your solutions outside of your group. However, you may discuss your solutions with the Professor of the course, any of the Preceptors of the course and the Lab TAs; see the course's General Information web page for information on the teaching staff of the course. Any notes taken during your discussions should be discarded after the discussions are over and before you write your solution. After you finished your discussions, you should write your own solutions in isolation. Sitting together (with your group members or other students of the course) and writing/typing solutions is strictly prohibited.

You may consult the course reading material (distributed only in this semester's course Piazza account) to solve assignment problems. Furthermore you can consult external sources to learn the course material and to solve assignments, with the understanding that:

Sharing your assignment solutions with another student is an especially egregious violation of course policies. Do not give hard copy of your work to anyone. Do not e-mail your work to anyone. Do not make your work available to anyone via the web.

There will be several problems in each assignment. You must type the solution to each problem on a separate PDF file. You may use the provided LaTeX templates to type in your solutions. Write your name, assignment number, and names of your collaborators on each solution.

Concerning retaking COS 340:

If you took COS 340 (or part of it) during a previous semester, then you may use your work on assignments from that previous semester. However:


Exam Conduct

Conduct during in-class exams is covered by the University Honor Code. If we suspect a student of inappropriate conduct during an in-class exam, we will refer the case to the Honor Committee. If the Honor Committee finds the student guilty of inappropriate conduct, the standard penalty is automatic failure of the COS 340 course. The Honor Committee may impose additional penalties.


Submitting Assignments

You must submit all your solutions to an assignment electronically as PDF files using the link to the TigerFile service posted in the relevant Piazza thread.


Assignment Late Submission

You may use up to 4 late days throughout the semester, but not more than 2 days on a given assignment. Using one late day on an assignment extends the due date/time of that assignment by 24 hours. Using two late days on an assignment extends the due date/time of that assignment by 48 hours. On each instance, you may only use an integer number of late days. Your late days' usage up to and including the current assignment is posted on Blackboard after you submit your solutions to the problems of that assignment.

Outside of this policy, no late submissions will be accepted unless there are extraordinary circumstances involved. We will grant extensions only in the case of illness (with a doctor's note) or other extraordinary circumstances. If illness or other extraordinary circumstances will cause you to submit an assignment late, then you should discuss the matter with your preceptor as soon as possible. Please plan your work on the assignments so that travel, religious holidays, etc. do not cause you to submit it late. Heavy workload is not an extraordinary circumstance.

If you wish to remove an assignment file you submitted, you can only do so before 48 hours have passed after this assignment's deadline. This time period you have to remove an assignment file you submitted is not affected by any late days you may have used on this assignment.


Grading

Your final grade will be weighted as follows:

Component Weight
Assignments 50%
Midterm Exam 15%
Final Exam 35%

There will be 7 Assignments (Problem Sets). Each Assignment will consist of multiple problems. The total number of problems across all assignments will be approximately 30 to 35. Two Assignments will be comprised of no collaboration problems. Among all Assignment problems, 4 problems (the ones with the lowest scores) will not be included in your final grade calculation.