CS1502 Formal Methods in Computer Science Fall 2017 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Course Information |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Grading Policy |
Midterm and Final exams (65%): 40% on higher grade and 25% on lower Make-up exams can be scheduled well in advance. Weekly homework problems (20%): every Friday Homeworks are graded on a Satisfactory/Unsatisfactory basis. Each homework is worth two points. Grade is on the best ten homeworks out of the 12 offered. Each homework has a deadline of ten days. Homework will be typically posted on Fridays and are due the Monday after the next at 11:59pm. Late submissions are allowed up to two days (i.e., Wednesday 11:59pm) with a 10% reduction for each late day.
Recitation (15%): 2 quizzes (10%) and attendance (5%) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Weekly Schedule |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Students with Disabilities |
If you have a disability for which you are or may be requesting an accommodation, you are encouraged to contact both your instructor and Disability Resources and Services (DRS), 140 William Pitt Union, (412) 648-7890, drsrecep@pitt.edu, (412) 228-5347 for P3 ASL users, as early as possible in the term. DRS will verify your disability and determine reasonable accommodations for this course. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Academic Integrity |
Students have the responsibility to be honest and to conduct themselves in an ethical manner while pursuing academic studies. Students have the right to be treated by faculty in a fair and conscientious manner in accordance with the ethical standards generally recognized within the academic community (as well as those recognized within the profession). Should a student be accused of a breach of academic integrity or have questions regarding faculty responsibilities, procedural safeguards including provisions of due process have been designed to protect student rights. These may be found in Guidelines on Academic Integrity: Student and Faculty Obligations and Hearing Procedures. |