FAQ for Constructive Logic (15-317)

Q. I want to attend a recitation I'm not registered for, okay?

A. I'm afraid not.  We used to be able to permit this, but since covid
   the university has become strict about having only registered
   students in the classroom.


Q. I'm sick.  Can I have an extension on the assignment?

A. Ordinary minor illnesses should be handled through the grace day
   mechanism.  More serious illnesses may require more serious
   accommodation, but in such cases we do require some documentation.

   By university policy, students are not required to provide medical
   documentation directly to faculty; instead, students are to contact
   their college liaison, who will then contact us with what we need
   to know.

   Contact information for college liaisons can be found here:
   https://www.cmu.edu/wellbeing/resources/people.html#liaisons


Q. I'm sick.  Can I reschedule my exam?

A. We will accommodate you for serious illnesses.  Please see the
   previous question for our policy on documentation.


Q. I missed class because I was sick.  Can I get credit for the quiz?

A. We will drop 3 quizzes, so if you miss at most 3 classes, you don't
   need to do anything.  We will also waive additional quizzes, but we
   require documentation of the illness.  Please see the earlier
   question for our policy on documentation.


Q. I am supposed to have accommodations for a disability.  How is that
   going to work?

A. If your accommodation is extra time on exams or distraction-reduced
   testing, we prefer that you take your exams through the Disability
   Resources office.  Keep in mind that they do get busy, so it is
   essential that you schedule your exams with them well in advance
   (preferably weeks).

   For any other accommodation, you must communicate with us directly.


Q. I might have been exposed to covid.  Should I stay home from class
   or recitation?

A. You can find the university's policy on covid exposure here:
   https://www.cmu.edu/coronavirus/health-and-wellness/symptoms-and-reporting.html


Q. I think I have an exam conflict.  Can I reschedule my exam?

A. First, be sure that you have a conflict according to the
   university's guidelines:
   https://www.cmu.edu/policies/student-and-student-life/examination-policies.html

   Briefly, an exam conflict is either (1) two exams at the same time,
   or (2a) three midterm exams on the same day, or (2b) three final
   exams that start within a 25-hour period.

   We will not reschedule your exam unless your situation meets the
   university's definition of an exam conflict.

   Moreover, if you have an exam conflict, the university has
   guidelines for how to resolve it.  To work that out, we will need
   to know when the conflicting exams are, and what classes they are
   for.  To save time, please supply that information when you first
   contact us about the conflict.


Q. A religious holiday falls on the homework due date.  Can I have an
   extension?

A. No.  Religious holidays are determined well in advance, so students
   have ample opportunity to schedule their activities around them and
   finish their work early.


Q. A religious holiday falls on the date of an exam.  Can I reschedule
   the exam?

A. We try to schedule exams away from major holidays, but if we have
   missed a holiday, then probably yes.  However, for us to
   accommodate you, you must notify us at least a week in advance.


Q. I am on the waitlist; can I do the work?

A. I'm sorry, we are not permitted to allow that.  If you get admitted
   to the class, we will afford you the opportunity to catch up.


Q. I am on the waitlist; can you get me into the class?

A. We do not manage the waitlist, so no.


Q. Are propositions really types?

A. Yes!